{"entities":{"Q4369865":{"pageid":6399464,"ns":120,"title":"Item:Q4369865","lastrevid":46983891,"modified":"2025-12-26T00:05:16Z","type":"item","id":"Q4369865","labels":{"en":{"language":"en","value":"Provably correct theories of action"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103530"}},"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":"Q4369865$9AE89957-3E5C-436F-8554-C8492456DE09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e53df91942937983304339799dbb285c90d0be09","datavalue":{"value":{"text":"Provably correct theories of action","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369865$26258836-2412-49FA-977B-E77CB3D2350A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8bc3041fccd369ded16359f2a6f32f8e10756aa","datavalue":{"value":"0886.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369865$61E3D636-4C22-43AA-9597-96B736E99E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f488aa8ab6ac767e3c0b51053e83b1445bf0875","datavalue":{"value":"10.1145/201019.201021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369865$8E8F25CF-27FA-461B-A825-DDE7E5F4729C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369865$4855617B-9727-4031-8EC1-3B5F803A3FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc2f5fad3d06b38a294e2203be88a9ce0641dde","datavalue":{"value":{"entity-type":"item","numeric-id":192135,"id":"Q192135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369865$C03E9FFA-0983-4DE1-877E-0F16AA2FC5CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369865$B36C952B-CB7C-43AC-8F16-298779F517F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369865$88D8823C-E1E2-472D-BD5C-5BF96F0278F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369865$93849833-2FAA-4A57-AEBD-A9EF30DC8062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e995be7e8793766a0353771029367d1d0f4585d2","datavalue":{"value":"1103530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369865$8ED27FB7-E71B-4248-AC96-D86FB1516C42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369865$7D3C6AD0-9559-47A9-A957-09EA4C2FB082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369865$B3280761-9E9F-41A7-86B7-B33FD4956178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618498a0bf1626c40c2c55c74f3ffe4edf5f6e82","datavalue":{"value":"concurrent actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369865$A9555C65-EB4D-442E-8267-D76D96F2AE57","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":"Q4369865$B94FAD96-E33F-4536-8616-E63F1312B5C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3be7926162faab89cb95122daf5f45d11f7a1f0b","datavalue":{"value":"https://doi.org/10.1145/201019.201021","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369865$A911017C-B1A9-4902-B90C-C83F3DBE8C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9b3942031809852dd1f4b012f4c4ac5bf8642d2","datavalue":{"value":"W2030335628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369865$7062AB44-8185-458E-9494-E560A7CB3161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c6ce01cfd6012755942f0b3e9dfbe51437ace8","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcce3a525471779178c33d1db7b4ec27dc745bb","datavalue":{"value":{"amount":"+0.811977207660675","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":"Q4369865$A9A15FF6-FBD1-4C50-8269-DEB672768F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882bdaa8e2d06abfbd9f1aebf762b5db6d6fff7","datavalue":{"value":{"entity-type":"item","numeric-id":5945927,"id":"Q5945927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1d3d23c99175e5d36f51ddf71ddbac2aaed6d6","datavalue":{"value":{"amount":"+0.8108144998550415","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":"Q4369865$80606F70-3530-45D9-96B8-FB1385EB7984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb53c813956c349e9f360b623b13e9b9dae875c","datavalue":{"value":{"entity-type":"item","numeric-id":4028811,"id":"Q4028811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e4e523d2e024420b27742ccb5f1fade3325ca7","datavalue":{"value":{"amount":"+0.8092644810676575","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":"Q4369865$A9F77E66-F7BC-40CC-A4A6-48ACB9987CE3","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":"41d8e8b17f55ed795fcb1b66c3b51524ce3a6f69","datavalue":{"value":{"amount":"+0.7979666590690613","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":"Q4369865$8E32C9CE-B809-4BDA-922D-36B9FC95CB6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369865"}}}}}