{"entities":{"Q6063873":{"pageid":13198029,"ns":120,"title":"Item:Q6063873","lastrevid":55528387,"modified":"2026-02-17T18:16:43Z","type":"item","id":"Q6063873","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 7776334"}},"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":"Q6063873$AB612D7E-B671-4919-BD21-7A1CF2508F71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fb48ee34c864c7312f82890db54328f7d68f73b","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":"Q6063873$DDBE35A1-35F0-485A-9B3B-8B8D08B57BE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adaa2684cd7417af48249626be5c6a20092490c2","datavalue":{"value":"1530.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$DEC970DE-33F2-4D7B-9CE0-6331AAD278D6","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":"Q6063873$63191B2B-0268-4A1A-AA98-5026F1B88E0B","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":"Q6063873$54CEA024-F2EA-4CF2-97BA-1817B1944380","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":"Q6063873$A6439C97-E328-4027-97D3-CA160C5AF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a86691adef3d925dd95e3f08184763486122e3","datavalue":{"value":{"entity-type":"item","numeric-id":6063872,"id":"Q6063872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$B734C967-02B9-4BC3-8A9F-8B3FF952F928","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$0FA30851-F981-4397-AAD4-CB6557C0ED17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063873$F248F3A5-2B79-4337-969A-4ED365E043DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$445CFBDB-88D5-421A-BC70-2D03D5A7EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$FD0C9299-31E6-4927-8D23-A0F821D23D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$5F67F97E-9924-4D0F-9F95-E52C43C53146","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5db33bb12fc5b25b884fb4fab37f3a4441e452a5","datavalue":{"value":"7776334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$99672A66-312A-4CE5-B48E-6FE69BB71F42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eda21f9216ceb353eba4019db944dca362deb6","datavalue":{"value":"event calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063873$0A15F100-287B-4148-A2F4-7E13267A558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063873$D45A40C3-5D56-49E2-9CD8-7C657E22B502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063873$BBA63310-EE2F-4472-9D3D-E9AF27E603F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063873$C52B0A88-A4AD-413F-B66B-2CEC3E1EE38C","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":"Q6063873$96FF6F2B-E233-467C-9051-7E42542FF5C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d492b53a02d76f496f7fb1552d0167db43319f97","datavalue":{"value":{"entity-type":"item","numeric-id":4957184,"id":"Q4957184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$E0BE6066-CB91-4411-9AB6-A7FEE6018458","rank":"normal"},{"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":"Q6063873$F5963F9F-098C-425A-A350-BE81084A5842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1d831f17aaefaa784b484e2ec7b63fadf1f01f","datavalue":{"value":{"entity-type":"item","numeric-id":5097632,"id":"Q5097632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$EF458CDE-CE96-47EF-93E9-6E258C0F859E","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":"Q6063873$E253C9CF-6FC0-4DED-BBF1-D14368FEBA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587a3b16895251f7c4dae8e4d9240c7bd470d81e","datavalue":{"value":{"entity-type":"item","numeric-id":294756,"id":"Q294756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$078A3DA6-3D47-470A-B30A-B6F9F1FEE01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$02CD8DCA-0BC6-4884-A662-12C4DB4B5423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$E9DD7485-7F66-47E8-89DB-579EEAC79303","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":"Q6063873$20DD5F13-9147-49F2-9AC0-7C913BF8BE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$CEC020D7-DA86-46BA-AE6A-56E6EE4CAB46","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":"Q6063873$F1D2CE8D-2EFE-41D6-9817-CF195E4C3AFA","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":"Q6063873$64D5A665-0347-4A97-9312-55D1DB707029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$8C20F17B-4C4E-4FF1-BEA5-FA9D45AA68AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$F2FA51FB-3CC2-43C5-ACCD-FD18E12EF10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$10162225-BF9C-4375-A128-28F91F84D3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc81f3f394ad988fefc2ca64017ddf50507c53f","datavalue":{"value":{"entity-type":"item","numeric-id":2931249,"id":"Q2931249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$207E7139-D56A-4E42-87F1-63BEB461D909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063873$C2018993-D857-4EE4-9154-52EB522DB4B3","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":"Q6063873$DDC6B346-49C9-461F-B541-A2F224B7F484","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":"Q6063873$6491A9AD-990D-4514-90F5-20282417ED63","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":"Q6063873$612BE416-0B37-4FF8-AA0B-BDCD2FB6A85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e5b51b1ae0484fc5ec65bb6a8fb2db676ba13c3","datavalue":{"value":"10.1017/S1471068421000156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063873$969AF40A-5066-495F-ACF0-9A91D8F12E87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227a66411360f7319aa4f0a6e48ca9ad8052a868","datavalue":{"value":{"entity-type":"item","numeric-id":5097632,"id":"Q5097632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b465d79c32c9dab0c11fa220cac83f0ff9b99f39","datavalue":{"value":{"amount":"+0.9628810286521912","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":"Q6063873$5DC46D25-69AE-4863-937F-49C68DED4A3E","rank":"normal"},{"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":"66465edeb67999cad2ef6d2e31bb734c6d5d29f3","datavalue":{"value":{"amount":"+0.7286399006843567","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":"Q6063873$E66C02DE-455F-4B22-B02F-9DD0C1806731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b0070732133ea7ef32d51a53aa38a2b37e2ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4659506,"id":"Q4659506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af4550794e9964bd1a4f2b6ba3b9c7fe083ab19","datavalue":{"value":{"amount":"+0.7254208922386169","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":"Q6063873$D33112EC-2C90-4855-92C6-8049ABCBE794","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":"7899ab53cc25d640580135abd98318f8790c01d4","datavalue":{"value":{"amount":"+0.7182945013046265","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":"Q6063873$B2AF5D08-71A1-49AA-B581-EF2A27961EB1","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":"f924fe2aa646993f3395f7a8aa6b4313682de5a0","datavalue":{"value":{"amount":"+0.7160443663597107","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":"Q6063873$19214195-2845-46E4-B803-EFD7D9E774D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6063873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6063873"}}}}}