Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/eswa/BrideCDDHMS21
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/eswa/BrideCDDHMS21
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/150/7491 + , https://dblp.org/pid/200/7967 + , https://dblp.org/pid/73/3764 + , https://dblp.org/pid/33/6517 + , https://dblp.org/pid/76/5461 + , https://dblp.org/pid/144/0554 + , https://dblp.org/pid/s/JingSun2 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1016/J.ESWA.2021.114806 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1016/J.ESWA.2021.114806 + , http://dx.doi.org/10.1016/J.ESWA.2021.114806 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/eswa/eswa176 +
https://dblp.org/rdf/schema#numberOfCreators 7
https://dblp.org/rdf/schema#pagination 114806
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1016/J.ESWA.2021.114806 +
https://dblp.org/rdf/schema#publishedIn Expert Syst. Appl.
https://dblp.org/rdf/schema#publishedInJournal Expert Syst. Appl.
https://dblp.org/rdf/schema#publishedInJournalVolume 176
https://dblp.org/rdf/schema#title Silas: A high-performance machine learning foundation for logical reasoning and verification.
https://dblp.org/rdf/schema#yearOfPublication 2021
owl:sameAs https://doi.org/10.1016/J.ESWA.2021.114806 + , http://dx.doi.org/10.1016/J.ESWA.2021.114806 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Hadrien Bride et al.: Silas: A high-performance machine learning foundation for logical reasoning and verification. (2021)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fjournals-2Feswa-2FBrideCDDHMS21"