Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Smt2_(file_format)> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Smt2_(file_format) wikiPageID "46821479".
- Smt2_(file_format) wikiPageLength "74".
- Smt2_(file_format) wikiPageOutDegree "1".
- Smt2_(file_format) wikiPageRedirects Satisfiability_modulo_theories.
- Smt2_(file_format) wikiPageRevisionID "664395737".
- Smt2_(file_format) wikiPageWikiLink Satisfiability_modulo_theories.
- Smt2_(file_format) wikiPageUsesTemplate Template:R_to_section.
- Smt2_(file_format) label "Smt2 (file format)".
- Smt2_(file_format) wasDerivedFrom Smt2_(file_format)?oldid=664395737.
- Smt2_(file_format) isPrimaryTopicOf Smt2_(file_format).