Matches in Wikidata for { <http://www.wikidata.org/entity/Q3046220> ?p ?o ?g. }
Showing items 1 to 15 of
15
with 100 items per page.
- Q3046220 description "assistant de preuve basé sur le démonstrateur TPS" @default.
- Q3046220 description "perangkat lunak" @default.
- Q3046220 description "software" @default.
- Q3046220 description "ソフトヱヤ" @default.
- Q3046220 name "ETPS" @default.
- Q3046220 name "ETPS" @default.
- Q3046220 type Item @default.
- Q3046220 label "ETPS" @default.
- Q3046220 label "ETPS" @default.
- Q3046220 prefLabel "ETPS" @default.
- Q3046220 prefLabel "ETPS" @default.
- Q3046220 P31 Q3046220-30275419-48e9-cfcf-06c2-e12e85956e61 @default.
- Q3046220 P973 Q3046220-c3f095a1-4432-35f1-946b-bf8543ba01c7 @default.
- Q3046220 P31 Q7397 @default.
- Q3046220 P973 tps.html @default.