{"entities":{"Q939170":{"pageid":941018,"ns":120,"title":"Item:Q939170","lastrevid":65495091,"modified":"2026-04-12T02:59:32Z","type":"item","id":"Q939170","labels":{"en":{"language":"en","value":"Model checking duration calculus: a practical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314962"}},"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":"Q939170$802129EC-63AA-49C7-B2D6-01C0F00A583A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a13f21661b327a52ec980e7529983a1921682935","datavalue":{"value":{"text":"Model checking duration calculus: a practical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939170$AE7879AC-81FF-468F-9317-E01EC9FC091D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2028bd9d6f8268799c0fe70846f2b57e9c5a00f6","datavalue":{"value":"1151.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$FC1A5F33-2BBC-4D0D-8D87-710CD5B5D6F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$DF53EADA-6755-4DF8-8521-4411DCBDEBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb96d518e8eac667055e4e5d7caca6b7268f5a80","datavalue":{"value":{"entity-type":"item","numeric-id":939169,"id":"Q939169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$409D844D-1598-41F0-A0F9-42F92448D881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$67D1592A-F739-4532-A8DE-0CE4ED7F1EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$888CE612-F5BD-4F00-980F-77BAAC69FE17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$9C786064-320A-412D-A022-4F40D0D04F93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf47d86a87dfc936a87ed03391c6206ce3dbddc","datavalue":{"value":{"time":"+2008-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q939170$3C7DB062-BA44-4911-A2EB-48463F03F7EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$BD7D589B-5924-42F9-833D-3F9702BC11DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$CD9BFF8D-4794-45F1-AD4D-DC5439B8F53F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e83dd64327e5cb182cc550f1b327376717226f2","datavalue":{"value":"5314962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$93C95DE4-4128-4154-ABE8-4AB4E536E850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$7E5064B9-76EC-4DBE-A53D-56AA0D9B6225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$1305DD0F-8CAF-4978-AD3F-3894B72FA415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d74ddccbeac3886fe95dddaf952da68f78d39c6","datavalue":{"value":"Duration Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$B1E47E86-5818-4B05-84F9-B0F5D2C14B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$30CFEC3E-2934-4E3A-898E-5C1F90A2703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$20AF6A0B-115F-4579-9AD6-C694B4538849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec4d3f767273be1337e6d52166d24c6fd456387","datavalue":{"value":"European Train Control System","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$6488AC81-FAAD-4BE3-9682-862B5B8687FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350c08567b2b5810fed2069819c4bebec5269862","datavalue":{"value":"Case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q939170$682DC741-30F4-4FD5-9379-BCACEEF3EC0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$5E322156-013B-44ED-94EE-41762518ACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$A33286FC-3437-4251-8E4D-A3D47C4990E3","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":"Q939170$2B1B3D7D-138E-4FBD-8944-EC9C345B5E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$5F552D40-93E1-46D7-BADF-8AC64E05B247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"951511f823371c22a0dc91223011113d3044b6ad","datavalue":{"value":{"entity-type":"item","numeric-id":32235,"id":"Q32235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$0CE3944C-66B7-4222-96C6-2C4EE95EE294","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":"Q939170$3CE4C25E-FBD4-40C6-8D13-F478B3EE0136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5244296154cf81fb6614b77845bb56bbc0f6ea7c","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0082-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q939170$3276BE03-2845-4AFB-BACA-8FB6CFFE0643","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2af53e21f2557f0d84733926ca510b6aa0fe3e91","datavalue":{"value":"W2138362538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$E8AA6E32-5BF6-4D39-9ABC-345F4D7FE628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$3A47B7C4-3836-466A-8398-BC92D72539C5","rank":"normal"},{"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":"Q939170$4E1EBA15-E891-422A-BDEF-B523EEC4641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7f8ca75dde8d53e108a39bb964ccd4254ac96","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$6C92ED33-13D6-4095-B8BF-3D03B0396BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$27A0270B-FDBF-459D-AEA8-B456DC3DF7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$DFCD7365-D8D3-452E-AD2A-B071CEF66823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833599efa37bd23a9a3d29533c59089a3c657967","datavalue":{"value":{"entity-type":"item","numeric-id":5392302,"id":"Q5392302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$543A459E-D2EF-440A-B34C-5203A82B602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed226340896f6f1edb9acffcad75c449a446a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758112,"id":"Q5758112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$3CD300F3-B4F6-46C6-9283-F30925C5BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65e2a392507335149429c896dcea59bd699329","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$D4315F0D-8A54-4388-848D-29A3B0A826A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72d1609322f3a3879477ea3b5ea2254cff6245","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$57FA332F-219C-4969-AD9A-CB34758DAAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$1D3F1B5F-A766-46FD-AB4F-AFF222080101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367d562990b76b4d54a1ba3e42be0034cb0ebd91","datavalue":{"value":{"entity-type":"item","numeric-id":5716897,"id":"Q5716897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$52220F50-06C2-47DF-9D58-C626040D1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe02f6c1a0c23632b2650813603fb3c2693054b","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$4CB6E93B-EBB0-4127-95FA-0410437D2E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$2078904E-819B-432B-B174-27D31B1BA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e0ca385a94811def90eea29a7298e09b2931d5","datavalue":{"value":{"entity-type":"item","numeric-id":5897790,"id":"Q5897790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$06BD1A86-6FA8-4E00-BC39-07FB3F1EC1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$45EEE9E4-7F8B-4B45-8E24-1DDB78ED45C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e9a97e365d38979e4f1fc8440770be07509db","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$61C1AE68-CA18-4E1B-B063-4C179C04CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fed2022a2db8f67a68ca07658c94cef7445938","datavalue":{"value":{"entity-type":"item","numeric-id":2842590,"id":"Q2842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$DC6DB4E9-EA4A-4561-ACF7-BD7734B055AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f549721514c0c51cc7c63b69641abbab2bcc11","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$F3C7D66D-9907-43B0-91B9-55430467CDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$DB4B4CF3-A53E-4BA9-9976-5C6D05C35503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$11EABFB4-7D22-4597-B3EC-DE0C54547D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$E1501808-7FC3-4404-821A-25BC8EB83BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a9ad4d889d3380a47b465c17efa91abd3be07b","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$0DAEE60B-3EB5-40AC-84FC-E8FE3176F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$DCBE6620-F660-46CB-9E2D-95188788B618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939170$FD8417CE-1BD3-4FC4-9569-D0915677BF3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"694e48b6a3f6e6197a876bb4c2568eeb4870b942","datavalue":{"value":"10.1007/S00165-008-0082-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939170$75A7FF43-387F-427F-8520-5FB3915971FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddb1dd25312b54ebcb25f4f52cf2f9073cf1e63","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33cd11349ace9cca028f276593ee840dbe12e2a","datavalue":{"value":{"amount":"+0.9869038462638856","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":"Q939170$BA855D3C-BF17-49DB-B962-C47254164824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5201a4e8294b81478660c00b347822c5f5b5960a","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ff9c8a1d9190020f5f71aedc9cc66a667ddb0a","datavalue":{"value":{"amount":"+0.8376986384391785","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":"Q939170$A3BFA161-262B-4412-8604-CFB9B98A3C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5a2758a5f507b2f0dcd4b7e59da0d7393d50b","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb2d9eb68c6b45e7baff129bfdf2137d5712c5a","datavalue":{"value":{"amount":"+0.837547242641449","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":"Q939170$1CE0A516-772E-4BB8-A6E1-14F76D5AF110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5937426ce6aed06b43d4abc59f202933bd2fa85a","datavalue":{"value":{"entity-type":"item","numeric-id":5209966,"id":"Q5209966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d616676c853b4553bab7f6ed4fd19b0fe231c971","datavalue":{"value":{"amount":"+0.8250227570533752","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":"Q939170$D1FD2985-8038-4599-9F8F-DB8581903C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b419e0e91c848df98c41d87bf2df9ba6f378587","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6502ee618473aebf8606f00b49cae45aaca7ef","datavalue":{"value":{"amount":"+0.8205789923667908","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":"Q939170$3818558A-CA9A-4068-B4AA-34363CF71ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking duration calculus: a practical approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_duration_calculus:_a_practical_approach"}}}}}