{"entities":{"Q3158539":{"pageid":3169255,"ns":120,"title":"Item:Q3158539","lastrevid":79993463,"modified":"2026-05-06T15:11:38Z","type":"item","id":"Q3158539","labels":{"en":{"language":"en","value":"Some contributions to the metatheory of the situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131031"}},"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":"Q3158539$05DB5956-19AF-447D-AE9B-E3F5A4B8DE39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24d08557551a6b95d6e8742d1ad31b65ab841ebb","datavalue":{"value":{"text":"Some contributions to the metatheory of the situation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3158539$DD615D1F-786E-4E10-A89E-572842355091","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d70ce768abf96659f45b1d1df00ed586679098b","datavalue":{"value":"1065.68627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$A7D367CE-D2C3-4FCD-93D9-719FE07D1AF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d7c6401adf3168db7d48369366613f4d217656b","datavalue":{"value":"10.1145/316542.316545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$1B05A651-B688-4843-87CF-E553E070DCE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8504b40275d8e352084b681316fb158033c64656","datavalue":{"value":{"entity-type":"item","numeric-id":543603,"id":"Q543603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158539$0F532BB6-8486-483B-89ED-6548FE2A8EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816c3b3a23cdb536cf48ff8cadc4b903d9115ea","datavalue":{"value":{"entity-type":"item","numeric-id":1376097,"id":"Q1376097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158539$47ADB118-4A68-4416-9744-F4EA17D0B5D1","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":"Q3158539$92351B5D-AAEC-4CD5-A523-7EAA97906700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158539$37F52B2A-14F6-4198-96FA-89D3AC004DAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$A642B727-707A-4D48-A20C-8494C8FB7CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$B2D58564-8A79-4C62-A15C-76AC2CAD9908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$DF1F7B1C-4C6E-4FA6-9357-0FDCF5A71B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$CAC5317F-A680-4842-AE80-A3202C736B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5667fb632d641cc6a65b1bc0b70b55fee1185aba","datavalue":{"value":"2131031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$4933C0EE-7DAD-4088-BB53-16F3682B440E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"315918b4fcc06b4c48320f290a96cba5a2b4ea97","datavalue":{"value":"Q29010963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$94E4963B-6328-4D06-8596-88695599894C","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":"Q3158539$2B0670D1-F4D6-4B4F-BDF1-6873BF246050","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":"Q3158539$7F8C657D-3329-4571-97F0-9A0F2D8BF8EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae71aee45a6a8d8662e873add84f661770ec0e1e","datavalue":{"value":"https://doi.org/10.1145/316542.316545","type":"string"},"datatype":"url"},"type":"statement","id":"Q3158539$6C26F39B-C7B1-43A5-A9DA-120A2E09F86D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1132f24c0252dfc9947e997034e7fbaba0cab1e1","datavalue":{"value":"W2022716165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$25D09269-35FD-4644-921F-A61859DE2124","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"0b01214cf70fee82db67b5957dda8ce9672b2bf5","datavalue":{"value":"journals/jacm/PirriR99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158539$02A2FBA6-0F22-45E8-A57B-D987A41268F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfff56cb9b492edfcd3ce974d409acb6350be990","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927335b31c35ebb2ff45afa2df4445ecfcfd68e0","datavalue":{"value":{"amount":"+0.8531765937805176","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":"Q3158539$B558222F-671D-4365-868E-AB837DF0DE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4543a387eb7bb0504b81bc0d66cb6fe1523e4a19","datavalue":{"value":{"entity-type":"item","numeric-id":4316298,"id":"Q4316298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927335b31c35ebb2ff45afa2df4445ecfcfd68e0","datavalue":{"value":{"amount":"+0.8531765937805176","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":"Q3158539$77EDD983-85D1-4E48-90A9-0FE0DDD29C5A","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":"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":"Q3158539$3550379C-72AE-4B3E-A8A5-BC8E817B4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57fdfeebb8f65f96c129e77a02e6adf58168fc6","datavalue":{"value":{"entity-type":"item","numeric-id":543586,"id":"Q543586"},"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":"Q3158539$717B9173-1C11-45CD-A69C-F7515A7A936F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b86df24e6d3e495f5e8e4e4820f0cc7e60391a","datavalue":{"value":{"entity-type":"item","numeric-id":4247256,"id":"Q4247256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d592387ca928ded3cc88c55907ac7312da27b8","datavalue":{"value":{"amount":"+0.8039109706878662","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":"Q3158539$1F2828F0-5807-4583-B9F8-6EDD286EA454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some contributions to the metatheory of the situation calculus","badges":[]}}}}}