Matches in Wikidata for { <http://www.wikidata.org/entity/Q948666> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- Q948666 description "Spezifikationssprache" @default.
- Q948666 description "lenguaje de verificación de modelos" @default.
- Q948666 description "verification modeling language" @default.
- Q948666 name "PROMELA" @default.
- Q948666 name "PROMELA" @default.
- Q948666 name "PROMELA" @default.
- Q948666 name "PROMELA" @default.
- Q948666 name "Promela" @default.
- Q948666 name "Promela" @default.
- Q948666 name "Promela" @default.
- Q948666 name "프로멜라" @default.
- Q948666 type Item @default.
- Q948666 label "PROMELA" @default.
- Q948666 label "PROMELA" @default.
- Q948666 label "PROMELA" @default.
- Q948666 label "PROMELA" @default.
- Q948666 label "Promela" @default.
- Q948666 label "Promela" @default.
- Q948666 label "Promela" @default.
- Q948666 label "프로멜라" @default.
- Q948666 altLabel "PROMELA" @default.
- Q948666 altLabel "Process Meta Language" @default.
- Q948666 altLabel "Process Meta Language" @default.
- Q948666 altLabel "Process Meta Language" @default.
- Q948666 altLabel "Protel" @default.
- Q948666 altLabel "Protocol Meta Language" @default.
- Q948666 altLabel "Protocol Meta Language" @default.
- Q948666 altLabel "Protocol Meta Language" @default.
- Q948666 altLabel "프로메라" @default.
- Q948666 prefLabel "PROMELA" @default.
- Q948666 prefLabel "PROMELA" @default.
- Q948666 prefLabel "PROMELA" @default.
- Q948666 prefLabel "PROMELA" @default.
- Q948666 prefLabel "Promela" @default.
- Q948666 prefLabel "Promela" @default.
- Q948666 prefLabel "Promela" @default.
- Q948666 prefLabel "프로멜라" @default.
- Q948666 P10283 Q948666-EDEB3CDF-E793-4594-8879-2333E6452C43 @default.
- Q948666 P1195 Q948666-a7d66322-45dd-143b-8d16-ab1cf1dd83a7 @default.
- Q948666 P1482 Q948666-BE916F61-6ED7-4871-AA2D-F6EBAC86A7EF @default.
- Q948666 P178 Q948666-d77c2589-4446-d033-74de-6ddf6c0d06e3 @default.
- Q948666 P31 Q948666-07927aa9-46e9-5d20-86bd-ccc9c465f8fd @default.
- Q948666 P31 Q948666-5353f1a9-44b6-dc47-6e19-cca442b30712 @default.
- Q948666 P6366 Q948666-0F5A51A7-E9E6-4126-B93E-3691CD6B2EC3 @default.
- Q948666 P646 Q948666-50632510-CCC1-4434-B91A-C79B70BF353A @default.
- Q948666 P737 Q948666-4a97ccc9-4ad7-679e-ef22-1dcf60f033a4 @default.
- Q948666 P737 Q948666-b2d3e677-475c-6bf5-f1fe-9a3427a3edb8 @default.
- Q948666 P6366 2776329536 @default.
- Q948666 P10283 "C2776329536" @default.
- Q948666 P1195 "pml" @default.
- Q948666 P1482 promela @default.
- Q948666 P178 Q4588721 @default.
- Q948666 P31 Q1209840 @default.
- Q948666 P31 Q1941921 @default.
- Q948666 P6366 "2776329536" @default.
- Q948666 P646 "/m/02pqjzd" @default.
- Q948666 P737 Q1120460 @default.
- Q948666 P737 Q15777 @default.