{"entities":{"Q1028970":{"pageid":1030818,"ns":120,"title":"Item:Q1028970","lastrevid":66583701,"modified":"2026-04-12T11:06:20Z","type":"item","id":"Q1028970","labels":{"en":{"language":"en","value":"Bounded model checking for knowledge and real time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576707"}},"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":"Q1028970$5F173268-131F-44B7-93C6-044715A24809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2b497d429ff043c15104b53da774fe932db9c3a","datavalue":{"value":{"text":"Bounded model checking for knowledge and real time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028970$BEFB927B-BF30-4C3F-A91C-FEA4D6CCC499","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7af41d1c9246ad109203c8ee891086f37280e29f","datavalue":{"value":"1168.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$A17A277B-35A2-4CDD-8652-289B3CA96B49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$3C61DE87-7927-496B-814F-2AA8D3A3F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$FD950876-6EE1-457A-9017-D622493D8BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$5C6C92AF-3059-43C7-9CD9-C809F7616AF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$5976FCC8-ED2F-4E49-B567-AD78CB01A03E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028970$C97C2866-76BA-450A-BFFF-4895917169BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$FEFC435B-70F7-4C34-A78E-2C426E80B47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$73C5CB07-F588-4166-82B8-457BCE1C753C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc247df28b30e551edc24b7d4d37cc2fbaf16ac","datavalue":{"value":"5576707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$F81AD723-C612-4569-B76B-71E16FC5A56D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8709f65fb3a7ca73ea643c1d576e05e987540d1a","datavalue":{"value":"temporal epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028970$38066C90-7B94-419A-8E79-AB892018A8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028970$BCDB97E2-2831-4171-B9B2-F6CE35A0A9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68171fbf1c967f5e2254d14fa162c1ad9a588676","datavalue":{"value":"interpreted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028970$0B6E3CD9-5E18-4586-9EE3-988A8E6D77E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d7f6844b2398cf1ed076ffa254bf0eb74daabc","datavalue":{"value":"real time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028970$6634BECD-29CB-4BA1-BA50-BC9881B98977","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$31A34E86-32BA-4E85-8E5C-B06C4CCF950E","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":"Q1028970$FBB7370C-0AF7-438B-BE85-DEA979F96908","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":"Q1028970$2AF21735-CA96-48B9-9DA2-AF9AAC17A7D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"481f95e04df29483ee4753ffa5e54e19bfdc9435","datavalue":{"value":"https://doi.org/10.1016/j.artint.2007.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028970$88EF1F73-FDAE-4236-8B39-BBB549464EEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bd2d27b4480940b2f5f9c03570c7dd2672dede1","datavalue":{"value":"W1971809028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$6E3030E4-6421-486B-AAB2-DBC556338F89","rank":"normal"}],"P223":[{"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":"Q1028970$AF45C908-7735-471D-8804-C78F3DC0DE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$3132B1DD-FAC2-46AD-8035-15F2D80643B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93883db00833e89e855c8e92c4e962692b3eeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$17C42E39-4CBA-43A6-B519-F01D6B8C0C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$0C83796F-56A9-494C-9467-435C37B2CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef79274f5927ffd9966b65ca7a47a43a880fe257","datavalue":{"value":{"entity-type":"item","numeric-id":4377591,"id":"Q4377591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$B5E61976-A3A3-4C22-91D2-FAD5EE668916","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":"Q1028970$4BD1C3C1-2B49-4743-81E8-64A95635B592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ff97c48cb2e0abcfaa5a609e52f4533db7b02","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$63315C6F-CB0C-4343-B821-294885884020","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":"Q1028970$4F4D9BAE-5784-416E-90DF-FAE707654E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$A26987EF-DAB5-4105-A8F4-BC82471A146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$2292D499-6027-4AB2-9C27-253B19782A38","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":"Q1028970$8BF24136-1AB2-4C58-8C11-BA882ED7E8D1","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":"Q1028970$000A1AE7-3AD1-4621-985F-155837AA5162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b502cd2fe09ee2d9cf3529d4e50b8fc507e7d","datavalue":{"value":{"entity-type":"item","numeric-id":1420804,"id":"Q1420804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$FE858B8F-FC0C-49DA-BB45-B92EB6E186ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$DD2206D0-15F2-4662-A505-A731BEAF4CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99406d89a43b9294273edf86b67433054b32067","datavalue":{"value":{"entity-type":"item","numeric-id":5361421,"id":"Q5361421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$F81261D6-4CB6-4910-B4A6-785A33FF863B","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":"Q1028970$6FEFC9B6-6897-4D6D-8C5C-8ACA4F2A3B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$4DDEFCB4-D116-4900-9F7A-039806288BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e01f63a4d6aa737a5a25554642bd7c28e5fa29","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$AA280F0B-56AA-4D78-8ADE-58DA4E8E9F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$36471DB6-06F7-4941-884A-DDAE47F041E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$BF2FB5FE-0F68-40D4-BAF7-67237DAA7998","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":"Q1028970$C6657ED8-06AA-48D5-A47B-F5A910BD6827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a561ea5d3c712d8c4918f50b9db6f8fad2ca0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4654277,"id":"Q4654277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$17E64C82-44D9-4B36-9286-A6BB7EA209CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1da351cb9d50ccc5d1eec4c705e9e2d749f2da","datavalue":{"value":{"entity-type":"item","numeric-id":5706835,"id":"Q5706835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$22808E75-FDA2-4AB2-BCA9-40546BF9B528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507389a3432eb006973aea7c583263134bb0d8b9","datavalue":{"value":{"entity-type":"item","numeric-id":2848072,"id":"Q2848072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$1DB8B363-432A-492C-8C59-7F0755C0C47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f2a59e42ae9865cf9321ed4c9f582ba322fba4","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028970$AE8486D2-A324-448E-8FEF-474D309E9D7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"026bcc368efeded1e825904e4601c7896b9e100c","datavalue":{"value":"10.1016/J.ARTINT.2007.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028970$D9154843-EEB1-4AC9-B082-AB1D789F4FA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a36008f0a0de0bd133a80e1d178686dd44d3c6","datavalue":{"value":{"amount":"+0.91732013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$B0779F88-20B7-4CD0-8D4C-4F53E17521BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f2888a04c22de2cbdc3c77ef029b327603a931","datavalue":{"value":{"entity-type":"item","numeric-id":3016942,"id":"Q3016942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a603d82f1f1307658ae33c566eac73cd5e693bb7","datavalue":{"value":{"amount":"+0.9149176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$1A755D85-F1DC-4327-B2BC-EC9EB3A0869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f9ab62d1b096ccff54a71e149b1a36722b88c8","datavalue":{"value":{"amount":"+0.90887797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$EC0781F5-5DDA-4FF6-B782-A5BCAC9AE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46f53cd2df7680a56b8fa158d62b7767035abcc","datavalue":{"value":{"amount":"+0.8978228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$4D3A189D-C25C-4625-82EC-3AAB2273C62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3532511a48213ac1c8c08df5a7d4ab82d3d56e8","datavalue":{"value":{"amount":"+0.8974905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$BDB66970-6D88-4F55-8994-C340C59D81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fff0f5faa194e27cef46a6ed8dea84b9f46e90d","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81191a7dbc07ec67820f22317f0666b1a5fe9260","datavalue":{"value":{"amount":"+0.8965201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$550D13E4-7EFC-4ABE-B6C1-693EADFC3326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3cc3b923a243e5132724001aaad3d3f1e99747","datavalue":{"value":{"entity-type":"item","numeric-id":3431037,"id":"Q3431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa03508000bea1ddaba1957ec957f52eda8eb400","datavalue":{"value":{"amount":"+0.89636356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$44A86A0A-1DBA-4CF2-B0D8-B6E3D4406A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cde50ab579e473cf177ac1b4381b9ba5322d948","datavalue":{"value":{"amount":"+0.896063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028970$3397A9D9-8178-4BD0-A3E2-C4AFAD14A587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded model checking for knowledge and real time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_model_checking_for_knowledge_and_real_time"}}}}}