@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 wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q5501318 rdfs:label "Sistema de Frege"@ca,
        "Frege system"@en,
        "フレーゲ系"@ja ;
    schema1:dateModified "2026-08-03T16:49:08+00:00"^^xsd:dateTime ;
    schema1:description "propositional proof system"@en ;
    schema1:version 2526800487 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 2 ;
    wikibase:statements 3 ;
    p:P31 wds:Q5501318-237e3f09-4292-ad71-4969-a24b72cb2c8e ;
    p:P6366 wds:Q5501318-59FCA5EF-B5A7-427E-892F-41D8442DD214 ;
    p:P646 wds:Q5501318-F9715BFC-B103-4055-922B-EE657D7F5B59 ;
    wdtn:P6366 <https://makg.org/entity/2780324505> ;
    wdt:P31 wd:Q115160940 ;
    wdt:P6366 "2780324505" ;
    wdt:P646 "/m/0cc5yt0" .