{"entities":{"Q5039522":{"pageid":7069099,"ns":120,"title":"Item:Q5039522","lastrevid":56670750,"modified":"2026-03-18T15:27:07Z","type":"item","id":"Q5039522","labels":{"en":{"language":"en","value":"Verified certification of reachability checking for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600834"}},"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":"Q5039522$F4FD031C-A413-46F2-8E3D-B64D2ED4CDC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"358a5fa9438ae874a09f1fee1a66844ab8ca0aac","datavalue":{"value":{"text":"Verified Certification of Reachability Checking for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039522$241F76ED-AA81-4FB2-AF2B-7BAF59E76489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08d3cf14dc3cc540a00d61c06753b906df064849","datavalue":{"value":"10.1007/978-3-030-45190-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$A3715FA2-5FE5-4164-9037-7D9A6F598453","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":"Q5039522$E985A90E-AE91-4267-8875-50F34459209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eafee29d8d2e1a80ee8aca2355153af2ac1a58d1","datavalue":{"value":{"entity-type":"item","numeric-id":5039521,"id":"Q5039521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$51D1CBFC-B283-4111-AF2E-2E665BE4D84E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$D58FDC2B-31CF-4A8D-ADE5-BDB532CB167E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039522$8721CD48-BAA4-49DD-B9E6-094389783BFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$60C187EC-F043-4097-B32B-5047C33475EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$C6EA207F-B95A-4276-97D0-1BB3EDF441CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$B192B239-8DCC-4530-82EB-161289B05F90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52ddf109a4ce62f9059eb5b543b4c9987ef10e1d","datavalue":{"value":"7600834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$F7A58691-E240-46E4-839E-29ACD40B2AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039522$FC8C7A98-7DF9-468A-BD84-D65D92CA3341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039522$F019E85E-5D12-4B63-A524-6D77A72E86D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039522$3A831080-6B0E-46A6-A14C-EE1FAC5268C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039522$D92712B5-8241-4A7C-8C07-A3DAEB1AC034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039522$486E38C8-1030-4483-BC62-5A15D0E02D98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$044C23C8-2701-4A15-8A5E-57B91C5DDE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$FF0C0FDD-5C1A-477D-8DEF-4BC14DACED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$0313BCD3-6B23-41C7-BE12-F08E5FC8BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$E0465967-A735-4CD8-AD3A-C48F9CAE4DD6","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":"Q5039522$8447AE5B-13C5-434A-9C90-BB0A8E093A70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86cc481e0797c137b2d6bad3c70faf5af25683f2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45190-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039522$AAC47ABD-7EF7-4F55-B60B-6D197B3138C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e6614f00ce4a0778e36496304fa28d68bb5ae3c","datavalue":{"value":"W3016645482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039522$EB33F98F-222C-4FA0-BF63-33E3A12402DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$7537DEB9-3A5D-49CB-A65D-04F4BB5069E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$00D221D1-CDD5-43D7-878D-B69DBB76C66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$1A0A7534-A185-45D7-B486-5459A950D82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$87E40783-1AA5-4988-A983-5CD573CFDF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b9c6c60f3db2907a04f9c3b63c103f4fca17c6","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$132C4217-D6F3-4C7A-A512-4AACD1A4177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$852CFD6F-9412-4478-91FB-E21FA373CDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7706d66b127824818f0fd5a4653a76fbc0b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2842665,"id":"Q2842665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$3DA5A733-4A3F-489F-948F-2C02BE3737B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5254fb6cb68e95e9b114ff1452e0ee53f207bf78","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$3FAC6E7E-ED3C-4A03-8933-E245D60F8794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777c93f7c45abcc6154dd449e5682ce90ecf968e","datavalue":{"value":{"entity-type":"item","numeric-id":4636598,"id":"Q4636598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$587863FF-1654-4B41-83BB-1D720E5A4D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea67b034c9d80ead8fad28f48b3dbaa7da33e9e0","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$864C71A6-79A2-44FC-AE1C-3D2A5AC9979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$7150666A-7E54-4A0E-8CE3-A8A42CAAB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$457A9CDE-3E37-4C2D-8174-1826DB208EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$9436D702-FAF2-4FDB-9F53-435211C16F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def4fb15aeea8ff95549401959cb535e938075f","datavalue":{"value":{"entity-type":"item","numeric-id":5714446,"id":"Q5714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$889A7295-79CD-437A-9947-832BAE227666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d5db2ff3a98847229e37022afd68316e61b698","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$5FA6DA5E-6F57-4FC2-8299-A09FFCC64312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111d42cc5a23c6cb1c04a62e5204515d981e5188","datavalue":{"value":{"entity-type":"item","numeric-id":2829277,"id":"Q2829277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$C1F35FB7-829B-4633-B92A-396C105D163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abc4c653f1a49315933e87e0214c05e6687fccf","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039522$CFD23E22-D845-47A0-AE3F-BDB48B78E6D0","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":"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":"Q5039522$F6464593-047A-4072-A985-FFC07DE1DF6D","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":"b5fd79617a158c21da370a20e505042b1e27e705","datavalue":{"value":{"amount":"+0.7783752083778381","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":"Q5039522$DB99F85D-FE0A-4CB4-AD03-8079E54B5F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8256847b889789455af3f6ea8a0ab2ee89b593a","datavalue":{"value":{"amount":"+0.7769761085510254","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":"Q5039522$2CAC6E66-8572-4A3D-8AEE-C87C7F5A69B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0aee5b4f29f901dda6bec6856b8283360bcf247","datavalue":{"value":{"amount":"+0.7712924480438232","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":"Q5039522$22E6CABF-FB42-4553-AC1E-39556F7FAEB0","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":"79a6ddbcc3e740ef2ff3a3f53eb345be56b384b8","datavalue":{"value":{"amount":"+0.769934892654419","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":"Q5039522$B40DE24E-B866-4B3B-9DF4-00ECCC46BC73","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":"Q5039522$9B0AC823-292C-420C-AD4C-36339832F3C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039522"}}}}}