Matches in Wikidata for { <http://www.wikidata.org/entity/Q7356780> ?p ?o ?g. }
Showing items 1 to 17 of
17
with 100 items per page.
- Q7356780 description "Software tool for modelling in Event-B" @default.
- Q7356780 description "ソフトヱヤ" @default.
- Q7356780 name "Rodin tool" @default.
- Q7356780 type Item @default.
- Q7356780 label "Rodin tool" @default.
- Q7356780 altLabel "RODIN" @default.
- Q7356780 altLabel "Rodin platform" @default.
- Q7356780 altLabel "Rodin" @default.
- Q7356780 prefLabel "Rodin tool" @default.
- Q7356780 P31 Q7356780-04c60213-4c35-127d-74ab-18812c533d2d @default.
- Q7356780 P571 Q7356780-0ffd52ed-49ca-c638-6465-c14a4e45a91c @default.
- Q7356780 P646 Q7356780-C5C980CD-FDE2-4795-AB67-27CB9538BA76 @default.
- Q7356780 P856 Q7356780-c17a606f-48e3-b03d-51ec-42d2468c64c0 @default.
- Q7356780 P31 Q7397 @default.
- Q7356780 P571 "2007-01-01T00:00:00Z" @default.
- Q7356780 P646 "/m/0g9x5mm" @default.
- Q7356780 P856 www.event-b.org @default.