<http://experiment.worldcat.org/entity/work/data/41244848.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/41244848.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/41244848> .
<http://experiment.worldcat.org/entity/work/data/41244848#Organization/imperial_college_of_science_technology_and_medicine_london_theory_and_formal_methods_section> <http://schema.org/name> "Imperial College of Science, Technology and Medicine (London). Theory and Formal Methods Section." .
<http://experiment.worldcat.org/entity/work/data/41244848#Organization/imperial_college_of_science_technology_and_medicine_london_theory_and_formal_methods_section> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> <http://schema.org/name> "Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)" .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642977811> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104061> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2699577889> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/workExample> <http://www.worldcat.org/oclc/36676195> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/41244848#Organization/imperial_college_of_science_technology_and_medicine_london_theory_and_formal_methods_section> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/name> "Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996" .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636236842> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n93053395> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632408739> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2732631112> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://viaf.org/viaf/137936997> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/name> "Advances in theory and formal methods of computing"@en .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101220> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/workExample> <http://www.worldcat.org/oclc/749127861> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/name> "Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996" .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/about> <http://id.worldcat.org/fast/932926> .
<http://worldcat.org/entity/work/id/41244848> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n93053200> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2648359859> .
<http://worldcat.org/entity/work/id/41244848> <http://schema.org/contributor> <http://viaf.org/viaf/159594325> .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods> <http://schema.org/name> "Imperial College Department of Computing Workshop on Theory and Formal Methods." .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .