{"entities":{"Q2165507":{"pageid":2176250,"ns":120,"title":"Item:Q2165507","lastrevid":54384620,"modified":"2026-01-26T17:56:28Z","type":"item","id":"Q2165507","labels":{"en":{"language":"en","value":"Operation caching and state compression for model checking of high-level models. How to have your cake and eat it"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573718"}},"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":"Q2165507$F0DB2AED-1FFC-4756-9694-76CAEF6E5F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0db129ef591337b092a8835eb3cb90e26375fc85","datavalue":{"value":{"text":"Operation caching and state compression for model checking of high-level models. How to have your cake and eat it","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165507$072188E1-388B-4AEA-94A1-443F5BB0FE65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bfa5c6c6c018f97c5408b8b0282be569e87f9ec","datavalue":{"value":"1502.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165507$F11B647D-A7D1-4872-A79C-503C0E9E23F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee0385ab1a935460272249699102a57ef5ee978","datavalue":{"value":"10.1007/978-3-031-07727-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165507$8E46B7AF-F2E0-4DA9-8CFA-5E9FECAAD6E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$AF5CBEEE-8BC0-405B-8A84-557FE960A827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165507$0AB7E7BC-4BFC-466C-973F-30020D0B13C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165507$58CC785E-0C86-4A81-8A2D-280A058B679D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba9112f95bb3338d89a0e6525e42f6007a72401f","datavalue":{"value":"7573718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165507$F566AECD-CC7D-4060-BD9A-025E786F6683","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":"Q2165507$F1092B9E-5FE6-4C53-881D-B554C965E77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3fac79e000697f284a4df9e0baba407d977adb3","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165507$A80C9222-B04A-49A0-AC57-2EF8198E899D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a62188f90c8c93e86b9b7b6bade3e53fb0b37f7f","datavalue":{"value":"W4285251330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165507$3C5CF5EB-9B98-4C4F-8AA4-B7E2567EC8CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$AFE472C3-3F7E-445A-AADE-792D870D44BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$64F0EE55-5E7C-46DB-B163-517CCE7D1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5f03335a6d055ef172303e936468105d24ed178","datavalue":{"value":{"entity-type":"item","numeric-id":3176363,"id":"Q3176363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$AAB58D96-2B3B-4E79-A9BC-C381C2BEADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d30ddf4ad7d79dfd09c6f1678ccfaa559adbeef","datavalue":{"value":{"entity-type":"item","numeric-id":3535366,"id":"Q3535366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$BA4B2353-0E39-4603-8761-646EC96FD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c913fb23e6be8f3a081bd1666691d60ebf32b0d","datavalue":{"value":{"entity-type":"item","numeric-id":622591,"id":"Q622591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165507$1B1CD07B-009B-4337-8BD1-6BBED0E83E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3de86fc868114bd832e78bfc91f701cab4f6f22","datavalue":{"value":{"entity-type":"item","numeric-id":4804926,"id":"Q4804926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289506f6bcb8d40cd079e295410b1aea7a43c1c6","datavalue":{"value":{"amount":"+0.7441250085830688","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":"Q2165507$998D9F77-C5E3-4F35-8367-7B830CB814C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c66919fb262e45d3977362e98242d864363d092","datavalue":{"value":{"entity-type":"item","numeric-id":3066131,"id":"Q3066131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0555d9f02fa3580f76350db2631a383fd499e933","datavalue":{"value":{"amount":"+0.743757963180542","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":"Q2165507$E20A95BF-6AA4-4A12-807A-D51707576AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b23031119db85804c6bf503e136e1f830950199","datavalue":{"value":{"entity-type":"item","numeric-id":5308364,"id":"Q5308364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd97fffa28ae8e99ea7f4db0b7d5527cdb3ee57","datavalue":{"value":{"amount":"+0.7429519295692444","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":"Q2165507$2019E6AF-C803-48AA-8BD1-CAFDFFA1CF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3e85a19d8cfd74e289991cadbea56498301d45","datavalue":{"value":{"entity-type":"item","numeric-id":736463,"id":"Q736463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ddb0e121bea3a93ab7b8afbabdb83b68a85d2ca","datavalue":{"value":{"amount":"+0.72283536195755","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":"Q2165507$37D6E5F4-315A-4480-BDBA-77ACCD08FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70183baef9dfaa855bbe55f7cebe83b86eff0a03","datavalue":{"value":{"entity-type":"item","numeric-id":5394553,"id":"Q5394553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec618fafa5a30a2d6b2448a1233fbf464df1dba","datavalue":{"value":{"amount":"+0.7198638916015625","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":"Q2165507$FD1007E3-39D7-407D-A5EC-89C02AF4D3A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165507","badges":[]}}}}}