This HTML5 document contains 6 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
Namespace Prefixes
| Prefix | IRI |
|---|
| dbnary | http://kaiko.getalp.org/dbnary# |
| skos | http://www.w3.org/2004/02/skos/core# |
| ontolex | http://www.w3.org/ns/lemon/ontolex# |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbnary-eng | http://kaiko.getalp.org/dbnary/eng/ |
Statements
- Subject Item
- dbnary-eng:__ws_2_partial__Adjective__1
- rdf:type
-
ontolex:LexicalSense
- dbnary:senseNumber
-
2
- skos:definition
-
_:vb7149509
- skos:example
-
_:vb7149510
- Subject Item
- _:vb7149509
- rdf:value
-
(computer science) describing a property that holds only when an algorithm terminates
- Subject Item
- _:vb7149510
- rdf:value
-
It's easy to prove partial correctness, but it's not obvious that it is also totally correct.