DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ ?s ?p <http://dbpedia.org/resource/Partial_correctness> }
Showing triples 1 to 5 of
5
with
100
triples per page.
Hoare_logic
wikiPageWikiLink
Partial_correctness
.
Loop_invariant
wikiPageWikiLink
Partial_correctness
.
Loop_variant
wikiPageWikiLink
Partial_correctness
.
TLA+
wikiPageWikiLink
Partial_correctness
.
Partial_correctness
primaryTopic
Partial_correctness
.