{"entities":{"Q1791146":{"pageid":1801888,"ns":120,"title":"Item:Q1791146","lastrevid":72966300,"modified":"2026-04-14T09:04:31Z","type":"item","id":"Q1791146","labels":{"en":{"language":"en","value":"Software tool support for modular reasoning in modal logics of actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946973"}},"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":"Q1791146$42EA8024-30F1-49FB-A2FA-BE506B6FB6FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b50728784bf8f249c30e8084dd563a5e92f2f264","datavalue":{"value":{"text":"Software tool support for modular reasoning in modal logics of actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791146$FA0A5A0E-EE34-4C77-90A5-FA4026D011B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c98953de23561abe15f2bbbe613db6f44d0726fe","datavalue":{"value":"10.1007/978-3-319-94821-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$236F0CCE-AE90-4E35-8A5E-F53D5C6B1BD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdbe5249b521934ac00191c8cb087ed5ca5c54a","datavalue":{"value":{"entity-type":"item","numeric-id":1791144,"id":"Q1791144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$E50EE92D-8AED-4325-A375-429C9FA605CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc867214b7b4689a846e89d501237ace7cc2786b","datavalue":{"value":{"entity-type":"item","numeric-id":1791145,"id":"Q1791145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$49AB43C6-450B-4F39-9181-F90D2940680A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$5310D9B3-2909-4628-B356-1A9AB4E7B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$0E2843BC-3294-449A-8ABA-E7A915196677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$8F66BEA3-2242-4F49-AC2A-5D6E36AA76C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-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":"Q1791146$C24A1299-79CF-4ACF-9536-0224F8F1D619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d99443c610be2bf308ea611085e9c577d1acf07b","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/389209","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791146$6C1FA5E8-DF89-4FEA-AF79-24979B40794F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$93BA31BD-75AC-4E34-B8FE-EB48E9825E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$26D0C5BF-4059-4A14-92CA-5B5161510176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$E541A0E5-5A4C-4961-81AB-5A506F775A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$7C92F5FA-1202-40C5-843C-7545D91A7E55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8d7ce10a5b41e2daa4b01bddd0c6827abbb94b","datavalue":{"value":"6946973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$A5FF3966-0A80-44CB-9144-262B41870DC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$678F3683-B34A-44E5-9588-3BEE835BC3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$D82992EE-1A32-4846-AD26-367F28527895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"535e80212ef77e1020fd8eb0e44a6c5a3da7f56d","datavalue":{"value":{"entity-type":"item","numeric-id":40386,"id":"Q40386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$987DC9BB-C9B9-4C68-9130-E771EBF62379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1134bdc309cdfc9d3eb371e6dcfee7d6d3d95b1b","datavalue":{"value":{"entity-type":"item","numeric-id":40387,"id":"Q40387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791146$01F570AF-AC8B-4622-8F81-47FAC7C486C4","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":"Q1791146$C512A8E3-1F9F-4274-B931-A73818F35075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a2788a5086701321cd07d71a4b1b220cd6fd89","datavalue":{"value":"W2811196654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791146$C0A5D9F8-57F0-4D5D-A1EB-3A7F119A6A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbd9cfc97c8a804791c0bd85304363ce2516890","datavalue":{"value":{"entity-type":"item","numeric-id":3178281,"id":"Q3178281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e12df49a318b5493e135a47e262655da9dca515","datavalue":{"value":{"amount":"+0.7503531575202942","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":"Q1791146$9202649F-A883-463A-8715-481F48B4ACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045169cd004804e84a3a6664fd416ca3c7709178","datavalue":{"value":{"entity-type":"item","numeric-id":6104769,"id":"Q6104769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8c864d9fb96d26d4e59bf55f964d71dff1aed5","datavalue":{"value":{"amount":"+0.727465033531189","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":"Q1791146$B9C62FE3-1A82-4250-AF1A-B2B33436B1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fdee0de3bb3bb3d1aef548e4ab565a5f7210f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946724,"id":"Q2946724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3903821f6a9a182296f2da69f8c3a4361de29bd6","datavalue":{"value":{"amount":"+0.7252647876739502","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":"Q1791146$7BB25A17-FEBF-4DBC-84B5-C877633DACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957f06016c8681497251d48cdc8fa39010e80655","datavalue":{"value":{"amount":"+0.7178165912628174","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":"Q1791146$0E6AD34A-FDDB-4E0C-B3C5-8D4A62CA8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4c5e02fd1437b48eae736f409ecffdb26bec39","datavalue":{"value":{"entity-type":"item","numeric-id":3574475,"id":"Q3574475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938a44c8bbfc4160622657e5439f3ef2ab2409dc","datavalue":{"value":{"amount":"+0.7176252007484436","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":"Q1791146$29FE29D4-4F7D-4F0F-B914-CC0A17C6682E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software tool support for modular reasoning in modal logics of actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_tool_support_for_modular_reasoning_in_modal_logics_of_actions"}}}}}