# https://id.confref.org/data/confident/1963 (confref labs, beta)
@prefix cf: <https://id.confref.org/data/confident/vocab/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://id.confref.org/data/confident/1963>
    a cf:Category_Event_Series ;
    rdfs:label "SAT - International Conference on Theory and Applications of Satisfiability Testing" ;
    cf:Acronym "SAT" ;
    cf:Creation_date "2022-04-06T19:15:30"^^xsd:dateTime ;
    cf:Display_Title "SAT - International Conference on Theory and Applications of Satisfiability Testing" ;
    cf:Maintainer_Missing "true"^^xsd:boolean ;
    cf:Modification_date "2022-08-24T14:34:56"^^xsd:dateTime ;
    cf:Title "International Conference on Theory and Applications of Satisfiability Testing" ;
    cf:page <https://www.confident-conference.org/index.php/Event_Series:SAT> ;
    cf:pageTitle "Event Series:SAT" .