<http://experiment.worldcat.org/entity/work/data/654652618.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/654652618.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/654652618> .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> <http://schema.org/name> "Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)" .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85139126> .
<http://worldcat.org/entity/work/id/654652618> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/654652618> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/654652618#Meeting/conference_on_automated_deduction_22nd_2009_montreal_quebec> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/alternateName> "MLPA-09" .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/about> <http://id.worldcat.org/fast/1159972> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/name> "Proceedings of the First Workshop on Modules and Libraries for Proof Assistants (MLPA-09) August 3, 2009, Montreal, affiliated with the 22nd Conference on Automated Deduction (CADE-22)" .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640793972> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/workExample> <http://www.worldcat.org/oclc/664571220> .
<http://worldcat.org/entity/work/id/654652618> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636213029> .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> <http://schema.org/name> "Workshop on Modules and Libraries for Proof Assistants (1st : 2009 : Montréal, Québec)" .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/654652618#Meeting/workshop_on_modules_and_libraries_for_proof_assistants_1st_2009_montreal_quebec> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .