Data Portal @ linkeddatafragments.org
VIAF
Search VIAF by triple pattern
subject
predicate
object
Matches in VIAF for
{ <http://viaf.org/viaf/132042863> ?p ?o. }
Showing items 1 to 5 of
5
with
100
items per page.
132042863
alternateName
"
Workshop on Theorem Proving with Analytic Tableaux and Related Methods 2 1993 Marseille
"
.
132042863
name
"
Workshop on Theorem Proving with Analytic Tableaux and Related Methods
"
.
132042863
sameAs
2130610-2
.
132042863
type
Organization
.
132042863
seeAlso
skos:Concept
.
