{"entities":{"Q2226964":{"pageid":2237707,"ns":120,"title":"Item:Q2226964","lastrevid":53929481,"modified":"2026-01-25T23:00:54Z","type":"item","id":"Q2226964","labels":{"en":{"language":"en","value":"Mu-calculus satisfiability with arithmetic constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308240"}},"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":"Q2226964$19627A98-7BCA-41BB-B0DF-A49EE9CCCDB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53dc423d5d5527cbb2fff50d5fc40623e8e2c585","datavalue":{"value":{"text":"Mu-calculus satisfiability with arithmetic constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226964$E7CDF3E9-BD1F-40E2-8A17-71C47BE9C4D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774fd628c2d2788381079315938bf122241fe7f5","datavalue":{"value":"1467.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$DA6FD7D4-4CAF-4117-828E-B11E58E858C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99c677ee27e6699d133c713f23b35ea195104e6f","datavalue":{"value":"10.1134/S0361768820080137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$DC44E10D-A637-4307-9D00-89B7D5F59B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f22f62e758e79e11684124cf51b26ad8c6a919","datavalue":{"value":{"entity-type":"item","numeric-id":2226961,"id":"Q2226961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$82612FC5-9968-4121-9E23-979771C7AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab1042abd1c85852a7b5e02c97fa5b89dcca6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1744426,"id":"Q1744426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$F9DE0AC1-009D-4EB7-9191-268FDF7E33E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e508665861c215368fc9a74366b85a6d984ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2226963,"id":"Q2226963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$D7F2EEB2-002D-49D5-A2F9-B9DF2A9C636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"756836eca507f2c0237bac3cbb65cb215a87134d","datavalue":{"value":{"entity-type":"item","numeric-id":2133431,"id":"Q2133431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$B2526246-50FC-4989-8FE7-275E61C0C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95eb283b7819ade510d6e374387fcf95ab54397","datavalue":{"value":{"entity-type":"item","numeric-id":1744427,"id":"Q1744427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$2C6AEB83-E936-4384-BE37-328BB23E033D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$D26FA5F3-C935-4E19-BA06-CD3A391A0D0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-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":"Q2226964$D8982572-7605-4A9A-87AF-714C52DACF59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$8970E86E-49E6-4CD7-8418-AFAF21F9E65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$A5206778-DB8D-4813-961B-9A76F45BC3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$DA747BDC-8E89-46E8-8E65-1A8C7BFCEB8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67260bf73e11076258b6d15f3979879807493522","datavalue":{"value":"7308240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$C0E202A2-719E-48EE-A2DF-D3B3F8AE0A82","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":"Q2226964$904019E9-A650-4495-B451-A7F82A81CD1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed1d5d70e3773d446e8bb2fa68e0db6b1a2ebc6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$B5FE9F2A-4CB7-4C47-A72C-12BAB662FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455608804728f3c69bb4021a4b864b3d2ba6c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":4979448,"id":"Q4979448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$149F07E2-1522-4F02-B810-570DF77821B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$9C77B3C9-AA7D-45AF-852D-4D7E7D48D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ecda2530a74fd3b958fc170aad75894016b80e","datavalue":{"value":{"entity-type":"item","numeric-id":3541720,"id":"Q3541720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$7FBB6824-E4E7-4033-9BE9-4362C516A9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9927d0df3bf5e2986726e23eb5f1317252d1b4","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$085468F8-DF6E-4677-AB17-588AE1425AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23d4161e9624fd245ca47a482d0c764276d755","datavalue":{"value":{"entity-type":"item","numeric-id":1403246,"id":"Q1403246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226964$4F885B09-9000-44C1-878F-8DE3FB167E72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"140f2255e94744e59b4bcbc0184b020113c50deb","datavalue":{"value":"https://doi.org/10.1134/s0361768820080137","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226964$C7908796-C694-4FD8-A5FC-839C8A82F7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7819a32b7c4d0dc9fa196aaafbe35dbb1908635d","datavalue":{"value":"W3117776591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226964$3AE74E7A-63AC-49D5-95D1-70FD6A1E11C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348114fc829b506bcafd88dc802fcf28e5929343","datavalue":{"value":{"entity-type":"item","numeric-id":2957698,"id":"Q2957698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd01b912396c863df134a197c12e704cb2f3b33","datavalue":{"value":{"amount":"+0.8260905146598816","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":"Q2226964$AD27CFAB-583B-4B7A-954C-FE3705FFEB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ec51e3e83f75022aa7eb480e829195dc955316","datavalue":{"value":{"amount":"+0.8042452335357666","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":"Q2226964$41522DBB-B38A-49F2-91C9-8A76A0633F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ec51e3e83f75022aa7eb480e829195dc955316","datavalue":{"value":{"amount":"+0.8042452335357666","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":"Q2226964$4C96C296-806C-4724-8C0E-A18609A5AA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb48d739cab2ffa5c7f9ad2a59a1926012689ab","datavalue":{"value":{"amount":"+0.7890497446060181","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":"Q2226964$293D7D00-96F2-482B-B782-5B1A57C85B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3eb7f697388da7fd237080f45f3bba040b4c8d","datavalue":{"value":{"amount":"+0.7885587215423584","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":"Q2226964$99FCF1E5-533E-4D2E-A01C-25BFF7E55EEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226964"}}}}}