{"entities":{"Q5101452":{"pageid":7131028,"ns":120,"title":"Item:Q5101452","lastrevid":54391277,"modified":"2026-01-26T18:11:58Z","type":"item","id":"Q5101452","labels":{"en":{"language":"en","value":"Situation calculus specifications for event calculus logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577930"}},"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":"Q5101452$654715F4-A84F-4451-A97F-8C3648EB10AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5081d4bd3f5060f8d23eccd8a12826b4440c2d9","datavalue":{"value":{"text":"Situation calculus specifications for event calculus logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101452$1CB11F45-59DC-47CB-B34A-4896217ECDA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc50c2bddeb007e2953b9e2a53bb77ed7b8750b7","datavalue":{"value":"1496.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$BA2426EC-5FB4-4680-BF2B-4799D67E6656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c951ccc26cdaf08d6529247a6b97816d6cdfd23","datavalue":{"value":"10.1007/3-540-59487-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$E8BBDA03-239D-4640-A397-FEF7BED78F9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e19cc78bff61190d121f140f54845879ab72fc","datavalue":{"value":{"entity-type":"item","numeric-id":543578,"id":"Q543578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$C17BCD10-B527-426E-9758-03F16CB2CB7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$15828DF7-0C78-4283-AAB3-67257809A437","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101452$CDD833D7-B808-4AEC-BF29-9412E8BCBF98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b0811eb316c0dc9f52d1097b95c10d3a5041f6","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.516.9807","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101452$1B35DE42-59A8-42C6-916E-9A455183E475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$63A84B20-7834-4545-A2A2-7D7C83F9D152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$9052C6F9-D0D6-4264-8AA3-D563B334E29F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01e17d7764e7441bf5108b0f63c30b797e612805","datavalue":{"value":"7577930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$70607906-3468-4196-A45C-18CA9346658D","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":"Q5101452$8474F26F-77B0-4121-ADFC-D509A9409BCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5137995eb2eb148330c638894c7c0098fd71c3f7","datavalue":{"value":"W1514810828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101452$18F84695-C9D9-4F76-BDB3-71B01F9761BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8040fb32af29e39fe1440798fca2174c17ffa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1182155,"id":"Q1182155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$6D48EF1A-CE37-42CB-962B-C2327FE0A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb45665eb481f8b77c43534acd19e842a4059d5","datavalue":{"value":{"entity-type":"item","numeric-id":4849644,"id":"Q4849644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$9DA0B264-7720-4692-82A4-85AA618DB65D","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":"Q5101452$70475276-8EA5-4B1B-A1E4-4519020FE9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b34158f96d60295d877241cec5bbda9c4d9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4369865,"id":"Q4369865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$4CC4859D-1B74-4363-9601-815C12F81EA9","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":"Q5101452$E79526E2-EACB-4C27-80B2-D9FA55511953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66a4c7dd843b9cde3eb2494c0b27cc06c0d8702","datavalue":{"value":{"entity-type":"item","numeric-id":4316293,"id":"Q4316293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$FEEE648B-B7E2-415B-8289-5BB01D2D44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101452$06FC6330-2177-4CEF-94DC-712DE87E9127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4bcfc0d21d40fb0121c42673db346889db493a","datavalue":{"value":{"entity-type":"item","numeric-id":2887086,"id":"Q2887086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e621db487af8ad1bc4458c152e22588343bc8fc5","datavalue":{"value":{"amount":"+0.8397853970527649","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":"Q5101452$8DE8FC27-2BB8-4A4A-84C6-D039C3865017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4b374277bfb593b1cbbf07fb021c4727e9fb05","datavalue":{"value":{"entity-type":"item","numeric-id":4707774,"id":"Q4707774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1206a2150fced740f1c870146a8ec584667ced2e","datavalue":{"value":{"amount":"+0.8153275847434998","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":"Q5101452$E617F9DD-8D11-49E6-A889-E8E00E4D4B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d073bd9646fc96864a0473fd640ac8072ed28c79","datavalue":{"value":{"entity-type":"item","numeric-id":4352527,"id":"Q4352527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25830dbfd142fc5ea54163c37a35d199ae40e4c8","datavalue":{"value":{"amount":"+0.8144710063934326","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":"Q5101452$192B9E73-17A8-40D3-9843-2907781D5FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bdb8358923d0c9ffbb6a5485c2bb825f700270","datavalue":{"value":{"entity-type":"item","numeric-id":4352535,"id":"Q4352535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45ac8e8bf610ce2ddbd58ce6f21250c1f1d2f21","datavalue":{"value":{"amount":"+0.8116444945335388","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":"Q5101452$4249381E-8CB3-4DF0-9295-423173E0C33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bda7e8f4a67c5f9f79f656e6abc4ec38158236","datavalue":{"value":{"entity-type":"item","numeric-id":4352528,"id":"Q4352528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452a8e78aee240daa8a30108bd392c91eec3f837","datavalue":{"value":{"amount":"+0.8111045360565186","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":"Q5101452$9A8CCC5A-4C9B-44A7-ACED-04634891E65E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101452"}}}}}