{"entities":{"Q2324206":{"pageid":2334949,"ns":120,"title":"Item:Q2324206","lastrevid":71844432,"modified":"2026-04-14T00:55:03Z","type":"item","id":"Q2324206","labels":{"en":{"language":"en","value":"Verified model checking of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105312"}},"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":"Q2324206$66307AE0-9FF6-43E9-9AFD-B990E0CBCE04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a66807d2c97aea74e1ab21e44ade8f3572a672c","datavalue":{"value":{"text":"Verified model checking of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324206$315171CB-37E8-4A5C-B7D6-0463DA098D8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2adf27ee8a7a7488075a2b88aaf87815d8c769af","datavalue":{"value":"1423.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$69C416F8-E573-470E-81E9-DE8E4EC6778F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b932ae56f5f66251c2b998fced9c6713d0806e36","datavalue":{"value":"10.1007/978-3-319-89960-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$7FD542C0-3401-4980-BEB1-7F598F827BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6890c325a64399811d448bcc2cf29db1ceaf261c","datavalue":{"value":{"entity-type":"item","numeric-id":1791203,"id":"Q1791203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324206$7B913955-66A4-400E-B142-60DBE276096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324206$CA3A992D-DB18-43F1-9D0C-8CBCF2DDFF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324206$3F8C785C-3374-4436-B42F-C2127C0E98F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$19312A52-2246-42F0-B5D8-63852AB0CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$4FFFCEAB-C94F-4C53-BF42-E93B06CD0116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$635BE158-6152-4AF8-884A-2AB5E27442D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab94c461f4bccf8441ac181b368b3fb6983808a2","datavalue":{"value":"7105312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$995888F3-E43E-4026-A4E4-7057A8E89B78","rank":"normal"}],"P1463":[{"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":"Q2324206$D9E49B3B-218C-44A6-9ECD-CFF5C30F3039","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":"Q2324206$EE70BA57-5254-4E2E-B9EC-582F9BA12CD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69ba14de0e5a221f74f17192e7ca8e55486761e3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89960-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324206$A043E0B6-C715-4917-9963-FC3AC0D008D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a3db23152e2867cae31c8eb0230f15719c8e3e9","datavalue":{"value":"W2796561738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324206$A3E5E8CE-EBDD-4443-8AAF-703203EB5C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64a8b90ae63c0ce3631f797ea242861cce2c36b","datavalue":{"value":{"amount":"+0.8669525980949402","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":"Q2324206$363504C9-2681-43B9-9E73-7E05CCD437AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bcaeb25144e11e1cc54b5e1396ed73acbf0a29","datavalue":{"value":{"entity-type":"item","numeric-id":2829277,"id":"Q2829277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ffe3de271de091ec9a8b4e4095ca182c03a7ad","datavalue":{"value":{"amount":"+0.8451681137084961","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":"Q2324206$04709AA5-71A4-4868-9049-2B9F02954129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d419c711147b5055bec43ddca3c710720094987","datavalue":{"value":{"amount":"+0.8238621950149536","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":"Q2324206$4F301326-473B-42C0-A62E-B646C0FDA186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72df109429ae44d4811bcc4e0472d0f5e9308106","datavalue":{"value":{"amount":"+0.8208319544792175","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":"Q2324206$C9A8FA11-2F16-494D-A882-1928C7257C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e6f4130bb4c24413a6669e0f52ebeb098ca038","datavalue":{"value":{"amount":"+0.8199076652526855","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":"Q2324206$4650011E-C963-44C2-BEBE-27C1EA28067C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324206$ECB3F437-6842-41D1-AC27-C4B5FB5FB734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified model checking of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_model_checking_of_timed_automata"}}}}}