{"entities":{"Q2401633":{"pageid":2412376,"ns":120,"title":"Item:Q2401633","lastrevid":52891127,"modified":"2026-01-23T17:57:22Z","type":"item","id":"Q2401633","labels":{"en":{"language":"en","value":"The modal logic of copy and remove"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6768998"}},"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":"Q2401633$462430CE-67A6-4113-AE12-A82EF06388F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c976609d311bb12b3018f724d94eb1edb45b127d","datavalue":{"value":{"text":"The modal logic of copy and remove","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401633$DDFADBEA-CAB2-4960-990A-1FBC11366740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5295c3bb12c293cb1925270bfb8d687170acf6d6","datavalue":{"value":"1373.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$67C3A3EC-40F9-4A26-8779-3E064E6CC588","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$6F20A8D1-59EA-4AC8-8B06-D37493A3EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$A82C8170-223D-4CFC-BE37-C9E3BC143265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$5C9E04EB-549D-421B-B16F-674900FE0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$F3EEFAB5-C6F9-46AF-AEB0-DE1F02CC58CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$BEB37800-262E-4944-8A08-58F39C1A0F43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8cd92d668d0d9ccfee92ba50b458c9ee84248f97","datavalue":{"value":{"time":"+2017-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401633$10D9A84C-2553-47D6-A4D2-FCB91C765A58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$68117604-DE89-4A2F-82C1-EBE49029DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$9D23912C-7B0E-4E1F-B1BC-AA64F51CDBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$134C0678-FE57-42CA-B531-D00D352E8C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3404080622942e4fd9c6dceb9e3b489d1a871a33","datavalue":{"value":"6768998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$B57FA6E1-8ED7-4351-A5E2-B651E1A5FC37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401633$F6A0554A-4DBF-4CB3-9F63-B8DF213BBE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401633$0DEE4B05-0998-4D74-A71E-EDB9F8A12370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401633$CA90349F-1254-4A7A-BF2C-6813B2B6D78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401633$FABAA746-216E-4342-8459-1BF70E2582EA","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":"Q2401633$DF6C93E2-FF17-468A-8323-C1476E3A98DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c63c4ba731632d6a3c793c2e6996e15830a087f","datavalue":{"value":"https://doi.org/10.1016/j.ic.2017.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401633$D7E4B595-E718-4AE4-9FE9-45B681D76762","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbf7f40d1f116050af5b0b90eca0f226b0f6165e","datavalue":{"value":"W2567904088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$B61ADD28-DCA0-4385-944E-6AFF4582D59B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$1A2951CB-7912-4143-AA47-71CEADE51DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$50B0A103-7587-4A67-BF5D-997E61BD051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc644fdfe65ffee1d8b3257cb9c93d8b3dba70e7","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$CE4E8D93-46BD-4963-A4CF-CB6BE5E41974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e508d1510e28c27dc862bb01fbcd27ee5c16460","datavalue":{"value":{"entity-type":"item","numeric-id":5176675,"id":"Q5176675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$5C2DC6B5-7743-4F68-806A-92CCA523B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$AACDE914-7156-45E1-954F-86DC5133E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34689292e5bd7eb31eccafd276a7cc2b9d5e8161","datavalue":{"value":{"entity-type":"item","numeric-id":3224046,"id":"Q3224046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$E379E482-EC96-4873-A5A5-40EB510A8CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207c8c072cfe6ec3ac1165309587632b34a11473","datavalue":{"value":{"entity-type":"item","numeric-id":2938130,"id":"Q2938130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$71E91490-911E-403A-8F89-266457F4DE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a166d49b457737ea23e792efaac1a4a4c80766d3","datavalue":{"value":{"entity-type":"item","numeric-id":4583171,"id":"Q4583171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$8A5EE9F7-5E2A-4F07-9D3E-16EECB5B7090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d6022efe85ebaea71c3f2dcb2b567358d1ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5431341,"id":"Q5431341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$8E5CDAC8-395A-4ED0-9BCB-33CCA95F1B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a25b15d4de5281fa01e8ea884c428a32cf21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5191527,"id":"Q5191527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$14855389-8F54-4B58-8C97-6419286EAA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$3A27B472-0A97-4D9F-B909-10760338205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$913E098B-5301-4E1A-98CA-52538020F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$CA5A4D34-C2F5-43AF-8513-73DF232A3147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6082a43925829be0041ef4d2be535b8ea6ec2e01","datavalue":{"value":{"entity-type":"item","numeric-id":375313,"id":"Q375313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$EA9B7205-7F91-47E2-A208-670423B849FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe961a6d2888f3766d527734ceed753a7fefde4","datavalue":{"value":{"entity-type":"item","numeric-id":4982127,"id":"Q4982127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$951D1929-B013-4D1C-BA17-E75EEA0818D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38977d123654853ace0c471d6d8409e75d61283c","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401633$97AC63A6-8CCA-4373-8B39-0D0BC2BE4239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd8fac18df21e40f583e5dd9d6bdb6493a7fc07","datavalue":{"value":"10.1016/J.IC.2017.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401633$87B9C09B-C228-403D-B598-0946D6CC8D4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1495194a9dd6de7ecaa230e73caf91085b06c4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2938130,"id":"Q2938130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f687952aebe35047ee5f63824a1e2e39ef654e47","datavalue":{"value":{"amount":"+0.978709876537323","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":"Q2401633$8B74F584-359E-4AE3-868B-538CFCB03D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74849e53359bf592d0ef9052212f40a5810b3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":5861999,"id":"Q5861999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b06ded40ff890885b643588555c373f4c8f563b","datavalue":{"value":{"amount":"+0.9379833340644836","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":"Q2401633$4D36408F-685F-44FA-B1B6-F1D078D58974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa4c48e9e3153570dbf712f277e18bccc31d457","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3019031d1d05a1aec3f05b3cea10710ceb1cbd7d","datavalue":{"value":{"amount":"+0.7578099370002747","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":"Q2401633$D9CEC783-3B2C-4365-9C9F-83F35CF9491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb70440b0ffa75995640d2590c04514ee40e484","datavalue":{"value":{"entity-type":"item","numeric-id":5170725,"id":"Q5170725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8173c2a7cba9137e7ce73ab2d1e11d80cdf5d3d","datavalue":{"value":{"amount":"+0.7485798001289368","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":"Q2401633$F56C3B66-412C-41E8-BAC7-62B991F1223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743fc4cac311a3cf1bfc4476c68beadd1492fbdd","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8565522390fff041ab77183e307c49e5e0107456","datavalue":{"value":{"amount":"+0.7445748448371887","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":"Q2401633$19F7475D-8BF4-4F6D-B9AC-43F7D5B13279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2401633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2401633"}}}}}