Data Portal @ linkeddatafragments.org
LOV
Search LOV by triple pattern
subject
predicate
object
Matches in LOV for
{ <http://acm.rkbexplorer.com/ontologies/acm#F.3.1> ?p ?o. }
Showing items 1 to 4 of
4
with
100
items per page.
F.3.1
type
Class
.
F.3.1
comment
"
See also #D.2.1, #D.2.4, #D.3.1, #E.1.
"
.
F.3.1
label
"
F.3.1. Specifying and Verifying and Reasoning about Programs
"
.
F.3.1
subClassOf
F.3
.