{"entities":{"Q1922829":{"pageid":1933571,"ns":120,"title":"Item:Q1922829","lastrevid":78015227,"modified":"2026-05-06T10:34:49Z","type":"item","id":"Q1922829","labels":{"en":{"language":"en","value":"Reasoning about actions and obligations in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 929969"}},"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":"Q1922829$71F8C7C8-3157-433D-B921-0337DA8BE878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74b10aae34d76a69bdfc690dc35681dbc5b35f69","datavalue":{"value":{"text":"Reasoning about actions and obligations in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922829$59F6AA1E-B83F-45EC-AD56-51D2A7AA16A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f989360412bb240e4be8675d56ccf3bcdfc36b41","datavalue":{"value":"0859.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922829$A77F9170-2D90-472A-B751-A34ECDB6004C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b30f1caf988d146c85fecec1ef83633a2d3a2c6","datavalue":{"value":"10.1007/BF00370676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922829$C05F73A4-B396-4F95-849E-B7E601722E94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a606e3ffaaabf9e5a293e201b52f211b9e316f","datavalue":{"value":{"entity-type":"item","numeric-id":190362,"id":"Q190362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$CDC257A5-30C2-48E5-BD02-0378EA55A37E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$4502E8F5-1099-4336-A3E6-B110783B098B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922829$707E1514-F80A-4918-A9D5-4CC6872E273B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6586e044a115801899f0d083d7a3cd4b5ca43797","datavalue":{"value":"The author describes a new way of representing theories about the deontic status of actions in terms of the standard two-sorted first-order extensional predicate calculus. His approach is somewhat similar to the approach adopted by \\textit{H. Reichenbach} in \\S 48 of the latter's: Elements of symbolic logic (1947; Zbl 0034.00301). It is shown that Davidson's critique of Reichenbach's proposals (as formulated in Davidson's well-known ``The logical form of action sentences'' [in: \\textit{D. Davidson}, Essays on actions and events, 105-122, Oxford: Clarendon Press (1967)]) does not apply to the new approach. Some of the formal theories about the deontic status of actions resulting from the author's approach are easy to implement in Prolog; one prototype implementation is briefly described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922829$6A405385-0095-414F-8B93-77503AC714DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922829$80BCC6B4-D6D1-4F30-B3D9-959EEAF737D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16f8765b5e491973d0c8a6c142b7db01c5a49852","datavalue":{"value":"929969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922829$1941A6E3-0C89-4197-84D3-2F97FA01C5FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f12c432ca14c4746cb3bc97cdb85730ca0a9df","datavalue":{"value":"deontic status of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922829$9EB40B28-321B-4CC6-AD71-042B63E16B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fe851c53f4f94efa1cde93a6522872ce376b42","datavalue":{"value":"two-sorted first-order extensional predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922829$A186BEA5-481A-4D90-A2F5-78D4FE2CF02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922829$F6E21E4F-5D5C-4104-9F21-C50EF6609F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922829$3804F9D0-EB83-428C-A061-CBABD918B702","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":"Q1922829$1A1D3E0A-EDC8-400E-A4E5-1EBC10C3F36E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413362734a60c702bb0780829a6df7368a39a43","datavalue":{"value":{"entity-type":"item","numeric-id":4343991,"id":"Q4343991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$1B750C30-F0E9-4EA3-8201-8A93E1EFC423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$E1D3FEA3-2A29-484B-A5A1-B7FA631FABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$FFC79CB3-C1BA-45CC-BE10-EAE4C0C042DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$CDF7B0DB-CFC5-44F8-A353-4A38736775DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb94617f996c4cadbf877ed90560404ee4591999","datavalue":{"value":{"entity-type":"item","numeric-id":5635352,"id":"Q5635352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$353288D3-3DFF-4AEC-AA29-E67EA8FEFA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$8D1734B2-1B24-439B-86CB-5BC349DF473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da94c2f099f0f07a2c0bb01afa013039986be05","datavalue":{"value":{"entity-type":"item","numeric-id":5791197,"id":"Q5791197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$051655B2-1BDF-40A9-BDFB-A999565D05E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddd0ebdff7243b04f21569bd225d43d9c00d923","datavalue":{"value":{"entity-type":"item","numeric-id":792312,"id":"Q792312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$0D6EC340-09DE-4EF1-BCE9-C39B225D0CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3bf31be48264f94ba3b5691201a7b111cb726c","datavalue":{"value":{"entity-type":"item","numeric-id":1077395,"id":"Q1077395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922829$A03E18A4-E219-4035-A6B2-56E5B0C016B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecfb151174a40b41dcafd1b84dc8288b8f60a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2890324,"id":"Q2890324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1de6d125e367661bf592297f34926597d52332d","datavalue":{"value":{"amount":"+0.8123070001602173","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":"Q1922829$01113F48-5216-455E-BDF9-9C34BAE8734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bceebbb5d62920b692a018623f53cbde52b57f","datavalue":{"value":{"entity-type":"item","numeric-id":3032226,"id":"Q3032226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9f2983b40bd803fa137dc84fea54a286ca6bdb","datavalue":{"value":{"amount":"+0.810745894908905","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":"Q1922829$ECDC9D44-5B0A-47B3-906A-845BBABFCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1b3d2be8b0e95147b6b7b1aad5594fb329cdc4","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b6acaf435be7c0ad789cd6a8887246541fae6e","datavalue":{"value":{"amount":"+0.7911781668663025","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":"Q1922829$CD59A89C-B0CD-417F-9CEA-8F3A47AAD262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd03691c3927809187442fef4ee1b4f347a6eec","datavalue":{"value":{"entity-type":"item","numeric-id":2258815,"id":"Q2258815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b0f5bb1d1ff69980e29199fdaf0a10cece5e23","datavalue":{"value":{"amount":"+0.788102388381958","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":"Q1922829$F4795B9D-FE44-4C0A-A561-98815670FC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aba945f4c930ff30122b52286926b82a08b848","datavalue":{"value":{"entity-type":"item","numeric-id":4952293,"id":"Q4952293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3c8f2be11355d555344f14a3a020fa1903373f","datavalue":{"value":{"amount":"+0.7838324904441833","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":"Q1922829$B6CA60F4-2D63-42FE-A6AC-3CC23A64F414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about actions and obligations in first-order logic","badges":[]}}}}}