{"entities":{"Q5740445":{"pageid":7769997,"ns":120,"title":"Item:Q5740445","lastrevid":52581488,"modified":"2026-01-23T00:58:49Z","type":"item","id":"Q5740445","labels":{"en":{"language":"en","value":"The typed situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606374"}},"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":"Q5740445$9FA3DF43-2C83-4C08-ACA5-7F27F3604226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8250fea4f3649df17e860a7e0393205563940ee3","datavalue":{"value":"1341.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740445$0A0615AA-B6F6-4104-BA62-C9D4571D6DE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c76e2693fbe835ba2a0f71627a8ca65f074b34e","datavalue":{"value":{"entity-type":"item","numeric-id":604906,"id":"Q604906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740445$DB2537A1-2802-4FB4-BDE6-EABF23093AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89625f7ba4160973c4fcf3403541a9fa31df69f","datavalue":{"value":{"entity-type":"item","numeric-id":604907,"id":"Q604907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740445$4C3C3F0A-0CBF-481A-BA4B-A644FB314C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740445$D7DB3069-3E59-4B5F-96DD-F7993EB7905B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740445$5FC3AB9E-5171-4F66-877F-0AD004E42CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740445$713272AD-B0F2-4141-9CC1-1726F8D406A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25b4a033919da3140a3602da36750ff78ca6d1e3","datavalue":{"value":"6606374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740445$F0DB2542-5A29-40B9-A896-9DC1DD70FCBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740445$E1A4E566-D5BC-47F1-A334-0FF9CF1C15F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044de4a34300c715308643221c67b46a193f0eb9","datavalue":{"value":"order-sorted predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740445$FF94FF2D-F434-4205-839C-742A09CC36CA","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":"Q5740445$C1F138F6-1540-43FD-9A6E-446AB66BDC18","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":"4ef90b19fa355dad354fa4d92c5afba82791deb4","datavalue":{"value":{"amount":"+0.7822120785713196","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":"Q5740445$3AD8B8BB-20C0-4259-A6F2-3B759589CF36","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":"4f4e12f5ca0ab1c11dba9983f632cae8631b47f1","datavalue":{"value":{"amount":"+0.7812291383743286","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":"Q5740445$4FBE2EC6-0A76-4FAA-8956-31F0AB52E18A","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":"12a81f0d008a057921a29cb13d1deb112f3fce5d","datavalue":{"value":{"amount":"+0.7735114693641663","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":"Q5740445$15D22DE7-7854-4F9D-AC1A-67036EC72A29","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":"961871bd13d0797ad87cc2b79311741c71708d5b","datavalue":{"value":{"amount":"+0.7566781640052795","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":"Q5740445$ED24EBB8-EC28-40E8-90BF-FD34158479C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8448800f889c28fb0d6510d9df5789ef406849e","datavalue":{"value":{"entity-type":"item","numeric-id":2349808,"id":"Q2349808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124a1342c82ae232cfc2439f71cd75c21e9044eb","datavalue":{"value":{"amount":"+0.7546781897544861","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":"Q5740445$2C5C80E6-AA62-431B-ACFC-6162ABDA24FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740445"}}}}}