{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:27:35Z","timestamp":1759847255926,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642253782"},{"type":"electronic","value":"9783642253799"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25379-9_28","type":"book-chapter","created":{"date-parts":[[2011,11,13]],"date-time":"2011-11-13T20:33:47Z","timestamp":1321216427000},"page":"394-399","source":"Crossref","is-referenced-by-count":3,"title":["Proof Pearl: The Marriage Theorem"],"prefix":"10.1007","author":[{"given":"Dongchen","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Nipkow","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04315-8","volume-title":"Proofs from the Book","author":"M. Aigner","year":"2001","unstructured":"Aigner, M., Ziegler, G.M.: Proofs from the Book. Springer, Heidelberg (2001)"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1112\/jlms\/s1-21.3.219","volume":"21","author":"T.E. Easterfield","year":"1946","unstructured":"Easterfield, T.E.: A combinatorial algorithm. Journal London Mathematical Society\u00a021, 219\u2013226 (1946)","journal-title":"Journal London Mathematical Society"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"287","DOI":"10.2307\/2372244","volume":"71","author":"C.J. Everett","year":"1949","unstructured":"Everett, C.J., Whaples, G.: Represetations of sequences of sets. American Journal of Mathematics\u00a071, 287\u2013293 (1949)","journal-title":"American Journal of Mathematics"},{"key":"28_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1112\/jlms\/s1-10.37.26","volume":"10","author":"P. Hall","year":"1935","unstructured":"Hall, P.: On representatives of subsets. Journal London Mathematical Society\u00a010, 26\u201330 (1935)","journal-title":"Journal London Mathematical Society"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"214","DOI":"10.2307\/2372148","volume":"72","author":"P.R. Halmos","year":"1950","unstructured":"Halmos, P.R., Vaughan, H.E.: The marriage problem. American Journal of Mathematics\u00a072, 214\u2013215 (1950)","journal-title":"American Journal of Mathematics"},{"key":"28_CR6","unstructured":"Jiang, D., Nipkow, T.: Hall\u2019s marriage theorem. In: Klein, G., Nipkow, T., Paulson, L. (eds.) The Archive of Formal Proofs (December 2010), \n                    \n                      http:\/\/afp.sf.net\/entries\/Marriage.shtml\n                    \n                    \n                  ; formal proof development"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1112\/jlms\/s1-42.1.321","volume":"42","author":"R. Rado","year":"1967","unstructured":"Rado, R.: Note on the transfinite case of Hall\u2019s Theorem on representatives. Journal London Mathematical Society\u00a042, 321\u2013324 (1967)","journal-title":"Journal London Mathematical Society"},{"issue":"3","key":"28_CR9","first-page":"315","volume":"12","author":"E. Romanowicz","year":"2004","unstructured":"Romanowicz, E., Grabowski, A.: The Hall marriage theorem. Formalized Mathematics\u00a012(3), 315\u2013320 (2004)","journal-title":"Formalized Mathematics"},{"key":"28_CR10","unstructured":"Wikipedia: Hall\u2019s marriage theorem \u2014 wikipedia, the free encyclopedia (2011), \n                    \n                      en.wikipedia.org\/w\/index.php?title=Hall%27s_marriage_theorem&oldid=419179777\n                    \n                    \n                   (accessed September 8, 2011]"}],"container-title":["Lecture Notes in Computer Science","Certified Programs and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25379-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T07:29:18Z","timestamp":1555486158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25379-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642253782","9783642253799"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25379-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}