@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:Q1003136 rdfs:label "Forcing"@ca,
        "forsing"@cs,
        "forcing"@da,
        "Forcing"@de,
        "forcing"@en,
        "perforto"@eo,
        "forzado"@es,
        "forsseerimine"@et,
        "forcing"@fr,
        "כפייה"@he,
        "forszolás"@hu,
        "強制法"@ja,
        "강제법"@ko,
        "Forcing"@lb,
        "forcing"@nl,
        "forsing"@pl,
        "forçamento"@pt,
        "форсинг"@ru,
        "preddoločanje"@sl,
        "forcing"@sv,
        "力迫"@zh ;
    schema1:dateModified "2026-10-01T20:25:45+00:00"^^xsd:dateTime ;
    schema1:description "tècnica per engrandir models d'axiomes en teoria de conjunts axiomàtica, com ZFC"@ca,
        "Methode in der Mengenlehre"@de,
        "in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results"@en,
        "metodo konstrui pli grandajn modelojn de la aksiomoj de aroteorio"@eo,
        "técnica inventada por Paul Cohen para demostrar la coherencia y la independencia de los resultados"@es,
        "matemaatika"@et,
        "technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles"@fr,
        "לוגיקה מתמטית"@he,
        "metoda dowodu w teorii mnogości"@pl,
        "метод, изобретенный Полом Коэном для доказательства непротиворечивости и независимости результатов в теории множеств"@ru ;
    schema1:version 2551906720 ;
    wikibase:identifiers 7 ;
    wikibase:sitelinks 16 ;
    wikibase:statements 17 ;
    skos:altLabel "Forcing"@cs,
        "Generické rozšíření"@cs,
        "Generické rozšíření modelu teorie množin"@cs,
        "Erzwingung"@de,
        "Erzwingungsmethode"@de,
        "unramified forcing"@en,
        "forzado sin ramificaciones"@es,
        "כפיה (מתמטיקה)"@he,
        "כפייה (מתמטיקה)"@he,
        "Forcing"@pl,
        "Teoria forsingu"@pl,
        "Wymuszanie"@pl,
        "форсирование"@ru,
        "力迫法"@zh,
        "力迫（數學）"@zh ;
    p:P10283 wds:Q1003136-347AACBF-91F5-488E-8370-B60B6E7D4824 ;
    p:P1417 wds:Q1003136-DDE34BA1-C84F-4649-8572-65E507BE938D ;
    p:P1482 wds:Q1003136-29b7f486-4864-9139-c791-e91b36ba496b ;
    p:P1889 wds:Q1003136-9e69aaf8-4a21-7a0c-defc-070f175f0c19 ;
    p:P2534 wds:Q1003136-f4d943af-41cf-4239-828b-2c35cbed58ac ;
    p:P2581 wds:Q1003136-F4E5C4CA-F54F-4D19-8CED-E09031BBF369 ;
    p:P2812 wds:Q1003136-43267EA0-FB86-4C4C-B3D0-43AB255690A6 ;
    p:P31 wds:Q1003136-a312b758-4fdb-7e47-e0be-2129164a1a91 ;
    p:P361 wds:Q1003136-9d4e49e1-4f9b-a7a2-4c2d-e6cfb975230b ;
    p:P61 wds:q1003136-B135DB2A-9863-4C91-B4F2-E2FA7CA3F742 ;
    p:P6104 wds:Q1003136-902E7B19-404B-42F1-88C1-BB4138C19016 ;
    p:P6366 wds:Q1003136-8AA28F10-A7B5-4B53-8697-6B0550D1C3C8 ;
    p:P646 wds:Q1003136-766B52F9-8731-4CB3-BEAA-EDAB0F6AE541 ;
    p:P7235 wds:Q1003136-4e751e18-4a1d-e322-18c0-66efc51ed5b3,
        wds:Q1003136-c4e1bd82-4fab-87c4-9457-0d376f18c096 ;
    p:P8408 wds:Q1003136-1DB62172-5F38-4908-BC7D-5E970623C8DE ;
    p:P910 wds:Q1003136-7FA515D5-DEF1-4E45-8215-CD381A913CE0 ;
    wdtn:P2581 <http://babelnet.org/rdf/s00739900n> ;
    wdtn:P6366 <https://makg.org/entity/197115733> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ForcingMathematics> ;
    wdt:P10283 "C197115733" ;
    wdt:P1417 "topic/forcing-mathematics" ;
    wdt:P1482 <https://mathoverflow.net/tags/forcing> ;
    wdt:P1889 wd:Q7289554 ;
    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\"><mi>M</mi><mo stretchy=\"false\">[</mo><mi>G</mi><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">=</mo><mo fence=\"false\" stretchy=\"false\">{</mo><mi data-mjx-texclass=\"OP\" mathvariant=\"normal\">val</mi><mo>&#x2061;</mo><mo stretchy=\"false\">(</mo><mi>u</mi><mo>,</mo><mi>G</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">|</mo><mi>u</mi><mo stretchy=\"false\">&#x2208;</mo><msup><mi>M</mi><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">(</mo><mrow data-mjx-texclass=\"ORD\"><mi>ℙ</mi></mrow><mo stretchy=\"false\">)</mo></mrow></mrow></msup><mo fence=\"false\" stretchy=\"false\">}</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2581 "00739900n" ;
    wdt:P2812 "Forcing" ;
    wdt:P31 wd:Q3918374 ;
    wdt:P361 wd:Q12482 ;
    wdt:P61 wd:Q216809 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "197115733" ;
    wdt:P646 "/m/013tlv" ;
    wdt:P7235 "<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\"><mi>G</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<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\"><mi>M</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P8408 "ForcingMathematics" ;
    wdt:P910 wd:Q8465461 .