Browse Wiki & Semantic Web
Http://www.wikidata.org/entity/Q25427593 |
This page has no properties. |
hide properties that link here |
No properties link to this page. |
http://www.wikidata.org/entity/Q25427593 |
http://schema.org/name | Demonstração Automatizada de Teoremas |
---|---|
http://www.w3.org/2004/02/skos/core#prefLabel | Demonstração Automatizada de Teoremas |
http://www.wikidata.org/prop/P646 | http://www.wikidata.org/entity/statement/Q25427593-7BCE49C1-ACBC-4A06-B4C9-68B149BC52CD + |
http://www.wikidata.org/prop/direct/P646 | /m/0_8m |
rdf:type | http://wikiba.se/ontology#Item + |
rdfs:label | Demonstração Automatizada de Teoremas |
hide properties that link here |
https://www.wikidata.org/wiki/Special:EntityData/Q25427593 + | http://schema.org/about |
---|