{"entities":{"Q5097632":{"pageid":7127208,"ns":120,"title":"Item:Q5097632","lastrevid":58424253,"modified":"2026-04-05T04:06:41Z","type":"item","id":"Q5097632","labels":{"en":{"language":"en","value":"Modeling and reasoning in event calculus using goal-directed constraint answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576125"}},"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":"Q5097632$744B8CCD-9C42-4912-9E16-C81A22C1DDDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c689f32df4302c690b7b132a4afa2d3be1ce5b0","datavalue":{"value":{"text":"Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097632$C457D83C-BDF4-4A00-A5DC-5DB9AB43A5F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"653a37d0497502b1630b8332dff398fb4b7d86d3","datavalue":{"value":"1502.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$0472AE83-82D6-46B4-B67B-8359E908C077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8204efc39ee84ae6144b1ce18870be0a232ba25","datavalue":{"value":"10.1007/978-3-030-45260-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$FEF99F54-FBEE-4222-83BE-098B2F8CE53D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c805a7a749955a188e61b1f77a96cea4382c824e","datavalue":{"value":{"entity-type":"item","numeric-id":4559796,"id":"Q4559796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$4B31C791-9425-4003-9606-2E317EE34580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c193a0632f80738d782dc19b69518aa216a4bd9","datavalue":{"value":{"entity-type":"item","numeric-id":647834,"id":"Q647834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$18FDEB84-BAAA-4765-84FB-9D9047876417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b1d7461ce49bf38182fb4be83776f28f0614a6","datavalue":{"value":{"entity-type":"item","numeric-id":488322,"id":"Q488322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$6AEACE43-B9E0-4771-9FD1-9075C5546325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$10B89AE0-3936-4B42-B427-E94461AA4C62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$10BE90B3-3B85-4E64-9318-E6636F5C766B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-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":"Q5097632$622CA4B9-FF59-4DB1-A868-EA37EE20C64C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed4a87a83c7c0b4ce15b471b16bc8a11d396bb34","datavalue":{"value":"https://arxiv.org/abs/2106.14566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097632$FA031397-7AA8-49AA-B1EA-851E580493B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ec4d32fe50570acad396ae2e7d9a7df5343cac","datavalue":{"value":"http://oa.upm.es/63685/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097632$026613F2-3430-4D13-8045-14DF938FBED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$F1B1DB42-9182-48CE-AD8C-E24A4851ADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$945A31FA-78D0-4A32-B910-17CBB312B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$83B0E1BB-E300-4A10-9F53-63E4F9004248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c76b41adba31d770365f511680e7b0c53948c34","datavalue":{"value":"7576125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$E1674BEB-83E4-4B9B-B31D-014B4E4BD6E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097632$6927DDD5-F49C-4644-9CD9-E7C5757C6B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c189c852f4b6df150f6ab3689c61235c478f37","datavalue":{"value":"goal-directed","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097632$B5E4B3DD-ABB4-46FC-AB9D-210A393A71A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eda21f9216ceb353eba4019db944dca362deb6","datavalue":{"value":"event calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097632$F76579BE-B88B-4C01-A4E4-8F12274B8C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097632$799792BB-797D-4BAB-83F1-FA53D18B3611","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":"Q5097632$46550E7C-7CD8-43F4-95DD-243C1BA15E42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac2293002f122dee2b89e33252064c00175ee84d","datavalue":{"value":"W3020620556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097632$573DD12F-9168-40AF-A0BB-D0B69C41C2C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba378074bec44ecbcb8cca084e6d9e6983ec8","datavalue":{"value":{"entity-type":"item","numeric-id":4559798,"id":"Q4559798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$9406A6A1-6700-4C72-A167-B27115F526B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ee40358cafd1a533d59e313d22cd69fea6be5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938519,"id":"Q2938519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$13EA6357-5267-42A3-AECA-FEFA8B59AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$CB3B14B6-3521-4036-AA2C-6E045109F1CB","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":"Q5097632$C3841504-7553-47D5-A10C-1E1FECFF566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c11fde44696795cac33cdd0d688fb5f169e5740","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$DD1E3A12-C729-4777-8105-E45CB5A3D269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56ca330e1555b1351900d7451ea426332faae42","datavalue":{"value":{"entity-type":"item","numeric-id":2887086,"id":"Q2887086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$C79F9DB3-13E1-41D0-A7B7-7FFC20B7CEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$85F9959F-C856-4606-A68C-4CEDAE351E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f8417db223c51208a4d1f2448684521fec2717","datavalue":{"value":{"entity-type":"item","numeric-id":1028649,"id":"Q1028649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$C87F9991-324C-484B-8C33-0F3BB84B81B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801bfbe7d855d6f0888cf9a9763b61d214b315f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484729,"id":"Q4484729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097632$A1D34C7F-DA80-4932-A177-5799F4FA7545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d674077f9f8bb74d7ad25d42877bf4c85cde9f0","datavalue":{"value":{"entity-type":"item","numeric-id":3609624,"id":"Q3609624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6e30adb07e2152483259ba48f4c6719b96f123","datavalue":{"value":{"amount":"+0.7268310189247131","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":"Q5097632$C2F7C1AE-2AA7-4424-B80B-008C98BD2691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0700fc3931dbd0c7399fcf66ad647f2a7cdb3b","datavalue":{"value":{"entity-type":"item","numeric-id":5371000,"id":"Q5371000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4557162c44fe1b4518e899fa0636c13feb1180d","datavalue":{"value":{"amount":"+0.7175710797309875","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":"Q5097632$700C6C33-B4AC-4D74-AE24-F36542F604F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80cd60d8af81b59f29c3c6b97074aa4628b6f31c","datavalue":{"value":{"entity-type":"item","numeric-id":1589476,"id":"Q1589476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1649b856197d5aa5d9f62228ef1bba74b949e91b","datavalue":{"value":{"amount":"+0.7109447717666626","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":"Q5097632$977466F8-78E1-4B9F-A43B-5FC8165D967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825ed3fb3fdf6c4040907f99e7e2b81af8ea46f","datavalue":{"value":{"entity-type":"item","numeric-id":4912992,"id":"Q4912992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed43cef3c30faae5f46569b2bd9a319d283551f","datavalue":{"value":{"amount":"+0.7070218920707703","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":"Q5097632$05FE13F8-BE63-4F7B-B6F2-F61DB3565B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d782b159d15118bcf74d2abb6b639063337f0","datavalue":{"value":{"entity-type":"item","numeric-id":5424864,"id":"Q5424864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b95bcb2490a26d447536a1b2734ac730fb74e9","datavalue":{"value":{"amount":"+0.701958179473877","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":"Q5097632$EF8BA8D5-2843-44C4-8338-2619F1BC343A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097632"}}}}}