1000+ Theorems project: Difference between revisions

Latest revision as of 17:06, 1 August 2024

Theorem	Software	Paper
continuum hypothesis	Lean	A Formal Proof of the Independence of the Continuum Hypothesis

About

 The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!
 The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list.
 This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany ́s Excellence Strategy – EXC-2047/1 – 390685813.

source https://1000-plus.github.io/

Discussion

https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems

Persons involved

Katja Berči

Floris van Doorn

@@ Line 1: / Line 1: @@
-{{#invoke:Sparql|buildTableFromSparql|
+{{#invoke:Theorems|buildTableFromSparql|}}
-SELECT ?item ?description  ?label   {
-  {
-    SELECT ?item {
-      ?item wdt:P37 wd:Q6480413 .
-    }
-  }
-  SERVICE wikibase:label {
-    bd:serviceParam wikibase:language "en" .
-    ?item rdfs:label ?label . ?item schema:description ?description
-  }
-}
-}}
 === About ===