{"entities":{"Q2842852":{"pageid":2853572,"ns":120,"title":"Item:Q2842852","lastrevid":51801878,"modified":"2026-01-20T03:01:32Z","type":"item","id":"Q2842852","labels":{"en":{"language":"en","value":"\\textsc{Zeus}: a distributed timed model-checker based on \\textsc{Kronos}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199168"}},"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":"Q2842852$B820778D-1E3C-4746-90F1-EE95F167F01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"136f26c4027b697e9a853874b487c9ae1e5e3856","datavalue":{"value":"1270.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842852$CBE31AFC-3B0B-4A43-AB37-B362A17438A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83716d21734740c6776e0a75345f022d3d27415","datavalue":{"value":{"entity-type":"item","numeric-id":2103711,"id":"Q2103711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842852$19F0A3CE-4939-4FEB-AA3E-5566D10A8A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59abe5351e67bf7dcb0dc1ea707537a2ac34745","datavalue":{"value":{"entity-type":"item","numeric-id":2431765,"id":"Q2431765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842852$95C933E9-7674-4686-BB65-2154B8AAF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395540467e97c6dc3353c3e6d0d7043e449a81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2431766,"id":"Q2431766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842852$FE4C2207-3C23-4DE5-BD92-F97E49687290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-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":"Q2842852$6005EFFA-09C2-43D5-8EFE-EC94177E3365","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dedbfe675ac9d09450b3d055a1fe35452e2375f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105803895","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842852$2FF50641-B224-4B29-AD11-7244ECFE6616","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842852$7D02F343-1669-41EA-94E8-5BB74241F4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842852$E05EDAE5-C8D7-4087-8FAF-712EB6EAB8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842852$1FB85683-2CD2-4FBC-ACD7-E7F1A3AF47DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a36c03d7b76e68d66a0ffda63820f96fd7b242","datavalue":{"value":"6199168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842852$C762D17A-9B6A-4E29-BA8E-67F9220629E0","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":"Q2842852$FE022EC4-E793-44C8-98F9-20448380E2E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0c8e4acbd631d513acc05877a871b85ffbc1aef","datavalue":{"value":{"text":"\\textsc{Zeus}: a distributed timed model-checker based on \\textsc{Kronos}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842852$94F5D360-C2C9-464C-B967-ADE931FCDAB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295abda491d7422d71174c37458f86d0d9c409ee","datavalue":{"value":{"entity-type":"item","numeric-id":2848144,"id":"Q2848144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a71271d846cde14beb3ac29ec551379e3931a04","datavalue":{"value":{"amount":"+0.8569570779800415","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":"Q2842852$98DE07AA-B4A3-4F54-A509-EB648A7212D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49562ef11a0db1241e19327ec70ac6b42fb460e7","datavalue":{"value":{"entity-type":"item","numeric-id":2431767,"id":"Q2431767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b557dd1d4ee8536cf7b12d7bb1f29e2f3575cfad","datavalue":{"value":{"amount":"+0.8490344285964966","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":"Q2842852$CE0F126B-A923-4C21-9F10-B5381FAC3266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de7112197e941efb68e6dad45ef22f08ab586f0","datavalue":{"value":{"amount":"+0.7515795230865479","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":"Q2842852$3524026D-B855-4189-A049-031BBF444FC5","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":"fb016515531561fb1989af40ba80cbdd4016bbdb","datavalue":{"value":{"amount":"+0.7255656719207764","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":"Q2842852$871582E7-DF7B-49E5-B65F-8F9A0FDED22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75321cd2e5d68c3a006620d66b072cbdb58200d","datavalue":{"value":{"entity-type":"item","numeric-id":5897957,"id":"Q5897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4587f0b3798f5b12da04c0a8499645106690ac","datavalue":{"value":{"amount":"+0.722246527671814","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":"Q2842852$E55A203F-7EE9-4883-96B5-62DD8259D62E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842852"}}}}}