{"entities":{"Q1264002":{"pageid":1274752,"ns":120,"title":"Item:Q1264002","lastrevid":68332002,"modified":"2026-04-12T22:59:29Z","type":"item","id":"Q1264002","labels":{"en":{"language":"en","value":"Miracles in formal theories of action"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128433"}},"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":"Q1264002$5C6E7887-C05E-4037-A003-D3A35A7F9FC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb2c4acd0d433ae636a7b17f3b99efc28011ac0","datavalue":{"value":{"text":"Miracles in formal theories of action","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264002$480E790F-BE84-42C3-97F0-3540DF34F575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d7805321dc551b717ac2b3f0cdea3c6c28e0b4","datavalue":{"value":"0688.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$1B9D189A-0097-48F5-9C21-7BD19A31E730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ab155259c3dc3113f1c800c637cb1fd68bb5499","datavalue":{"value":"10.1016/0004-3702(89)90059-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$D85C5C8D-302E-47A2-B8A5-177549532B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abd2e6f72264469fe074faa0eef5eed285bf4f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1115423,"id":"Q1115423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$681DDBC2-764B-44BE-91DC-3D8D388F48CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$16049FD7-EF50-4B41-B5A8-8A9490B23A04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$89AF9FBC-2BF6-4E4A-B287-E002F2148D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1264002$042BB3D9-F6AF-47C2-B10E-C5B4E5DA6EB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"032987c06c1c99b09d4774c96d2d64a210107ad5","datavalue":{"value":"The paper provides a formalization of reasoning about actions. It is a research note reporting on a development of Lifschitz's approach based on situation calculus and circumscription. The problem is how to formalize a (more complex with respect to temporal projection) form of reasoning about actions. It consists, roughly speaking, in determining values in past situations. The problem could be solved in a straightforward way using an implicit assumption that there are no events happening concurrently with the actions that are being carried out. This assumption is relaxed - it is treated as a default principle. If this assumption is inconsistent with the given facts the possibility of some additional events contributing to the properties of the new situation is assumed. It could be said that a miracle happened in the previous situation. A formal solution of the problem is presented. The solution is checked on two examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264002$DB391610-9DDB-41C5-8D2A-40F1D40650EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$87C89554-B0B0-4BF0-AB8F-7D4F874BF30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$E38672AB-6601-4378-865C-5CCFFE9B46FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$A3762BE2-19E4-4F0C-9BF5-D69977249047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6523f09945764e3d4c75e2c625203748ebf9afdc","datavalue":{"value":"4128433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$F63A979C-41DC-4897-8D10-45BF4C56CA94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264002$25B3310E-1FF0-4EE2-AB8C-75D84349202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264002$27DEE410-0121-4396-B3F3-36B14A2DC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264002$648C2589-8011-4E0F-B7BD-8079609D3F31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f16d300f1af622676dccb372accc3bc0c9d577af","datavalue":{"value":{"entity-type":"item","numeric-id":588374,"id":"Q588374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$4128BF79-4E96-4F90-A0A2-36A8389A14C6","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":"Q1264002$A3A84990-E94A-4F38-ACC2-99E7E3123EE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a907370115e36793e12a284ed0306edb0ebddda0","datavalue":{"value":"https://doi.org/10.1016/0004-3702(89)90059-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264002$492E9FEB-0B23-481F-BFCB-CEB897B1AD25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf8100672e99de06ced51cb183aff5d415f3860","datavalue":{"value":"W2016443760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264002$D5191FC3-4386-4862-9B40-035915C3A70A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$27345953-BD2D-46E7-8902-0A10E71F9263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264002$47CCF745-0241-4844-8C3B-601A6656DD12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edba320384cab912d234f4967b717ab13b5a068","datavalue":{"value":{"entity-type":"item","numeric-id":4286222,"id":"Q4286222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e6d54642e7c2e908f12b1ab9427de599145cfb","datavalue":{"value":{"amount":"+0.7788594365119934","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":"Q1264002$CB9B2EF2-E3D0-4C46-9864-F234FAEF5D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7e4255271a81d9348f5a833e3d9ccb117abda2","datavalue":{"value":{"entity-type":"item","numeric-id":4369865,"id":"Q4369865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f94169e50e6d37f9fc8f979ef7e70089cf6eea","datavalue":{"value":{"amount":"+0.7778263688087463","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":"Q1264002$FFC6E1C2-AFF1-48A0-AC1F-8C4B1B5B7A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddb5bfad2831db92a886a4ece8d2a20ea450236","datavalue":{"value":{"entity-type":"item","numeric-id":5715722,"id":"Q5715722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5becf402af1c500010fa109216cd50a9d57c859e","datavalue":{"value":{"amount":"+0.7657699584960938","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":"Q1264002$88CC5302-1982-4B65-862B-11B33561AB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec27d23abc0a971ae6b1c3084ede76821fce666","datavalue":{"value":{"entity-type":"item","numeric-id":4632322,"id":"Q4632322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5568645ed3c82fc248133e912c1122470adf7855","datavalue":{"value":{"amount":"+0.7597794532775879","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":"Q1264002$453B7F4F-5805-4F90-8A27-8586056ABFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ce5f356d4c798fd92f3f159bfac303f1429fd8","datavalue":{"value":{"entity-type":"item","numeric-id":616039,"id":"Q616039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fba3321533b58ff96e0ddbfcf91dde11549b0e8","datavalue":{"value":{"amount":"+0.747979998588562","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":"Q1264002$8E2E588A-4F01-46A5-9D79-C5048C7E86C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Miracles in formal theories of action","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Miracles_in_formal_theories_of_action"}}}}}