FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p Verification from Declarative Specifications Using Logic Programming ?g. }
Showing items 1 to 3 of
3
with
100
items per page.
Q57977956
name
"
Verification from Declarative Specifications Using Logic Programming
"
@default
.
Q57977956
label
"
Verification from Declarative Specifications Using Logic Programming
"
@default
.
Q57977956
prefLabel
"
Verification from Declarative Specifications Using Logic Programming
"
@default
.
