theorem (Q1405): Difference between revisions

@@ Property / Commons category @@
+Theorems
@@ Property / Commons category: Theorems / rank @@
+Normal rank
@@ Property / Commons category: Theorems / reference @@
+imported from Wikimedia project: Spanish Wikipedia
@@ Property / subclass of @@
+proposition
@@ Property / subclass of: proposition / rank @@
+Normal rank
@@ Property / subclass of @@
+conclusion
@@ Property / subclass of: conclusion / rank @@
+Normal rank
@@ Property / subclass of: conclusion / qualifier @@
+of: mathematical proof
@@ Property / NDL Authority ID @@
+00577594
@@ Property / NDL Authority ID: 00577594 / rank @@
+Normal rank
@@ Property / NDL Authority ID: 00577594 / qualifier @@
+subject named as: 定理 (数学)
@@ Property / Freebase ID @@
+/m/07m71
@@ Property / Freebase ID: /m/07m71 / rank @@
+Normal rank
@@ Property / Freebase ID: /m/07m71 / reference @@
+stated in: Freebase Data Dumps
publication date: 28 October 2013Timestamp +2013-10-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-10-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / topic's main category @@
+Category:Theorems
@@ Property / topic's main category: Category:Theorems / rank @@
+Normal rank
@@ Property / MathWorld ID @@
+Theorem
@@ Property / MathWorld ID: Theorem / rank @@
+Normal rank
@@ Property / MathWorld ID: Theorem / reference @@
+imported from Wikimedia project: English Wikipedia
@@ Property / uses @@
+axiomatic system
@@ Property / uses: axiomatic system / rank @@
+Normal rank
@@ Property / uses @@
+deductive reasoning
@@ Property / uses: deductive reasoning / rank @@
+Normal rank
@@ Property / JSTOR topic ID @@
+mathematical-theorems
@@ Property / JSTOR topic ID: mathematical-theorems / rank @@
+Normal rank
@@ Property / Encyclopædia Britannica Online ID @@
+topic/theorem
@@ Property / Encyclopædia Britannica Online ID: topic/theorem / rank @@
+Normal rank
@@ Property / Encyclopædia Britannica Online ID: topic/theorem / qualifier @@
+subject named as: theorem / logic and mathematics
@@ Property / has part(s) @@
+hypothesis
@@ Property / has part(s): hypothesis / rank @@
+Normal rank
@@ Property / has part(s): hypothesis / reference @@
+imported from Wikimedia project: English Wikipedia
@@ Property / has part(s) @@
+conclusion
@@ Property / has part(s): conclusion / rank @@
+Normal rank
@@ Property / has part(s): conclusion / reference @@
+imported from Wikimedia project: English Wikipedia
@@ Property / has part(s) @@
+mathematical proof
@@ Property / has part(s): mathematical proof / rank @@
+Normal rank
@@ Property / has part(s): mathematical proof / reference @@
+imported from Wikimedia project: Italian Wikipedia
@@ Property / part of @@
+formal proof
@@ Property / part of: formal proof / rank @@
+Normal rank
@@ Property / part of: formal proof / reference @@
+imported from Wikimedia project: English Wikipedia
Wikimedia import URL: https://en.wikipedia.org/wiki/Formal_proof
@@ Property / BabelNet ID @@
+00076831n
@@ Property / BabelNet ID: 00076831n / rank @@
+Normal rank
@@ Property / BabelNet ID: 00076831n / reference @@
+stated in: BabelNet
@@ Property / Great Russian Encyclopedia Online ID (old version) @@
+4187664
@@ Property / Great Russian Encyclopedia Online ID (old version): 4187664 / rank @@
+Deprecated rank
+subject named as: ТЕОРЕМА
+reason for deprecated rank: redirected to GRE portal
@@ Property / has characteristic @@
+existence
@@ Property / has characteristic: existence / rank @@
+Normal rank
@@ Property / has characteristic: existence / qualifier @@
+of: mathematical proof
@@ Property / has characteristic: existence / qualifier @@
+relative to: axiomatic system
@@ Property / based on @@
+axiomatic system
@@ Property / based on: axiomatic system / rank @@
+Normal rank
@@ Property / OmegaWiki Defined Meaning @@
@@ Property / OmegaWiki Defined Meaning: 721810 / rank @@
+Normal rank
@@ Property / Australian Educational Vocabulary ID @@
+scot/15188
@@ Property / Australian Educational Vocabulary ID: scot/15188 / rank @@
+Normal rank
@@ Property / NicoNicoPedia ID @@
+定理
@@ Property / NicoNicoPedia ID: 定理 / rank @@
+Normal rank
@@ Property / KBpedia ID @@
+Theorem-Proposition
@@ Property / KBpedia ID: Theorem-Proposition / rank @@
+Normal rank
@@ Property / KBpedia ID: Theorem-Proposition / reference @@
+stated in: KBpedia
retrieved: 9 July 2020Timestamp +2020-07-09T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2020-07-09T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / Gran Enciclopèdia Catalana ID (former scheme) @@
+0145659
@@ Property / Gran Enciclopèdia Catalana ID (former scheme): 0145659 / rank @@
+Normal rank
@@ Property / pronunciation audio @@
+LL-Q1571 (mar)-Neelima64-प्रमेय.wav
+Normal rank
+language of work or name: Marathi
+reference URL: https://lingualibre.org/wiki//Q445435
@@ Property / Visuotinė lietuvių enciklopedija ID @@
+teorema
@@ Property / Visuotinė lietuvių enciklopedija ID: teorema / rank @@
+Normal rank
@@ Property / Zhihu topic ID @@
+19754113
@@ Property / Zhihu topic ID: 19754113 / rank @@
+Normal rank
@@ Property / Zhihu topic ID: 19754113 / qualifier @@
+subject named as: 定理
@@ Property / Store norske leksikon ID @@
+teorem
@@ Property / Store norske leksikon ID: teorem / rank @@
+Normal rank
@@ Property / WordNet 3.1 Synset ID @@
+06765007-n
@@ Property / WordNet 3.1 Synset ID: 06765007-n / rank @@
+Normal rank
@@ Property / WordNet 3.1 Synset ID: 06765007-n / reference @@
+stated in: GF WordNet
@@ Property / WordNet 3.1 Synset ID @@
+05926861-n
@@ Property / WordNet 3.1 Synset ID: 05926861-n / rank @@
+Normal rank
@@ Property / WordNet 3.1 Synset ID: 05926861-n / reference @@
+stated in: GF WordNet
@@ Property / Encyclopedia of China (Third Edition) ID @@
@@ Property / Encyclopedia of China (Third Edition) ID: 217169 / rank @@
+Normal rank
@@ Property / on focus list of Wikimedia project @@
+Wikipedia:Vital articles/Level/4
+Normal rank
+point in time: 31 October 2022Timestamp +2022-10-31T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2022-10-31T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / ScienceDirect topic ID @@
+physics-and-astronomy/theorems
@@ Property / ScienceDirect topic ID: physics-and-astronomy/theorems / rank @@
+Normal rank
@@ Property / ProofWiki ID @@
+Definition:Theorem
@@ Property / ProofWiki ID: Definition:Theorem / rank @@
+Normal rank
@@ Property / Great Russian Encyclopedia portal ID @@
+teorema-24b8af
@@ Property / Great Russian Encyclopedia portal ID: teorema-24b8af / rank @@
+Normal rank
@@ Property / Gran Enciclopèdia Catalana ID @@
+teorema-2
@@ Property / Gran Enciclopèdia Catalana ID: teorema-2 / rank @@
+Normal rank
@@ Property / small logo or icon @@
+Tabler-icons math-integral-x.svg
@@ Property / small logo or icon: Tabler-icons math-integral-x.svg / rank @@
+Normal rank
@@ Property / properties for this type @@
+studied in
@@ Property / properties for this type: studied in / rank @@
+Normal rank
@@ Property / Vikidia article ID @@
+fr:Théorème
@@ Property / Vikidia article ID: fr:Théorème / rank @@
+Normal rank