<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/2291> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Manuscript> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/title> "The spatial logic model checker user's manual: version 1.0"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/date> "2005-03" .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/ontology/bibo/issue> "05" .
<http://eprints.imtlucca.it/id/org/ext-d9a9cd76b1e27b3ea0203dbf09ea7c50> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-d9a9cd76b1e27b3ea0203dbf09ea7c50> <http://xmlns.com/foaf/0.1/name> "Departamento de Informática - Universidade nova de Lisboa"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/publisher> <http://eprints.imtlucca.it/id/org/ext-d9a9cd76b1e27b3ea0203dbf09ea7c50> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/unpublished> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/2291#authors> .
<http://eprints.imtlucca.it/id/eprint/2291#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/2291#authors> .
<http://eprints.imtlucca.it/id/eprint/2291#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/2291#authors> .
<http://eprints.imtlucca.it/id/eprint/2291#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> .
<http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> <http://xmlns.com/foaf/0.1/givenName> "Hugo "^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> <http://xmlns.com/foaf/0.1/familyName> "Torres Vieira"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-hugo.torresvieira@imtlucca.it> <http://xmlns.com/foaf/0.1/name> "Hugo  Torres Vieira"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> <http://xmlns.com/foaf/0.1/givenName> "Rubens"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> <http://xmlns.com/foaf/0.1/familyName> "Viegas"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-2951085e7759efe50a4ea97d79738f1c> <http://xmlns.com/foaf/0.1/name> "Rubens Viegas"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> <http://xmlns.com/foaf/0.1/givenName> "Luis"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> <http://xmlns.com/foaf/0.1/familyName> "Caires"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-80d292c73b2ce92f4c7addcb0f777fef> <http://xmlns.com/foaf/0.1/name> "Luis Caires"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/MonographEPrint> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/isPartOf> <http://eprints.imtlucca.it/id/repository> .
<http://eprints.imtlucca.it/id/eprint/2291> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://eprints.imtlucca.it/2291/> .
<http://eprints.imtlucca.it/2291/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #2291 \n\nThe spatial logic model checker user's manual: version 1.0\n\n" .
<http://eprints.imtlucca.it/2291/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://eprints.imtlucca.it/2291/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/2291> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA75 Electronic computers. Computer science"@en .
<http://eprints.imtlucca.it/id/eprint/2291> <http://purl.org/dc/terms/subject> <http://eprints.imtlucca.it/id/subject/QA75> .