Data Portal @ linkeddatafragments.org
VIAF
Search VIAF by triple pattern
subject
predicate
object
Matches in VIAF for
{ <http://viaf.org/viaf/263105369> ?p ?o. }
Showing items 1 to 6 of
6
with
100
items per page.
263105369
alternateName
"
ITP 3 2012 Princeton, NJ
"
.
263105369
alternateName
"
International Conference on Interactive Theorem Proving
"
.
263105369
name
"
ITP
"
.
263105369
sameAs
1026234727
.
263105369
type
Organization
.
263105369
seeAlso
skos:Concept
.
