{"entities":{"Q923063":{"pageid":924911,"ns":120,"title":"Item:Q923063","lastrevid":49427134,"modified":"2026-01-07T03:33:49Z","type":"item","id":"Q923063","labels":{"en":{"language":"en","value":"Validity and satisfaction in imperative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170860"}},"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":"Q923063$5A156FC7-0440-4C2F-97D9-ECDDD7CD2A92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9cf3cbc1e18328fde790161bd5eaab3580f6d3d","datavalue":{"value":{"text":"Validity and satisfaction in imperative logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923063$72597053-043F-44AE-9D89-A91ABF4032C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab4c39f750b025dadc3c39620b5946daea9d1a13","datavalue":{"value":"0712.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923063$DAB837F2-2ACA-4E7C-ADBB-7D3CB9D3811D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923063$98A50B45-B0E7-496D-95DE-D24C0214B19C","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":"Q923063$31825286-37B7-4D18-9941-5D2D00C95584","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":"Q923063$36915A29-75D7-4805-81D2-2D166DF2EA25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bff1e2516af6e504ed01482f9d6758f7d04ae63","datavalue":{"value":"An imperative logic is presented as a modified dynamic logic. Rather than treating commands as prescribed propositions, they are handled as prescribed actions. Syntactically, this is accomplished by having the imperative operator apply, not to formulas (propositions) but to terms (actions). It is argued that the presented modelling stands free from a previously recognized difficulty (Ross's objection).","type":"string"},"datatype":"string"},"type":"statement","id":"Q923063$1FD4BE10-736C-49E0-9565-40A85EC22AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923063$C3E574BA-AE15-4373-94D0-A1622C0903EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618ece3f58476f1107bc0ab23a3ae76dc28039a9","datavalue":{"value":"4170860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923063$0FBDD3FA-81A3-42F8-B600-E5494C00E7B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2a72bf645516a952dfd29632f8eed02178a8bf","datavalue":{"value":"imperative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q923063$6CAA4359-A636-4D3E-AEB6-B270866CCABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab0d047f4b7c69ef42b31cb3056574dabc203cf","datavalue":{"value":"modified dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q923063$57B1D4F1-0827-4DE0-AEAB-61C85516FAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3792f3e0de1ab713c1172799d186fd213a385737","datavalue":{"value":"prescribed actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q923063$93D0FE02-8BAF-4F20-8995-B1A651CAF98C","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":"Q923063$C25E3AED-71B5-44C0-BEED-F79A573B4B26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b792adcf2f6d0f5e7aa1414fec9d8a3657ff97d1","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635415","type":"string"},"datatype":"url"},"type":"statement","id":"Q923063$3E375372-0C7B-423A-96BC-2F96663ADA1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"019ad64a31f4ef3202d679ce1874d0730cda1321","datavalue":{"value":"W2035825187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923063$6CCF142D-86F6-4649-A427-8B1900921E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee1b20f73327f03509c3768008f0dbb29bcdb46","datavalue":{"value":"10.1305/NDJFL/1093635415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923063$ED4FB185-4023-4A6E-B42C-2B2AB9098E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db86d8fb4a07f9012d2212186b85974af788e5a","datavalue":{"value":{"entity-type":"item","numeric-id":692199,"id":"Q692199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a8f62806fde32cfc173b24395e21a5d790982b","datavalue":{"value":{"amount":"+0.8283721804618835","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":"Q923063$F3F7EA9F-C89E-4F38-9FDE-AA34B3F44864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee4b7e47522603e52e19bbe7b7f09e781d8fae3","datavalue":{"value":{"entity-type":"item","numeric-id":5275766,"id":"Q5275766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f172a68141c11623696674317154be75537961eb","datavalue":{"value":{"amount":"+0.802481472492218","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":"Q923063$9CB019B7-22AA-4431-9A10-99BDEF97670E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d647b47acea877aba8235df7db13b38570a4060","datavalue":{"value":{"entity-type":"item","numeric-id":598542,"id":"Q598542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0c29ccc300bffbc521ae0d547400893663e5ba","datavalue":{"value":{"amount":"+0.7896583080291748","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":"Q923063$04CA3AA0-271E-47EE-88DC-8FD07520C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4099d5f8e4cd7618d745b3171aa09a0acef4c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4801119,"id":"Q4801119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f2918e5682cd4c7392e210b18f6480531fba0f","datavalue":{"value":{"amount":"+0.7829128503799438","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":"Q923063$D99FFBAA-CD13-42DF-A407-BCF54846EA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060a070c3d7da8f701931eb92b4bf4ce34058a70","datavalue":{"value":{"entity-type":"item","numeric-id":5271377,"id":"Q5271377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e67cdefcb458b397171f701afebc3878fb7cec8","datavalue":{"value":{"amount":"+0.7820003032684326","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":"Q923063$02343E69-F7A0-462A-98E3-3B729481DE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:923063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:923063"}}}}}