<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/elements/1.1/date>	"1999"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/053785541/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/053785541/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/17426206X/id> .
<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027554546/id> .
<http://www.sudoc.fr/053785541/id>	<http://id.loc.gov/vocabulary/relators/dgg>	<http://www.idref.fr/034634894/id> .
<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027253139/id> .
<http://www.sudoc.fr/053785541/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/terms/bibliographicCitation>	"Satisfaisabilit\u00E9 propositionnelle en informatique  : aspects algorithmiques et extensions du formalisme  / Laure Brisoux-Devendeville  ; sous la direction d'Eric Gr\u00E9goire / [S.l.] : [s.n.] , 1999" .
<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/028111877/id> .
<http://www.sudoc.fr/053785541/id>	<http://rdaregistry.info/Elements/m/P30135>	<http://www.idref.fr/206250703/id> .
<http://www.sudoc.fr/053785541/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Thesis> .
<http://www.sudoc.fr/053785541/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027985881/id> .
<http://www.sudoc.fr/053785541/id>	<http://id.loc.gov/vocabulary/relators/ths>	<http://www.idref.fr/032280181/id> .