_:vb7032675	<http://www.w3.org/1999/02/22-rdf-syntax-ns#value>	"It's easy to prove partial correctness, but it's not obvious that it is also totally correct."@en .
<http://kaiko.getalp.org/dbnary/eng/__ws_2_partial__Adjective__1>	<http://www.w3.org/2004/02/skos/core#example>	_:vb7032675 .
<http://kaiko.getalp.org/dbnary/eng/__ws_2_partial__Adjective__1>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/lemon/ontolex#LexicalSense> .
<http://kaiko.getalp.org/dbnary/eng/__ws_2_partial__Adjective__1>	<http://www.w3.org/2004/02/skos/core#definition>	_:vb7032674 .
<http://kaiko.getalp.org/dbnary/eng/__ws_2_partial__Adjective__1>	<http://kaiko.getalp.org/dbnary#senseNumber>	"2" .
_:vb7032674	<http://www.w3.org/1999/02/22-rdf-syntax-ns#value>	"(computer science) describing a property that holds only when an algorithm terminates"@en .