Matches in DBpedia 2016-04 for { ?s ?p "Mathematics-Mechanization Platform"@en }
Showing triples 1 to 7 of
7
with 100 triples per page.
- Mathematics-Mechanization_Platform wikiPageWikiLinkText "Mathematics-Mechanization Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform wikiPageWikiLinkText "Mathematics-Mechanization Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform name "Mathematics-Mechanization Platform".
- Q6786887 name "Mathematics-Mechanization Platform".
- Mathematics-Mechanization_Platform label "Mathematics-Mechanization Platform".
- Mathematics_Mechanization_and_Automated_Reasoning_Platform name "Mathematics-Mechanization Platform".
- Q6786887 name "Mathematics-Mechanization Platform".