@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q209555 rdfs:label "تحصيل الحاصل"@ar,
        "توتولوجيا"@arz,
        "Tavtologiya (məntiq)"@az,
        "таўталёгія"@be-tarask,
        "Тавтология"@bg,
        "tautologia"@ca,
        "تۆتۆلۆژی"@ckb,
        "tautologie"@cs,
        "Tautologi"@da,
        "Tautologie"@de,
        "ταυτολογία"@el,
        "tautology"@en,
        "taŭtologio"@eo,
        "tautología"@es,
        "tautoloogia"@et,
        "Tautologia (logika)"@eu,
        "همانگو"@fa,
        "tautologia"@fi,
        "tautologie"@fr,
        "tautoloxía"@gl,
        "טאוטולוגיה"@he,
        "Tautologija"@hr,
        "tautológia"@hu,
        "Tautologi"@id,
        "Sísanna"@is,
        "tautologia"@it,
        "恒真式"@ja,
        "항진식"@ko,
        "Кайталама"@ky,
        "Tautologie"@lb,
        "tautolojia"@lfn,
        "tautologija"@lt,
        "Тавтологија"@mk,
        "tautologi"@nb,
        "tautologie"@nl,
        "tautologia"@pl,
        "tautologia"@pt,
        "tautologia"@pt-br,
        "Tautologie"@ro,
        "тавтология"@ru,
        "tautologiija"@se,
        "Totožnostno-pravdivý výrok"@sk,
        "tavtologija"@sl,
        "tautologia"@smn,
        "tautologia"@sms,
        "Таутологија"@sr,
        "Таутологија"@sr-ec,
        "Tautologija"@sr-el,
        "tautologi"@sv,
        "Totoloji"@tr,
        "тавтологія"@uk,
        "تطویل"@ur,
        "重言式"@zh,
        "重言式"@zh-cn,
        "重言式"@zh-hans,
        "重言式"@zh-hant,
        "重言式"@zh-hk,
        "重言式"@zh-sg,
        "重言式"@zh-tw ;
    schema1:dateModified "2026-10-21T03:33:25+00:00"^^xsd:dateTime ;
    schema1:description "قول الشيء نفسه"@ar,
        "лягічная формула, дзе кожная выснова — ісьціна"@be-tarask,
        "فۆرموولای لۆژیکی کە لە ھەموو ڕاڤەگەلی مومکیندا ڕاست و دروستە"@ckb,
        "logický výrok, který je vždy pravdivý"@cs,
        "allgemein gültige Aussage"@de,
        "logical formula which is true in every possible interpretation"@en,
        "fórmula lógica que resulta verdadera para cualquier interpretación"@es,
        "énoncé universellement vrai"@fr,
        "proposición verdadeira baixo calquera interpretación"@gl,
        "formula logica universalmente valida"@it,
        "命題変数の真理値に関わらず常に真となる論理式"@ja,
        "allgemenggülteg Ausso"@lb,
        "Sannhet"@nb,
        "logica"@nl,
        "typ zdania prawdziwego, różnie definiowany w różnych działach logiki"@pl,
        "fórmula proposicional verdadeira para todas valorações possíveis de suas variáveis"@pt,
        "greșeală de limbaj"@ro,
        "logična formula, ki je resnična pri vsaki možni interpretaciji"@sl,
        "исказна формула која је истинита за сваку комбинацију параметара формуле"@sr,
        "bir bileşik önermenin kendini oluşturan önermelerin her değeri için daima doğru sonuç vermesi durumu."@tr,
        "邏輯學"@zh-tw ;
    schema1:version 2559430903 ;
    wikibase:identifiers 23 ;
    wikibase:sitelinks 44 ;
    wikibase:statements 31 ;
    skos:altLabel "توتولوجيا"@ar,
        "طوطولوجيا"@ar,
        "طوطولوجية"@ar,
        "Tautologie"@cs,
        "Tautologier"@da,
        "Verum"@de,
        "⊤"@de,
        "tautológica"@es,
        "توتولوژی"@fa,
        "همان گو"@fa,
        "tautologique"@fr,
        "tautologisme"@fr,
        "סתירה"@he,
        "Röksannindi"@is,
        "恒真命題"@ja,
        "zasada logiczna"@pl,
        "Tautologia lógica"@pt,
        "Tautologia matemática"@pt,
        "Tautology"@ur,
        "套套逻辑"@zh,
        "套套邏輯"@zh,
        "套套逻辑"@zh-hans ;
    p:P10 wds:Q209555-CC8B3AB3-4321-4896-A815-6AD15CDAE9DE ;
    p:P10283 wds:Q209555-D89665A5-4600-4F35-85A2-75FDA441AB3F ;
    p:P10565 wds:Q209555-74EB4720-8BFB-4637-BD3B-FAC6A82B7675 ;
    p:P12946 wds:Q209555-851AE44E-654F-4048-B2F3-9B457B15B86E ;
    p:P13613 wds:Q209555-72e921ca-4783-324f-e16f-986169d681b5 ;
    p:P1417 wds:Q209555-839B4D69-4658-4770-9067-9744CE5AB373 ;
    p:P14541 wds:Q209555-FE310D74-478E-4D37-A6B5-93DA129D9CDF ;
    p:P1889 wds:Q209555-424D2660-DD37-466B-8AB3-D76502A11494 ;
    p:P227 wds:Q209555-7656212B-0A39-4CAB-9C89-B1BE5AC8138D ;
    p:P2347 wds:Q209555-40A9B6A6-F1D3-4FCE-9186-DDF1975A70BF ;
    p:P2534 wds:Q209555-b72ed893-433c-4414-7af8-909f7d389125 ;
    p:P2581 wds:Q209555-34BE5C44-12EE-4785-8D36-D7848CA52811 ;
    p:P279 wds:Q209555-2b941f61-42df-af36-09fb-04f8bb7e66e6 ;
    p:P2812 wds:Q209555-0B8C5EFC-2969-4959-85BC-CE2D72E371E4 ;
    p:P3219 wds:Q209555-FF6D09DF-3A63-4E1C-9AEC-CD2E7020F9B1 ;
    p:P3417 wds:Q209555-4F32DE16-EC7B-460D-877B-594417D13C6D ;
    p:P3569 wds:Q209555-EC49B713-23B2-41E7-8B70-840BC66EDB20 ;
    p:P3827 wds:Q209555-02994F7A-863F-41CA-8C0F-08402CE0D6E7 ;
    p:P461 wds:Q209555-3fad7672-41c1-281e-c2ca-7e03026f6765 ;
    p:P61 wds:Q209555-a0d1fe3c-4699-4fc8-ca52-d9f9ad2e30cb ;
    p:P6104 wds:Q209555-2BD8DC13-A85E-4528-87AA-A414A4AE3D50 ;
    p:P6366 wds:Q209555-E8DEAF7B-397B-4D87-98DE-A254D027902F ;
    p:P646 wds:Q209555-D7AA4090-4771-4F7A-B415-E7145900C013 ;
    p:P691 wds:Q209555-C0496311-1B3A-456D-8127-46B91173A6B3 ;
    p:P7033 wds:Q209555-AB08CB8C-7FED-4F05-AC6E-E636D03F214A ;
    p:P7276 wds:Q209555-13F1E5F7-7A29-4ECA-AD06-9FE0CA291C38 ;
    p:P7666 wds:Q209555-B6E87308-9C31-4128-BEA1-DE8D7428C8FD ;
    p:P7775 wds:Q209555-D3DE5D97-83B6-4309-AD5D-B9CCD3A06D47 ;
    p:P7993 wds:Q209555-843FB2CC-8504-46CE-8631-DDDE0361BF36 ;
    p:P8313 wds:Q209555-FE6C5374-71D8-44C2-ABAE-A9506AF475C1 ;
    p:P913 wds:Q209555-f1707706-4023-d218-bb19-d55942227e96 ;
    wdtn:P227 <https://d-nb.info/gnd/4184539-0> ;
    wdtn:P2347 <http://www.yso.fi/onto/yso/p21337> ;
    wdtn:P2581 <http://babelnet.org/rdf/s00076214n> ;
    wdtn:P6366 <https://makg.org/entity/166374712> ;
    wdtn: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 wd:Q841606 ;
    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 wd:Q108163 ;
    wdt:P2812 "Tautology" ;
    wdt:P3219 "tautologie" ;
    wdt:P3417 "Tautology" ;
    wdt:P3569 "taal-begrippen-en-termen/tautologie" ;
    wdt:P3827 "tautologies" ;
    wdt:P461 wd:Q363948 ;
    wdt:P61 wd:Q9391 ;
    wdt:P6104 wd:Q8487137 ;
    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 wd:Q5300115 .