Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/is/OliveS82
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/is/OliveS82
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/89/4942 + , https://dblp.org/pid/90/366 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#createdBy https://dblp.org/pid/89/4942 + , https://dblp.org/pid/90/366 +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1016/0306-4379%2882%2990012-6 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1016/0306-4379%2882%2990012-6 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/is/is7 +
https://dblp.org/rdf/schema#numberOfCreators 2
https://dblp.org/rdf/schema#pagination 209-215
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1016/0306-4379%2882%2990012-6 +
https://dblp.org/rdf/schema#publishedIn Inf. Syst.
https://dblp.org/rdf/schema#publishedInJournal Inf. Syst.
https://dblp.org/rdf/schema#publishedInJournalVolume 7
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 3
https://dblp.org/rdf/schema#publishedInStream https://dblp.org/streams/journals/is +
https://dblp.org/rdf/schema#title Formal verification of information derivability in databases using precedence analyses.
https://dblp.org/rdf/schema#yearOfPublication 1982
owl:sameAs https://doi.org/10.1016/0306-4379%2882%2990012-6 + , http://dx.doi.org/10.1016/0306-4379%2882%2990012-6 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Antoni Olivé and Fèlix Saltor: Formal verification of information derivability in databases using precedence analyses. (1982)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.