Matches in Wikidata for { <http://www.wikidata.org/entity/Q1052005> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q1052005 description "mathematischer Satz" @default.
- Q1052005 description "metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle" @default.
- Q1052005 description "proposição em lógica de segunda ordem que deriva axiomas de Peano a partir de Hume" @default.
- Q1052005 description "théorème" @default.
- Q1052005 name "Frege's theorem" @default.
- Q1052005 name "Freges Theorem" @default.
- Q1052005 name "Teorema de Frege" @default.
- Q1052005 name "teorema de Frege" @default.
- Q1052005 name "teorema de Frege" @default.
- Q1052005 name "teoremo de Frege" @default.
- Q1052005 name "théorème de Frege" @default.
- Q1052005 name "フレーゲの定理" @default.
- Q1052005 name "프레게의 정리" @default.
- Q1052005 type Item @default.
- Q1052005 label "Frege's theorem" @default.
- Q1052005 label "Freges Theorem" @default.
- Q1052005 label "Teorema de Frege" @default.
- Q1052005 label "teorema de Frege" @default.
- Q1052005 label "teorema de Frege" @default.
- Q1052005 label "teoremo de Frege" @default.
- Q1052005 label "théorème de Frege" @default.
- Q1052005 label "フレーゲの定理" @default.
- Q1052005 label "프레게의 정리" @default.
- Q1052005 prefLabel "Frege's theorem" @default.
- Q1052005 prefLabel "Freges Theorem" @default.
- Q1052005 prefLabel "Teorema de Frege" @default.
- Q1052005 prefLabel "teorema de Frege" @default.
- Q1052005 prefLabel "teorema de Frege" @default.
- Q1052005 prefLabel "teoremo de Frege" @default.
- Q1052005 prefLabel "théorème de Frege" @default.
- Q1052005 prefLabel "フレーゲの定理" @default.
- Q1052005 prefLabel "프레게의 정리" @default.
- Q1052005 P138 Q1052005-601f0601-4868-2aa3-702a-ed581516c660 @default.
- Q1052005 P31 Q1052005-2BF2C600-2CBB-40B9-932C-D893911C2B83 @default.
- Q1052005 P3123 Q1052005-55E4376B-CC49-4E52-980E-BA48626DB325 @default.
- Q1052005 P6104 Q1052005-67C13783-CA98-4B97-942D-8FAAF3E0FE7B @default.
- Q1052005 P6366 Q1052005-27C70431-E7D1-4F19-AEA1-33B7DE842D2A @default.
- Q1052005 P646 Q1052005-3BF2DF77-DDD2-47C2-9AC3-184DF4298B8B @default.
- Q1052005 P6366 2779904397 @default.
- Q1052005 P138 Q60028 @default.
- Q1052005 P31 Q65943 @default.
- Q1052005 P3123 "frege-theorem" @default.
- Q1052005 P6104 Q8487137 @default.
- Q1052005 P6366 "2779904397" @default.
- Q1052005 P646 "/m/0ck6vp" @default.