<http://www.sudoc.fr/195038967/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027276309/id> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/elements/1.1/date>	"2016"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/195038967/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027821897/id> .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/pra>	<http://www.idref.fr/074308297/id> .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/ths>	<http://www.idref.fr/050742876/id> .
<http://www.sudoc.fr/195038967/id>	<http://www.abes.fr/vocabularies/theses/roles/958>	<http://www.idref.fr/156239418/id> .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/ths>	<http://www.idref.fr/107004763/id> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027253139/id> .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/dgg>	<http://www.idref.fr/184668794/id> .
<http://www.sudoc.fr/195038967/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Thesis> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/028594460/id> .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/192995448/id> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/035073144/id> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/bibliographicCitation>	"Prime implicate generation in equational logic  / Sophie Tourret  ; sous la direction de Nicolas Peltier et de Bertrand Mnacho Echenim /  , 2016" .
<http://www.sudoc.fr/195038967/id>	<http://id.loc.gov/vocabulary/relators/opn>	<http://www.idref.fr/135261007/id> .
<http://www.sudoc.fr/195038967/id>	<http://www.abes.fr/vocabularies/theses/roles/958>	<http://www.idref.fr/12852474X/id> .
<http://www.sudoc.fr/195038967/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027234541/id> .
<http://www.sudoc.fr/195038967/id>	<http://www.abes.fr/vocabularies/theses/roles/996>	<http://www.idref.fr/149119070/id> .
<http://www.sudoc.fr/195038967/id>	<http://rdaregistry.info/Elements/m/P30135>	<http://www.theses.fr/2016GREAM006/id> .
<http://www.sudoc.fr/195038967/id>	<http://www.abes.fr/vocabularies/theses/roles/981>	<http://www.idref.fr/148425550/id> .