Matches in VIAF for { <http://viaf.org/viaf/153864712> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- 153864712 alternateName "International Conference on Theory and Applications of Satisfiability Testing".
- 153864712 alternateName "SAT 10 2007 Lissabon".
- 153864712 alternateName "SAT 2007 (Lisabon, Portugalsko)".
- 153864712 name "SAT 2007".
- 153864712 name "SAT".
- 153864712 sameAs 6065066-7.
- 153864712 type Organization.
- 153864712 seeAlso skos:Concept.