{"entities":{"Q923065":{"pageid":924913,"ns":120,"title":"Item:Q923065","lastrevid":42768782,"modified":"2025-07-10T14:06:03Z","type":"item","id":"Q923065","labels":{"en":{"language":"en","value":"A lemma in the logic of action"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170861"}},"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":"Q923065$DD609D86-1CAD-4470-84D5-CCA0953C41C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb3c95b66c7da51d47a91445d5ce63c54bc213b3","datavalue":{"value":{"text":"A lemma in the logic of action","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923065$D15F6BA4-B0F7-41C5-820E-2C037FEAC7A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48f4d353bf461f4a5c1b3b9961cdf323c4dcd8c1","datavalue":{"value":"0712.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$222FE141-3719-4DCC-836E-795670C0DB83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f2e912dfbc872e120cd338a74ca5db040889515","datavalue":{"value":{"entity-type":"item","numeric-id":923064,"id":"Q923064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923065$9C49FC9F-2D48-4E7B-B323-836C92A807E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923065$2D6E3995-C9ED-4F58-96A1-0F47D54BAB50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q923065$1A7B9222-D247-46B9-A1FF-21C79A268FCE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fba61b21682d93b8ecba27b15f45de0af744102b","datavalue":{"value":"It is shown that within the imperative logic of \\textit{K. Segerberg} [Notre Dame J. Formal Logic 31, 203-221 (1990; Zbl 0712.03002)], a certain rule is sound. In proving this, a result in the underlying logic of action is established, namely that Segerberg's restriction of the set of propositions in a frame is unnecessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923065$1A305F1A-4F33-415B-87B9-A5E5D4020901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$C3C5163B-7B13-4C18-9DB3-65DEC66E8A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a66bf2a8b2a2c8097a48f62b792dd106cfc0653b","datavalue":{"value":"4170861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$A9CEC532-E1F2-4333-ABF6-002868334D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2a72bf645516a952dfd29632f8eed02178a8bf","datavalue":{"value":"imperative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q923065$0FFD8455-0B13-4BFC-AA63-FC62817CDEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73b8555219dcb8d26741f488996db6e613b2839","datavalue":{"value":"logic of action","type":"string"},"datatype":"string"},"type":"statement","id":"Q923065$7E4D8062-4986-4990-90AF-72E1D3DD71AF","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":"Q923065$84B13175-AE2B-48F2-BDAB-D3F96989963D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4deca32a6ea33183a799c83df97bc5b04b9613f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635416","type":"string"},"datatype":"url"},"type":"statement","id":"Q923065$C4A5A2CC-CD67-4CCA-AF96-D96D237CB09C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603616caa74fdd7fe3e19a2092746bdae9ddc2f3","datavalue":{"value":"W2108901671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$5AB1D575-DBB4-4912-A7A9-E34ED83227B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b6856a30c1479664ae0c57ae2a0e33818ac14848","datavalue":{"value":"Q124838628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$D8F0CD0E-6974-4C04-BF2B-616AAD378CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f58801dcf0504d760119afdea51457ccedb98b3","datavalue":{"value":"10.1305/NDJFL/1093635416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923065$DCAA0025-874B-4BC6-9FC5-07DB4985AD01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9792810ecaaf1ba0071506099ae9a6a7137af8d","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543176c75c0ca91ef019c861d18f657af319f2d3","datavalue":{"value":{"amount":"+0.8743381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$1A1F6F26-FEAA-4303-9F3E-B4663A4F3854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d899ec1e2da1f5a9f4a1914e478415a00679b8","datavalue":{"value":{"entity-type":"item","numeric-id":4501153,"id":"Q4501153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ce08778aef07a17aac24b3028ab1299c3f45e7","datavalue":{"value":{"amount":"+0.87059903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$36CAFC24-FDC5-480E-92CA-874118C747F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a6abfe93f6fb80b996e14bb05bd4bdd8842a","datavalue":{"value":{"entity-type":"item","numeric-id":4511320,"id":"Q4511320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ab5455fcb73892d74ba3b86bbfbdcb86960527","datavalue":{"value":{"amount":"+0.8650217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$999EA559-6F4A-49BD-8CD4-5D77D9CB7322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be33ad98c42559a8897ed8ceaedaeb4fd7d5c941","datavalue":{"value":{"entity-type":"item","numeric-id":4471519,"id":"Q4471519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2dd3d365a3a2c81505b1acb0adeb6797757431","datavalue":{"value":{"amount":"+0.85843205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$D6B38FC8-6974-437F-9EB9-CD16642A3EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03893a90971ef5ddeee56373a7ee01f1ee2e2e8","datavalue":{"value":{"entity-type":"item","numeric-id":5446439,"id":"Q5446439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d24d01f29359a7f421b50403cc6ad0c754c01e","datavalue":{"value":{"amount":"+0.85247743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$220C756D-B153-4708-B08B-DBB407E69DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb285dc9733865fb855da07e18cf1f4f6083f223","datavalue":{"value":{"entity-type":"item","numeric-id":1337608,"id":"Q1337608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338673090bfce83658f288b734fdff5738390d3a","datavalue":{"value":{"amount":"+0.8503747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$ADF59FBC-270A-4003-B149-2C9525A23CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f476e990e26c665aff622e81dff85ba0efd4ed5a","datavalue":{"value":{"entity-type":"item","numeric-id":1077395,"id":"Q1077395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6bf3a99a3863043aa7df041d3bed5046bb8852","datavalue":{"value":{"amount":"+0.84750736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$89E83996-BEDF-4870-82AC-B56C99585EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1eba3e6630895fd91c4c903b171e9e1e385e70","datavalue":{"value":{"entity-type":"item","numeric-id":4218924,"id":"Q4218924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8666816c6827d2e2cee918c8d745c99f08616c31","datavalue":{"value":{"amount":"+0.8446951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$E215F54A-CA6F-492F-A279-14E8937B6042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803d1e54a512886864fb0acf26bd858a1fa2cda9","datavalue":{"value":{"entity-type":"item","numeric-id":1841011,"id":"Q1841011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca80fe87097e5c31715aab4c90717ea5e8705497","datavalue":{"value":{"amount":"+0.8442236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923065$99A0A705-B8D1-4F07-8BCE-B9CC111CB1EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:923065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:923065"}}}}}