SHMARQL

tautology

<http://www.wikidata.org/entity/Q209555>

logical formula which is true in every possible interpretation
rdfs:label
"tautology"@en
skos:altLabel
"توتولوجيا"@ar
"طوطولوجيا"@ar
"طوطولوجية"@ar
schema:description
"logical formula which is true in every possible interpretation"@en
schema:dateModified "2026-10-21T03:33:25+00:00"^^xsd:dateTime
schema:version 2559430903
wikibase:identifiers 23
wikibase:sitelinks 44
wikibase:statements 31
p:P10 wd:statement/Q209555-CC8B3AB3-4321-4896-A815-6AD15CDAE9DE
p:P10283 wd:statement/Q209555-D89665A5-4600-4F35-85A2-75FDA441AB3F
p:P10565 wd:statement/Q209555-74EB4720-8BFB-4637-BD3B-FAC6A82B7675
p:P12946 wd:statement/Q209555-851AE44E-654F-4048-B2F3-9B457B15B86E
p:P13613 wd:statement/Q209555-72e921ca-4783-324f-e16f-986169d681b5
p:P1417 wd:statement/Q209555-839B4D69-4658-4770-9067-9744CE5AB373
p:P14541 wd:statement/Q209555-FE310D74-478E-4D37-A6B5-93DA129D9CDF
p:P1889 wd:statement/Q209555-424D2660-DD37-466B-8AB3-D76502A11494
p:P227 wd:statement/Q209555-7656212B-0A39-4CAB-9C89-B1BE5AC8138D
p:P2347 wd:statement/Q209555-40A9B6A6-F1D3-4FCE-9186-DDF1975A70BF
p:P2534 wd:statement/Q209555-b72ed893-433c-4414-7af8-909f7d389125
p:P2581 wd:statement/Q209555-34BE5C44-12EE-4785-8D36-D7848CA52811
p:P279 wd:statement/Q209555-2b941f61-42df-af36-09fb-04f8bb7e66e6
p:P2812 wd:statement/Q209555-0B8C5EFC-2969-4959-85BC-CE2D72E371E4
p:P3219 wd:statement/Q209555-FF6D09DF-3A63-4E1C-9AEC-CD2E7020F9B1
p:P3417 wd:statement/Q209555-4F32DE16-EC7B-460D-877B-594417D13C6D
p:P3569 wd:statement/Q209555-EC49B713-23B2-41E7-8B70-840BC66EDB20
p:P3827 wd:statement/Q209555-02994F7A-863F-41CA-8C0F-08402CE0D6E7
p:P461 wd:statement/Q209555-3fad7672-41c1-281e-c2ca-7e03026f6765
p:P61 wd:statement/Q209555-a0d1fe3c-4699-4fc8-ca52-d9f9ad2e30cb
p:P6104 wd:statement/Q209555-2BD8DC13-A85E-4528-87AA-A414A4AE3D50
p:P6366 wd:statement/Q209555-E8DEAF7B-397B-4D87-98DE-A254D027902F
p:P646 wd:statement/Q209555-D7AA4090-4771-4F7A-B415-E7145900C013
p:P691 wd:statement/Q209555-C0496311-1B3A-456D-8127-46B91173A6B3
p:P7033 wd:statement/Q209555-AB08CB8C-7FED-4F05-AC6E-E636D03F214A
p:P7276 wd:statement/Q209555-13F1E5F7-7A29-4ECA-AD06-9FE0CA291C38
p:P7666 wd:statement/Q209555-B6E87308-9C31-4128-BEA1-DE8D7428C8FD
p:P7775 wd:statement/Q209555-D3DE5D97-83B6-4309-AD5D-B9CCD3A06D47
p:P7993 wd:statement/Q209555-843FB2CC-8504-46CE-8631-DDDE0361BF36
p:P8313 wd:statement/Q209555-FE6C5374-71D8-44C2-ABAE-A9506AF475C1
p:P913 wd:statement/Q209555-f1707706-4023-d218-bb19-d55942227e96
p:direct-normalized/P227 <https://d-nb.info/gnd/4184539-0>
p:direct-normalized/P2347 <http://www.yso.fi/onto/yso/p21337>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s00076214n>
p:direct-normalized/P6366 <https://makg.org/entity/166374712>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/15528>
wdt:P10 <http://commons.wikimedia.org/wiki/Special:FilePath/Logik%20-%20Quatematik.webm>
wdt:P10283 "C166374712"
wdt:P10565 "210666"
wdt:P12946 "tautology"
wdt:P13613 "190824"
wdt:P1417 "topic/tautology"
wdt:P14541 "3PQSwl"
wdt:P1889 tautology
wdt:P227 "4184539-0"
wdt:P2347 "21337"
wdt:P2534 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">&#x2227;</mo><mi>B</mi><mo stretchy="false">)</mo><mo stretchy="false" accent="false">&#x2192;</mo><mi>C</mi><mo stretchy="false">)</mo><mo stretchy="false">&#x21D4;</mo><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false" accent="false">&#x2192;</mo><mo stretchy="false">(</mo><mi>B</mi><mo stretchy="false" accent="false">&#x2192;</mo><mi>C</mi><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P2581 "00076214n"
wdt:P279 proposition
wdt:P2812 "Tautology"
wdt:P3219 "tautologie"
wdt:P3417 "Tautology"
wdt:P3569 "taal-begrippen-en-termen/tautologie"
wdt:P3827 "tautologies"
wdt:P461 logical contradiction
wdt:P61 Ludwig Wittgenstein
wdt:P6104 WikiProject Mathematics
wdt:P6366 "166374712"
wdt:P646 "/m/0c5hmr"
wdt:P691 "ph135768"
wdt:P7033 "scot/15528"
wdt:P7276 "TAUTOLOGIE"
wdt:P7666 "tautologija"
wdt:P7775 "Tautology"
wdt:P7993 "tautologia"
wdt:P8313 "tautologi"
wdt:P913 double turnstile
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata