Created a new Item |
Changed an Item |
||
| (5 intermediate revisions by 5 users not shown) | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Isabelle/HOL / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1502009249 / rank | |||
Normal rank | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 1207.3604 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Strong semimodular lattices and Frankl's conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Every Planar Map is Four Colorable / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The 11-element case of Frankl's conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4320677 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2713624 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5302559 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An attempt at frankl’s conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: FC-families and improved bounds for Frankl's conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Flyspeck I: Tame Graphs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Union-closed families / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Frankl's conjecture is true for lower semimodular lattices / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The four-colour theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Families implying the Frankl conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4460556 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing Frankl’s Conjecture: FC-Families |
scientific article |
