<http://experiment.worldcat.org/entity/work/data/2615925535.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/2615925535.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/2615925535> .
<http://experiment.worldcat.org/entity/work/data/2615925535#Organization/ieee_xplore_online_service> <http://schema.org/name> "IEEE Xplore (Online service)" .
<http://experiment.worldcat.org/entity/work/data/2615925535#Organization/ieee_xplore_online_service> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://worldcat.org/entity/work/id/2615925535> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/2615925535> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Periodical_literature> .
<http://worldcat.org/entity/work/id/2615925535> <http://schema.org/workExample> <http://www.worldcat.org/oclc/920404962> .
<http://worldcat.org/entity/work/id/2615925535> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/2615925535#Organization/ieee_xplore_online_service> .
<http://worldcat.org/entity/work/id/2615925535> <http://schema.org/name> "Formal Engineering Methods, International Conference on" .