# https://id.confref.org/event/e11v9zy (confref labs, beta)
@prefix cr: <https://id.confref.org/ontology/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://id.confref.org/event/e11v9zy>
    a cr:Event ;
    schema:location wd:Q5083 ;
    schema:name "Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006" ;
    rdfs:label "Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006" ;
    cr:field <https://id.confref.org/data/oecd-fos/1.2> ;
    cr:inSeries <https://id.confref.org/series/s10bncv> ;
    cr:proceedings <https://dblp.org/rec/conf/smt/2006> ;
    cr:sameAs <https://dblp.org/db/conf/smt/pdpar2006> ;
    cr:year "2006"^^xsd:gYear .