Formalizing Frankl’s Conjecture: FC-Families (Q2907327): Difference between revisions

@@ Property / OpenAlex ID @@
+W1502009249
@@ Property / OpenAlex ID: W1502009249 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3604
@@ Property / arXiv ID: 1207.3604 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong semimodular lattices and Frankl's conjecture
+Normal rank
@@ Property / cites work @@
+Every Planar Map is Four Colorable
@@ Property / cites work: Every Planar Map is Four Colorable / rank @@
+Normal rank
@@ Property / cites work @@
+The 11-element case of Frankl's conjecture
@@ Property / cites work: The 11-element case of Frankl's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320677
@@ Property / cites work: Q4320677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713624
@@ Property / cites work: Q2713624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+An attempt at frankl’s conjecture
@@ Property / cites work: An attempt at frankl’s conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+FC-families and improved bounds for Frankl's conjecture
+Normal rank
@@ Property / cites work @@
+Flyspeck I: Tame Graphs
@@ Property / cites work: Flyspeck I: Tame Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Union-closed families
@@ Property / cites work: Union-closed families / rank @@
+Normal rank
@@ Property / cites work @@
+Frankl's conjecture is true for lower semimodular lattices
+Normal rank
@@ Property / cites work @@
+The four-colour theorem
@@ Property / cites work: The four-colour theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Families implying the Frankl conjecture
@@ Property / cites work: Families implying the Frankl conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460556
@@ Property / cites work: Q4460556 / rank @@
+Normal rank