{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T13:12:19Z","timestamp":1776863539440,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313738","type":"print"},{"value":"9783642313745","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_17","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:00:57Z","timestamp":1340629257000},"page":"248-263","source":"Crossref","is-referenced-by-count":5,"title":["Formalizing Frankl\u2019s Conjecture: FC-Families"],"prefix":"10.1007","author":[{"given":"Filip","family":"Mari\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"\u017divkovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Vu\u010dkovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s000120050195","volume":"44","author":"T. Abe","year":"2000","unstructured":"Abe, T.: Strong Semimodular Lattices and Frankl\u2019s Conjecture. Algebra Universalis\u00a044, 379\u2013382 (2000)","journal-title":"Algebra Universalis"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Appel, K.I., Haken, W.: Every Planar Map is Four Colorable. American Mathematical Society (1989)","DOI":"10.1090\/conm\/098"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bo\u0161njak, I., Markovi\u0107, P.: The 11-element Case of Frankl\u2019s Conjecture. Electronic Journal of Combinatorics 15(1) (2008)","DOI":"10.37236\/812"},{"key":"17_CR4","first-page":"97","volume":"16","author":"G.L. Faro","year":"1994","unstructured":"Faro, G.L.: Union-closed Sets Conjecture: Improved Bounds. J. Combin. Math. Combin. Comput.\u00a016, 97\u2013102 (1994)","journal-title":"J. Combin. Math. Combin. Comput."},{"key":"17_CR5","unstructured":"Gao, W., Yu, H.: Note on the Union-Closed Sets Conjecture. Ars Combinatorica 49 (1998)"},{"key":"17_CR6","unstructured":"Gonthier, G.: Formal Proof \u2013 the Four-Color Theorem. Notices of AMS 55(11) (2008)"},{"issue":"95","key":"17_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.2298\/PIM0795029M","volume":"81","author":"P. Markovi\u0107","year":"2007","unstructured":"Markovi\u0107, P.: An attempt at Frankl\u2019s Conjecture. Publications de l\u2019Institut Mathmatique\u00a081(95), 29\u201343 (2007)","journal-title":"Publications de l\u2019Institut Mathmatique"},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.ejc.2004.07.012","volume":"27","author":"R. Morris","year":"2006","unstructured":"Morris, R.: FC-families and Improved Bounds for Frankls Conjecture. European Journal of Combinatorics\u00a027(2), 269\u2013282 (2006)","journal-title":"European Journal of Combinatorics"},{"key":"17_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11814771_4","volume-title":"Automated Reasoning","author":"T. Nipkow","year":"2006","unstructured":"Nipkow, T., Bauer, G., Schultz, P.: Flyspeck I: Tame Graphs. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 21\u201335. Springer, Heidelberg (2006)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"issue":"2","key":"17_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0097-3165(92)90068-6","volume":"59","author":"B. Poonen","year":"1992","unstructured":"Poonen, B.: Union-closed Families. Journal of Combinatorial Theory, Series A\u00a059(2), 253\u2013268 (1992)","journal-title":"Journal of Combinatorial Theory, Series A"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s003730050008","volume":"16","author":"J. Reinhold","year":"2000","unstructured":"Reinhold, J.: Frankl\u2019s Conjecture is True for Lower Semimodular Lattices. Graphs and Combinatorics\u00a016, 115\u2013116 (2000)","journal-title":"Graphs and Combinatorics"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Robertson, N., Sanders, D.P., Seymour, P.D., Thomas, R.: The Four Colour Theorem. Journal of Combinatorial Theory, Series B (1997)","DOI":"10.1006\/jctb.1997.1750"},{"issue":"7","key":"17_CR14","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1006\/eujc.2002.0586","volume":"23","author":"T.P. Vaughan","year":"2002","unstructured":"Vaughan, T.P.: Families Implying the Frankl Conjecture. European Journal of Combinatorics\u00a023(7), 851\u2013860 (2002)","journal-title":"European Journal of Combinatorics"},{"key":"17_CR15","first-page":"95","volume":"45","author":"T.P. Vaughan","year":"2003","unstructured":"Vaughan, T.P.: A Note on the Union-closed Sets Conjecture. J. Combin. Math. Combin. Comput.\u00a045, 95\u2013108 (2003)","journal-title":"J. Combin. Math. Combin. Comput."},{"key":"17_CR16","first-page":"95","volume":"49","author":"T.P. Vaughan","year":"2004","unstructured":"Vaughan, T.P.: Three-sets in a Union-closed Family. J. Combin. Math. Combin. Comput.\u00a049, 95\u2013108 (2004)","journal-title":"J. Combin. Math. Combin. Comput."},{"key":"17_CR17","unstructured":"\u017divkovi\u0107, M., Vu\u010dkovi\u0107, B.: The 12-element Case of Frankls Conjecture (submitted, 2012)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T03:45:56Z","timestamp":1674186356000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}