{"entities":{"Q893596":{"pageid":895444,"ns":120,"title":"Item:Q893596","lastrevid":42751534,"modified":"2025-07-10T10:02:20Z","type":"item","id":"Q893596","labels":{"en":{"language":"en","value":"Approximate postdictive reasoning with answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512053"}},"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":"Q893596$9120744B-09C8-4DDA-A6D9-75DE2F7D3710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7218e913b53e8865519c2eae0ddacdf0325e8f02","datavalue":{"value":{"text":"Approximate postdictive reasoning with answer set programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q893596$DB8E2D94-E969-48EF-A810-42EAB1C06E22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0a007c9dc43733b8d0026179f56930de81ce07a","datavalue":{"value":"1457.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$E87AC794-4609-461A-88C7-4905924BE62E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40aaa3e1e3747cd512d03c8e3aa001b75c2295d8","datavalue":{"value":{"entity-type":"item","numeric-id":893594,"id":"Q893594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$E436192D-FA9C-4E3F-BD3C-494A6368B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ae4c94cd56baece5fdd3cfabf70fc6b5a0b65ff","datavalue":{"value":{"entity-type":"item","numeric-id":893595,"id":"Q893595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$5896CC42-3216-4563-82B2-A391220B20CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$65CE044A-BB1F-4B63-85DB-89CF4E39768D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"390e76e3a1fc3fba4c5512200895e5fc04f72056","datavalue":{"value":{"time":"+2015-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q893596$27FE6252-C39A-4BEB-8C70-8058B25AB1E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$3889E20C-AE94-4BC2-B139-E0EB106B0D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$E425124E-6DB6-4F6C-A3DA-FA39E8B0F663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$4AC59CF4-D6B7-487E-8BCB-58CA963796BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$E2E7648A-AC7D-4BD2-A799-6F1149C077B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a057f00ff85e9729449cf500e8325fc0134699d3","datavalue":{"value":"6512053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$479FE128-CEC7-42F6-9E98-CF1B2AA982BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q893596$28A2B2D2-89CA-43B7-B442-8F9FA9B1DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a601dbfdf7f759ca2216538d41a9ae4a106a534d","datavalue":{"value":"action and change","type":"string"},"datatype":"string"},"type":"statement","id":"Q893596$137FF590-3047-4210-864E-AF11A68CD737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d43ad2ae99812178ddeabaadfb9db5ad82a76e","datavalue":{"value":"epistemic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q893596$34DEE64C-C954-4911-9D9C-0E36EA881EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q893596$B676AF4E-5AE3-472A-803D-8FF80740CA30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"508c4a9801291ffb4c4eef208cf2e4ef9d68a2a6","datavalue":{"value":"Q62623663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$A89E37F6-94EC-4277-9E75-0297EA9842DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$DB094C3F-716F-4329-A425-F30BDD4E4CA3","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":"Q893596$2A55E15C-D95E-4F8A-BEA4-BC13339C6F99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"529905f6cbd46db13f5135bc5189f5f845138e5a","datavalue":{"value":"https://doi.org/10.1016/j.jal.2015.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q893596$9312D2D9-2EE0-4C99-BDD0-8D0F8049B7D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07e134f97075d36dc1cf53cca5345695bf4b219e","datavalue":{"value":"W1785987996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$021D6E71-A33F-4CAB-8DE6-F5F87F56618C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2aba9da28aaae86716ac92819c38b130d652ac","datavalue":{"value":{"entity-type":"item","numeric-id":2851240,"id":"Q2851240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$A4FAE04B-B5F6-40C5-9129-0C69A503B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$45156B36-3A41-4D5F-8DD7-BB0F51E35C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a87f4f7ab4b236fc8d2e6d6b1480560c58fb959","datavalue":{"value":{"entity-type":"item","numeric-id":893597,"id":"Q893597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$78DB1DED-4015-441C-92CC-CFABCEFFD6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a12c286c612ae993f6a843e87b282ea054b698d","datavalue":{"value":{"entity-type":"item","numeric-id":2851263,"id":"Q2851263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$14FF016B-9ECE-40FB-A59E-1E1B5BA524D4","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":"Q893596$76F69E36-3260-4570-B1C5-55EAE2EF112D","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":"Q893596$FA85AB38-7913-4D00-A459-3F5DE9C718F1","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":"Q893596$1C86188A-367D-42C8-BDE0-392F92464EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38be21b35510a7c19c93e82c1f58d50e6ef5a14d","datavalue":{"value":{"entity-type":"item","numeric-id":4659506,"id":"Q4659506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$DCD10968-7CC4-4535-91D1-E2E22625EAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$31D9F76D-311F-485F-841C-6AE65B376FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6ed2f0fd28cf192ae55cb0f4c8a95d71fd6c90","datavalue":{"value":{"entity-type":"item","numeric-id":814427,"id":"Q814427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$5FC4CC06-821B-4541-89AB-5224A3EB1DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa1e45bb11e7a9ebbc3bf1af113be1e59cfadbe","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$06902D4D-BEB3-45A4-8DE6-B95DA1F7806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f264562ff3723f9a8bb83607328bb57647ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5297630,"id":"Q5297630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q893596$7AADF3EB-9CF6-4430-B71A-E2375C7E6383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d711f1e994d120e10feca43d729312964d8520","datavalue":{"value":"10.1016/J.JAL.2015.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q893596$885B4FCC-A77D-43E9-A981-9FAC8C88BA98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3529f77c646ec22d873b9b1ee2705235ad5d89","datavalue":{"value":{"entity-type":"item","numeric-id":2851263,"id":"Q2851263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9394a86d45412fb3f635680a93c4f1ee428ef7","datavalue":{"value":{"amount":"+0.90945077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$E53713DC-E5A3-4CFC-B997-0AFB86A379D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988df5699e94b306a5047c721c9848e5a1dc02a","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4701c053d7694e41a87e819471657715276f77fa","datavalue":{"value":{"amount":"+0.90102875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$775F5A4B-A179-4D04-B4B3-B26F1FCC4E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49131dd30be92d0c5d796dcd7511715170a7ea57","datavalue":{"value":{"entity-type":"item","numeric-id":2206456,"id":"Q2206456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff99e7934476a1a342b6897d893881889eef1949","datavalue":{"value":{"amount":"+0.89053303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$5F990B78-9673-4961-84C3-7D46D2D7B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58843b71da1294568617278477cf9fc80ce2953b","datavalue":{"value":{"amount":"+0.8869704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$8633CDAC-B8F2-4BCF-A2CC-6AC5B571DB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ff9ad0f8a001b0c2d6976dac326579f4799425","datavalue":{"value":{"entity-type":"item","numeric-id":1688962,"id":"Q1688962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38997d797ff5ae8d71089c80e737ce917d5a814","datavalue":{"value":{"amount":"+0.8863442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$057CA18E-66FE-474B-957F-61A753EF0C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a4164df21067809c8aa1c9afba0a4e529ef901","datavalue":{"value":{"entity-type":"item","numeric-id":5449643,"id":"Q5449643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa10b4239cb92a602a7a8a93cf3375aafb1c5088","datavalue":{"value":{"amount":"+0.88463163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q893596$07DB36ED-AFEA-4C29-8735-2D6AC24E377A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:893596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:893596"}}}}}