{"entities":{"Q543586":{"pageid":545353,"ns":120,"title":"Item:Q543586","lastrevid":62630028,"modified":"2026-04-11T07:23:05Z","type":"item","id":"Q543586","labels":{"en":{"language":"en","value":"A semantic characterization of a useful fragment of the situation calculus with knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909438"}},"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":"Q543586$5295884A-0C71-4620-83DD-4EE1F2CD1936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f20ad74aa4c84700cf5da82e92cf0de053d51bb8","datavalue":{"value":{"text":"A semantic characterization of a useful fragment of the situation calculus with knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543586$528090ED-862B-4A50-9D48-8754DBF855DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc7846c0f1b1542ff6ab2bdf6f3b1f22d3fa2e4","datavalue":{"value":"1216.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543586$436A05FE-7497-489E-987A-BF2D23C5D339","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"742272dbf7eb66f05ced46d0156e2c99b4a41150","datavalue":{"value":{"entity-type":"item","numeric-id":543585,"id":"Q543585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$2CB5BD05-E337-45F5-9441-69C9B0A18E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$D08C650A-1378-485B-AA3E-FCE65F7FDE53","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":"Q543586$FED51410-6E55-47DB-9EE1-A9E52AC9AB4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543586$403859E4-1755-48CB-83B5-5714F76A2AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543586$BE6924BA-F873-4C8E-ACEB-233BE25389EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a55641f09349460e1d711d197cd5386e4b444df5","datavalue":{"value":"5909438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543586$91E360D4-A4CB-4A54-8539-94F447A53391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q543586$913901ED-6AB8-43F4-9864-208E7C3B27D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b553ba5a903f42155fa6c4cc223b85defd3aef4","datavalue":{"value":"reasoning about action","type":"string"},"datatype":"string"},"type":"statement","id":"Q543586$95F19EA5-E5EC-4BF4-9251-3135A85CE32D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$6B172289-1567-488A-B98D-8B4CCACE8605","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":"Q543586$BC41DCB3-839F-4117-BA87-B0D4989946AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b152df008df07d930ce864cacd110388c8acadb6","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.04.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q543586$C6C18D6F-19EF-43EA-B057-9C54F852526D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fd6b88f48fe61e4a65966d09c33fef6ca87d1b9","datavalue":{"value":"W2025270539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543586$8344EAC6-C8AB-466D-80E6-592AD2BA3623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"642ce2032ccd49f343701b80e7597d09e3cee586","datavalue":{"value":{"entity-type":"item","numeric-id":4736477,"id":"Q4736477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$1289184D-39D2-4D07-85DC-B7835A1D81C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a75b349df640c80cfa577a13454234823dd0e02","datavalue":{"value":{"entity-type":"item","numeric-id":4934812,"id":"Q4934812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$2B2C2D45-D21B-4F32-9AED-7A47A9AC6850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc56eb17b72a411bba23e46815c894da016d83e4","datavalue":{"value":{"entity-type":"item","numeric-id":3647208,"id":"Q3647208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$CFF2B81F-1A7B-4BBB-A045-B9966C8B0E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479f327669ffc7c40cbc60cf76fb757b57ef774f","datavalue":{"value":{"entity-type":"item","numeric-id":3647207,"id":"Q3647207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$0390916A-9387-4F29-A602-CFD383624418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$28E24AB4-B28F-448A-A949-229A772D5F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$5A1A8FB6-07AD-40FF-99BE-116EC3230D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$A30AD944-BA9E-45EF-BAFA-DCADC68767F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdb4fac4f93bc575905bd2c0ceb52922fc001a8","datavalue":{"value":{"entity-type":"item","numeric-id":922685,"id":"Q922685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$D1519BC8-DF17-404C-97FC-F4F406FF6817","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":"Q543586$9DBD9EF4-6100-4D89-8219-B7858B990B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6843c5febd090e042836f9b70a3a8e904ad12","datavalue":{"value":{"entity-type":"item","numeric-id":514239,"id":"Q514239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$F4EC2B09-9D16-4B60-A0AC-BDCFF896CA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$19D5C375-9DCA-409D-B4AA-C25E367C0E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1688657b0e342b1adddff50c1db7425ee330f55","datavalue":{"value":{"entity-type":"item","numeric-id":3637332,"id":"Q3637332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$9E16426E-675A-426F-BCF3-54D12F1FA17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e53818e6dad7b853304ca71ddc563f5e76e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$412760FF-A08F-4084-9B08-F23ECA3CF024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff555365289ad702d5c35acd813d1079203777b2","datavalue":{"value":{"entity-type":"item","numeric-id":2756788,"id":"Q2756788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$DC4CEC84-8537-465D-8B17-13D0890223B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$20542064-AD75-4646-951B-7B4BC8E1E3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd47987217bd889828e760fd7d9ac44edceb361","datavalue":{"value":{"entity-type":"item","numeric-id":1402735,"id":"Q1402735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$311D55D6-02A8-4925-A459-0D9AC17B7155","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":"Q543586$3A1F0AEA-DBAE-414B-8ED1-54675A0494FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$05398A7E-6FBD-4935-8CEB-957D82CED671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$14C952CC-E723-42DC-9C85-FFE4868D51FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$D7A19AAF-3926-4E28-BED3-7EFB719084C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c8b1dcefd371610027008f857a075eece71f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5738914,"id":"Q5738914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$404430BE-8C87-485A-9D21-13B19132B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368c14c802f61adaa26ccf8fb6625a6ea4b478f","datavalue":{"value":{"entity-type":"item","numeric-id":4839154,"id":"Q4839154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$90C36B81-E206-40D8-9CE3-0DD5BF234977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6ed2f0fd28cf192ae55cb0f4c8a95d71fd6c90","datavalue":{"value":{"entity-type":"item","numeric-id":814427,"id":"Q814427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$920D33F2-C692-4CB6-9A7B-7D244B013D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f7bf6943254275f5b5f1e546a53c901468e44","datavalue":{"value":{"entity-type":"item","numeric-id":1606307,"id":"Q1606307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543586$63F71274-7433-4ED4-8CF5-4A83CEAC7288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5719598b2f6cf302b3f93bfb0581893213a82fb9","datavalue":{"value":"10.1016/J.ARTINT.2010.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543586$55D6E3F4-285F-4A53-A1C0-FC36B9199946","rank":"normal"}],"P1643":[{"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":"2bf26ab0eef399563915d2229a7a5698f09baaea","datavalue":{"value":{"amount":"+0.8609068393707275","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":"Q543586$9C0B0844-A3FF-4816-9AA5-3BEC74A9612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1ba2be37cc6a4a691d478328b4501fda6d1ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5101452,"id":"Q5101452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4697ef565c9b27b44f61ceee6cf7bd12b5584c2","datavalue":{"value":{"amount":"+0.8196190595626831","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":"Q543586$F70C009C-D278-4BB2-9C2F-BE8B54740B8D","rank":"normal"},{"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":"8e0134c8275ae00b9fa2143188165687a00734f4","datavalue":{"value":{"amount":"+0.8061957955360413","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":"Q543586$D87623BE-98CE-4875-AA7C-0AA6CB70DEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f56b7dd22a99bdb2ce2a4e84d32fedb60b3ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":3006113,"id":"Q3006113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c48750c2b9a596b2818192067c834e04415a547","datavalue":{"value":{"amount":"+0.7906370162963867","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":"Q543586$2550A67F-1E89-42A9-8CE4-FF8B357C6766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e9adc640ae512c97e8c98f8af6c28ba3e435c6","datavalue":{"value":{"entity-type":"item","numeric-id":604908,"id":"Q604908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ef736388ee43f8b4418aa35cbdbab3dc29e94d","datavalue":{"value":{"amount":"+0.7868579626083374","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":"Q543586$2BBB5815-2F8C-418C-9BC6-46352ECB4F40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantic characterization of a useful fragment of the situation calculus with knowledge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantic_characterization_of_a_useful_fragment_of_the_situation_calculus_with_knowledge"}}}}}