{"entities":{"Q407511":{"pageid":409278,"ns":120,"title":"Item:Q407511","lastrevid":61627767,"modified":"2026-04-11T00:34:30Z","type":"item","id":"Q407511","labels":{"en":{"language":"en","value":"Combined model checking for temporal, probabilistic, and real-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6338730"}},"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":"Q407511$03C66CF7-7CFF-4055-B377-D77E9EEEA2FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25a00ac4b7ad4a8f6c5ba7a5a2c48f0c72c37126","datavalue":{"value":{"text":"Combined model checking for temporal, probabilistic, and real-time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407511$32225351-354D-4975-A94F-353F4E82E4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38b3ec15c8dff803c497174298d7cf6216be9317","datavalue":{"value":"1360.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$9001C5CD-F299-4611-8D77-82EE784AF353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$3F2464A7-090E-4BA8-A37F-098EFEC96D9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d0d0cba453ee9297884d6a65b53ea15efc84e68","datavalue":{"value":{"time":"+2014-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q407511$DC010448-BCC0-4978-BDC0-C3335259C99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$9AFB54A7-350A-45E4-9A33-036D6074921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$9BC1DA33-1892-4FC6-B10A-CB1A93469FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$02BA430D-9DF9-4A54-9961-1D9D36FFC034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$9C343F38-A181-4CDA-B595-558160765A9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9794cd3aaa1c1445d0389e0a9fa558f52b7fa94b","datavalue":{"value":"6338730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$9DB568E1-1B9E-4C75-BCAF-861D56A0889E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q407511$00C79956-9918-41FA-8C5E-C1A1F20BE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q407511$8D960399-D2CC-463B-A889-84376F4742C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q407511$AA368D84-7A42-4FD6-86B2-83DC33769185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q407511$6A9241DB-0525-400A-84A4-270EA42A7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q407511$7427EB66-EF74-430E-BF18-0BB5D52329CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$98A42E13-1EE6-458B-8030-AE514E5B1408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$B7D7DD2D-07DC-4627-903F-32C60611DF5B","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":"Q407511$B27C70AE-E131-4A6B-9D83-A94A643414FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6549fb387c9a95d981d057fd45fa82b5301b2204","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q407511$F726CB08-5CEC-4EDA-85A1-B5E6A53FB3C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddf6e4f353163b16eb52a29640d445421f2e5b68","datavalue":{"value":"W2060551079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$39BBAFFC-3991-41CB-A41A-19722AF4B329","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e919c62cfe4907bdb3895d41a0821ea9b0cbc699","datavalue":{"value":"Q98283457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$F3FD9996-B430-49E7-8D2B-7B3396CB5B9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$BC9A3A52-F363-4E88-AD9D-32B4F4B04FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$77D6035C-B039-4E63-82E4-4922073CC0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17202040f1bd9e289c29fe7f13c3f54f07551be","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$A1C0EA24-98F2-4602-B009-5EAC991E43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$F9C1745F-2041-4955-9C23-183E8663F747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$F0AF2D45-010E-4D6E-B45D-25DB54EEB4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$20D605EB-4632-4908-909A-A4ED70EE287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$15669608-264A-405A-ABF5-D61AF17517CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$609482EB-7B3A-459F-BD0C-F9FB71580908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf383d15c60b6519f45de9a83be471ae0a205d38","datavalue":{"value":{"entity-type":"item","numeric-id":2379313,"id":"Q2379313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$0A75DE09-60E2-48B2-ACB5-DFE840C940A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$F3DF6999-F214-4EE0-9755-F5A3869E77B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007fb9d8ecbf561662de071db19edff341db46d3","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$844543C4-A376-49F1-924C-8DE82D0734AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6184ae6db4803581747c5b180c989548286b5","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$FAABBD45-63D7-49A2-A3EC-5F7B3A44E303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$284CA5CC-0FAB-4078-A4FB-0EF1B9A9B87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$D45E8038-D6A4-44CB-9646-E233FFC78434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$DE279639-2EDF-4D38-BD2E-562DE25C89CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a041511c47d305bcbcd84682ece374fd3f55c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1370455,"id":"Q1370455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$6541F20C-054D-4BA9-A2CE-0E3B7323B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee07fcea414848149641cfae6cb148663a511b07","datavalue":{"value":{"entity-type":"item","numeric-id":4215611,"id":"Q4215611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$5AB0D1BA-BF42-4273-B61D-6644764982CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9400cc01acd8cf15c35bfd86fdf50cd37935de6","datavalue":{"value":{"entity-type":"item","numeric-id":4338319,"id":"Q4338319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$FD2429A5-B8C8-4B97-8465-D38E5F0C1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4648fc61d389b6298d43733657642e23e7401896","datavalue":{"value":{"entity-type":"item","numeric-id":4430406,"id":"Q4430406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$DB8B1DF1-EA40-4DC5-886D-CE25516C3C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d266ea7dba03690b29e74dfded7cc44e808380","datavalue":{"value":{"entity-type":"item","numeric-id":4487258,"id":"Q4487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$B1AE415C-2E44-43D9-AF29-5A241B4BA3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$6B9843A6-402D-458B-938A-A87FDDC0A818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$F0BC5687-F278-47F4-9D8E-7D4A7C173E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324ae09f8da2b7cc1214e7394ec6ac51b0ef5367","datavalue":{"value":{"entity-type":"item","numeric-id":3184704,"id":"Q3184704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$DC97EBC6-E1B9-4563-A85F-5EAED4F98CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$CE4993AB-4211-4846-98D1-59E32D5AF6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$11975C10-EA91-42A5-AC7B-27E0447C9F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$3F77C6E3-BD35-4938-BE58-A39DB1EB5735","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":"Q407511$107B0755-B9AC-4797-B562-E29043380024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32586cd7706a361043a256dd059d2f8c8d206dd3","datavalue":{"value":"10.1016/J.TCS.2013.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407511$B839F43D-84FB-497D-A92B-12B0AA68C257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac85871ea116b7f29545dcb6ed5421fbcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":1749167,"id":"Q1749167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$EA810628-9699-4302-A431-8E1E658E2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081ff692cfa31ae371e8cdc5bc8cc37fc96a3d18","datavalue":{"value":{"entity-type":"item","numeric-id":6102168,"id":"Q6102168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$7473591E-7AB2-4B25-B201-44195485974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407511$F10798B7-4AE6-449C-ABF1-101F1474C969","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4948e6d0ab275ded2c0fc277953a0db0be5c30","datavalue":{"value":{"entity-type":"item","numeric-id":2873614,"id":"Q2873614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b571b8c6e19ae590db6e7ad45b5c9d5db9a80f1a","datavalue":{"value":{"amount":"+0.7761377096176147","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":"Q407511$F3E73A3B-C164-4498-92A4-A37365D911B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4939b7e27966dfe497cbeedfd8f207afad288f5c","datavalue":{"value":{"amount":"+0.7681407928466797","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":"Q407511$B4D2CC9D-D74D-474B-B3D5-A45C927D4BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39abb76b0139ee77e167ce5326405d296ecea277","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fb841395ae0082294a61e80df448d92804f734","datavalue":{"value":{"amount":"+0.7654229998588562","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":"Q407511$92AB659C-FACD-404F-9D7E-AF7D67FAF80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a3de433a741aa69a512ff4501f07724379405e","datavalue":{"value":{"amount":"+0.7629003524780273","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":"Q407511$6A4AB546-4A60-4AF8-B3F3-5C9D0E571FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed143ccedf5226989b74f4546d37b2d632abe8c1","datavalue":{"value":{"amount":"+0.7616587281227112","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":"Q407511$1C68E5EF-66BA-445C-AD1A-428BEB9D37F8","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":"Q407511$4939BA32-0500-4D7F-8377-FAF3ADAB6673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combined model checking for temporal, probabilistic, and real-time logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combined_model_checking_for_temporal,_probabilistic,_and_real-time_logics"}}}}}