{"entities":{"Q4612406":{"pageid":6641989,"ns":120,"title":"Item:Q4612406","lastrevid":53336972,"modified":"2026-01-24T18:37:18Z","type":"item","id":"Q4612406","labels":{"en":{"language":"en","value":"Modal logics of sabotage revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009520"}},"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":"Q4612406$D57DA795-8249-4B7B-98A5-BBB9A85914A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dfd264ad605b89c410f9641163c4ccd5885ceea","datavalue":{"value":{"text":"Modal logics of sabotage revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612406$245C708E-6B87-404A-AD18-CC7ABB80CE09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d7e581fc68fc94fb230bb887b9e6d9f9dff8118","datavalue":{"value":"1444.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612406$CE51A553-FAF3-48C7-BE66-0ED868D380B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612406$A90F513D-F363-40E9-B505-36BE9661F48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3551fbcf4363d7318c6024563a197ba40a150a","datavalue":{"value":{"entity-type":"item","numeric-id":484917,"id":"Q484917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612406$F072CCCF-064E-4787-89DA-CD9AC8767AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612406$56797062-8C34-4160-94C0-7D3572E4ACE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612406$0D68F30E-EE51-4773-86FB-EEDD21C6CB1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a11f2f33b4a906b6286c706d1e0c54764eb25a9","datavalue":{"value":"https://hal.inria.fr/hal-01827076/file/RevisedProof.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612406$E4368169-41A9-44C5-A2BC-030B2777B50B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612406$281CD3C6-B9B7-4B89-B010-7CC8FF3FD978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0a32c632f6be4be23bb1a7170c5ff6460eb5452","datavalue":{"value":"7009520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612406$96D8E605-ACDD-486A-9F02-32D3557C9F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612406$ACF54F71-2505-4819-8D8C-D2D8CA1D7C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612406$7E71AE69-099C-4E90-ABBC-B71AC8497399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a2a2ffcc9934ef098c871b5cef870eba0646b9f","datavalue":{"value":"graph change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612406$B1F77809-53E3-44BB-AF3C-AB5A1716851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612406$16A14FD0-2DC2-4421-B04D-251A0E26ECBB","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":"Q4612406$C8D8B2BC-071A-495A-AF32-A11B8CD9DC39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1926f1cce374a1467a83f9d0ae9fc0776d19354c","datavalue":{"value":"W2793267953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612406$CE9AC292-EFA3-4D17-A650-D1A7CB84B968","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"442515a77d0f06b0603859a93f9945e542b473fe","datavalue":{"value":"10.1093/LOGCOM/EXX034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612406$5C9A1E71-F420-40EC-A351-A98BB0A6CD4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612406$8678EF5F-0842-44C9-97A3-8C162D381FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea4949b7b8ded8261d14523e3c728541db254d2","datavalue":{"value":{"entity-type":"item","numeric-id":3457681,"id":"Q3457681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b312824c9fde3eeddfe7d29875bd6bd26a93e3fc","datavalue":{"value":{"amount":"+0.9093261361122132","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":"Q4612406$95058CF1-FDA1-49EA-9838-F9300D325862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2eb97c0866f321eb1ce01ad82741a6048cdf2","datavalue":{"value":{"entity-type":"item","numeric-id":5191527,"id":"Q5191527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973760537385de340b87a5465ef2ad0efe78001e","datavalue":{"value":{"amount":"+0.8405598402023315","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":"Q4612406$716A1A67-320E-4905-9227-091E645F0F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb175a0a74af6823e2763d0bd458a4d0630a6353","datavalue":{"value":{"entity-type":"item","numeric-id":5899085,"id":"Q5899085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9035f3f7b0b3c3e64f1e5d28fabc8be17a1d6179","datavalue":{"value":{"amount":"+0.8292034864425659","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":"Q4612406$DE764685-879A-469D-B497-76EEC88019F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bfc5b01dcd50acee26332f5025c573275bf8834","datavalue":{"value":{"entity-type":"item","numeric-id":5311265,"id":"Q5311265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bddfe2688f17e9fcbf82b81ee392452716cc0c","datavalue":{"value":{"amount":"+0.8218586444854736","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":"Q4612406$1D6F8CDB-D6FD-4E52-9A58-DD3F85DEC706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934142ee6f5cebbb3d99c94623c6f1734f69d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5431341,"id":"Q5431341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254f4d8cd1c0df27a7abdc40c555feab90188cb9","datavalue":{"value":{"amount":"+0.8140262365341187","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":"Q4612406$FAF2B79D-399D-4BD0-9407-129BFB8A823B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612406"}}}}}