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

wd:Q7289554 rdfs:label "ramified forcing"@en,
        "branĉigita perforto"@eo ;
    schema1:dateModified "2022-09-06T18:47:10+00:00"^^xsd:dateTime ;
    schema1:description "form of forcing in which one starts with a model of set theory in which the axiom of constructibility holds and iteratively builds up a larger model by adding a generic subset of a partially ordered set, imitating the constructible hierarchy"@en ;
    schema1:version 1722549174 ;
    wikibase:identifiers 1 ;
    wikibase:sitelinks 1 ;
    wikibase:statements 2 ;
    p:P279 wds:Q7289554-27d3c81f-43f1-533c-7d03-5ca49340656f ;
    p:P646 wds:Q7289554-1C9D15EF-2D30-4D6A-9D01-E6D7912C3304 ;
    wdt:P279 wd:Q1003136 ;
    wdt:P646 "/m/03nn5xr" .