{"entities":{"Q5738914":{"pageid":7768466,"ns":120,"title":"Item:Q5738914","lastrevid":52826768,"modified":"2026-01-23T14:25:29Z","type":"item","id":"Q5738914","labels":{"en":{"language":"en","value":"On knowledge-based programming with sensing in the situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729725"}},"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":"Q5738914$63820D56-D64B-4B17-9FFB-C3E70F06FA33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"406738a91363a27f5237c13609bff5d1ba3411cb","datavalue":{"value":{"text":"On knowledge-based programming with sensing in the situation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738914$300517E2-BA8C-4BAE-A7A3-EA63A559CC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8c238519ff735bc65499a47e22b8e3142ba7813","datavalue":{"value":"1365.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$C342E338-81C5-4DC1-BEFE-2D833F086AF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f42cbeb4bc67bb7dd554733438c51b43fa50c7c","datavalue":{"value":"10.1145/383779.383780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$4F074D8F-6037-4876-8BF4-60B0B8303837","rank":"normal"}],"P16":[{"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":"Q5738914$9E07AF25-88BF-43B6-8B8B-76245C1C4E8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738914$F8CE0176-094B-4174-BE15-4150EE4A7110","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738914$88E2164A-FB56-410E-86D1-0B1B247F9597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$B75E27E3-1E85-450F-88D0-19E9F0B4C38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$2AD4F615-C0DF-4760-AF33-0AB641874290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$643745DE-D6A7-42B8-9594-C9B0AFBB7017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$90980540-C80C-4837-BC87-08EE65D38F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40a6d53d6eebc48611fc0b12f88fda9f9835e10c","datavalue":{"value":"6729725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$94F4E570-B62C-4812-AAD0-14A7F8AD74B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e416c2f3515bf5973466b10f1371132c7040542","datavalue":{"value":"dynamic closed-world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$5E86D59F-0116-4238-B082-44617C0487FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d04dbdad035a1499bdd567da951749fef0c1ded","datavalue":{"value":"sensing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$D86E01BF-5F36-472E-9828-EF7657E2433B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$E4016712-067D-4A8F-9A45-4F678D519699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$331B7386-08E0-44BE-AC09-BAC760271553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b36e59d85aa16a477ac8819c2e0b5ea5144aee","datavalue":{"value":"situation calculus programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$C1FE6F87-5FE3-4AC4-B826-D591C5F05AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738914$34D47F7C-5F66-433F-BCC4-1154D3D0578D","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":"Q5738914$87E02B7B-525E-464A-B6E7-17F1369AC57A","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":"Q5738914$63CAF3E8-8439-4D3E-84EE-EF27D0F1C3A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"645e9780c530bfcafde1c2f56c405f2f277af14f","datavalue":{"value":"https://doi.org/10.1145/383779.383780","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738914$436B0E2A-012B-4400-930D-C323ACB7F30C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa22d6f5351f724e6e0cb6a1447f519fca775c5d","datavalue":{"value":"W1977208552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738914$7EDBD521-5C58-4B39-A594-A1DA04A8F182","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e188a71b7d4bd24adc9fb223e8b0ebcb97335d","datavalue":{"value":{"entity-type":"item","numeric-id":4576249,"id":"Q4576249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f5236fd61176a55299ad8d557e17c2ab2ebeba","datavalue":{"value":{"amount":"+0.830468475818634","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":"Q5738914$B2A85105-2B4B-4F98-B61E-0353D141937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb103c8e51b50812063380a115f257192aa8bd9","datavalue":{"value":{"entity-type":"item","numeric-id":813424,"id":"Q813424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267e95df94df7b95b881989ee40514d17029fc88","datavalue":{"value":{"amount":"+0.7878105640411377","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":"Q5738914$E153AC8F-9F9D-4BE0-9A39-5B062C5BA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918754948700998eef51b89a590a694747ff0653","datavalue":{"value":{"entity-type":"item","numeric-id":4467045,"id":"Q4467045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949a831e9729a4f0829750e19627d47f5978e1ea","datavalue":{"value":{"amount":"+0.7781903147697449","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":"Q5738914$8439627E-F5A8-4A1F-8F14-DD63C26FA9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f02f0bc36c761cb66d8e8bd3b6bc8e86a22a0","datavalue":{"value":{"entity-type":"item","numeric-id":1840653,"id":"Q1840653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3dadd26cb7e137d5b090ad0a1fc585a13c52e9","datavalue":{"value":{"amount":"+0.7763205170631409","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":"Q5738914$A4549C77-4F40-477E-955D-1F0E01CB010A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44dee0f22ff97caf302a6cca5e70082a303c56dd","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06797a6b2dc3efed28c224e96b52592ddf9b4c72","datavalue":{"value":{"amount":"+0.7758851647377014","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":"Q5738914$4F9CBE94-2215-4B86-8D3B-146587BB251C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738914","badges":[]}}}}}