{"entities":{"Q1395689":{"pageid":1406429,"ns":120,"title":"Item:Q1395689","lastrevid":81391646,"modified":"2026-05-06T18:24:52Z","type":"item","id":"Q1395689","labels":{"en":{"language":"en","value":"How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944902"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$E32EAF02-126A-4DC8-A49A-4643ABD8BA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91d3ac25e0976aeaced3c389ba95f8cbd72c984c","datavalue":{"value":{"text":"How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395689$6AB3E283-694D-446E-8712-9CACCA5A3CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7efd14cb33dc09ca252cc0d2d07ee488ab1881","datavalue":{"value":"1033.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395689$9D30EDA9-D355-4E3D-BCEB-291198610635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b96355c96d0c75aab1637ba985a5a8de5b680f08","datavalue":{"value":"10.1023/A:1021758401878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395689$6843E2CA-FA06-411A-997E-02C9C2FB9198","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$E4FA5244-6276-4702-A94C-F397306EA98C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$577C2819-3BD1-4A96-9630-2BE57789EF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395689$C6DB7D8F-40E9-4A97-85C3-6C2FC84AD9DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395689$47B1387B-D3D8-4F22-8C1B-0A567762430E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5995aabc0b89f0a7240c18ae7f8c81859f213a68","datavalue":{"value":"1944902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395689$41617418-AE9D-45AE-831F-0108A21C5F40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395689$64095719-364A-4DCC-817E-B1D23E0C1BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395689$690E22EF-BCBD-49BD-9A6F-122781D91DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395689$8F5440EA-318F-4A61-B0CC-C27253FF8E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ed48111d574f54b8d2bf5f207bca7987bb3929","datavalue":{"value":"Uppaal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395689$EFFF0038-A18A-4CF8-B609-6EFE92A34419","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$48120D81-A573-4567-BA48-6EF8D5183538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$F85B4C04-17F8-4434-A9B9-2AA86F38E2FD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395689$C3A906E8-F3DF-4629-B0F2-DD70417589B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"932f986925a5c02f2edd9368f49478f229714003","datavalue":{"value":"https://doi.org/10.1023/a:1021758401878","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395689$FF51E384-BDAD-4C3F-92DD-E7A675CF1723","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c844089cf0a6ddec30037309e0fb79e8edf172fb","datavalue":{"value":"W1568805213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395689$8F5DFCCD-9299-4912-A301-883E0BD78097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3405fd5808644c5e96a211cce1a3b5cb63c23804","datavalue":{"value":{"amount":"+0.7971424460411072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1395689$967D184A-3C26-4332-B5E9-CECD824E7BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eae3263cf97ac54a37c33745518d4b7eef300fc","datavalue":{"value":{"entity-type":"item","numeric-id":2948229,"id":"Q2948229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831f95b1c55b584f4bcd2b0c71ab0add93f92271","datavalue":{"value":{"amount":"+0.7840341925621033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1395689$F1499231-A6C9-42AB-A8ED-8269EEE95E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce00600158cb1b418188a68755ac7c8024dea8b5","datavalue":{"value":{"amount":"+0.7814093828201294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1395689$FF80B16A-E5A6-4BCE-8BEC-6EACE1D3F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f8406ae4842e2a0ce39af86fda7a5d92afdb98","datavalue":{"value":{"amount":"+0.779227077960968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1395689$975669B7-8E55-4F54-A5AB-E43CE14115F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324c3b6d0b658fef4bf6b7162780f75d8ad0570","datavalue":{"value":{"entity-type":"item","numeric-id":5480168,"id":"Q5480168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25bdc77efc856fafb57213e32c69d53cd6ed54f","datavalue":{"value":{"amount":"+0.7788083553314209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1395689$DA1CC2F1-E24B-4101-AF1B-F57E21DE4B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study","badges":[]}}}}}