{"entities":{"Q2996128":{"pageid":3006852,"ns":120,"title":"Item:Q2996128","lastrevid":51238127,"modified":"2026-01-17T09:44:14Z","type":"item","id":"Q2996128","labels":{"en":{"language":"en","value":"Vacuity checking in the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884862"}},"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":"Q2996128$5A922C2C-9EEB-4743-8683-84F39C78D552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a966c62cb8b3567a4976fa447c399b9a81ec5a99","datavalue":{"value":{"text":"Vacuity Checking in the Modal Mu-Calculus*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996128$93AC4521-59BE-4F61-B920-4E0BC466DC04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb5fa403ff4ddef1d443de96e709a6ce5ff4ecf7","datavalue":{"value":"1275.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996128$3A410275-F1BD-4780-A707-7FD4F4B69C28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fa4a096c08769c9124031d98de0276a5cf7883a","datavalue":{"value":"10.1007/3-540-45719-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996128$3C545420-F6AD-46A4-89D1-7A2EEE95B8DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97e0c6c1de99c92e14214d39e1f17c410f9811fe","datavalue":{"value":{"entity-type":"item","numeric-id":2754125,"id":"Q2754125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996128$DB92B9C2-A4DA-40F4-BCE5-9F13DD1F33A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49514c8f9cf0a70c7df3ea7e4e33d59137555ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2996127,"id":"Q2996127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996128$6521BF08-2E86-4385-B0C6-D85ED655F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996128$63F2D867-12A7-4556-B08C-36F76D1B50DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996128$DE9CC111-34AB-4295-A2E7-7A57071212FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996128$F7BEF6FF-7745-4D8E-B86B-7FD001D24E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996128$EC0B7212-3615-4DAF-8782-275FCC8AE18E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996128$03BFF69D-5A75-4308-B1BF-07E442F14A4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71089bf4870719452fb10d5f3f9aba5bb695571a","datavalue":{"value":"5884862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996128$DCEF7B5A-0578-4AD1-9628-6A3484844B3B","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":"Q2996128$6A287C70-383B-4A8A-88E4-564947B55B62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3656d9706adecb6f4d6425bc8230ab5f5bd752dd","datavalue":{"value":"https://doi.org/10.1007/3-540-45719-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996128$3BAFDAC4-216A-4E12-909F-B7F62963E360","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e12e1827bef39891a27678fad91b43492ba7bfa4","datavalue":{"value":"W1520071402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996128$90410A8B-0DCC-4E62-BD27-43A281837239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84259e5c406fadf359a20b9170649d4d5d7b52","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea65a94c4594a4dab23ad2228159c0ec808f354f","datavalue":{"value":{"amount":"+0.8230888247489929","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":"Q2996128$4B90BD3E-100D-4BF9-9A81-3076C087D531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ada2c4233c1c1c12e3f6fb91891afb566676489","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea65a94c4594a4dab23ad2228159c0ec808f354f","datavalue":{"value":{"amount":"+0.8230888247489929","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":"Q2996128$F7FAE631-7CE5-4A18-83E8-01A35D90E204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244e8dbfbdf72d970bb1db2c8763ab4822463156","datavalue":{"value":{"entity-type":"item","numeric-id":1028732,"id":"Q1028732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbdce16d756464b1002e754aefebe7cc8bf3939","datavalue":{"value":{"amount":"+0.8216592073440552","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":"Q2996128$A9E06916-D557-4D15-B589-48201F93793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7227feead50fe160fed46733a0736bc40a844b79","datavalue":{"value":{"entity-type":"item","numeric-id":2018060,"id":"Q2018060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba931059f8524504e8f569f9d63961b230579997","datavalue":{"value":{"amount":"+0.810554563999176","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":"Q2996128$991CD227-7F8E-4474-A999-7A9608AC6BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd13b7aa32efb497bc12231ac98054aa66717b33","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7183e92b289806527f34f71802a8b40d2eaa0b","datavalue":{"value":{"amount":"+0.8055893182754517","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":"Q2996128$8A12C9D7-6089-44CE-8D5C-BD4E78467EDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996128"}}}}}