{"entities":{"Q3008404":{"pageid":3019128,"ns":120,"title":"Item:Q3008404","lastrevid":45244570,"modified":"2025-12-03T17:31:33Z","type":"item","id":"Q3008404","labels":{"en":{"language":"en","value":"Abstract answer set solvers with backjumping and learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908204"}},"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":"Q3008404$296A2898-7E9E-4C18-B1D6-7E4B1CA21B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e56ffcf4596da58d95acc768d2de72971452dded","datavalue":{"value":{"text":"Abstract answer set solvers with backjumping and learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008404$F6A19D54-61DD-44A6-B070-4089FE2460A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc758e14f146acaac5a8d3152110f33dc4a736a4","datavalue":{"value":"1220.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008404$433FC8D9-CFBD-446D-AD8F-1D2357E81F94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faafe16162a9a1633910eeb0cebf293a85c376e7","datavalue":{"value":"10.1017/S1471068410000578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008404$FA721E77-29C3-4979-A9EB-883F65652C6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008404$D9E25C30-9F9B-4DEA-9325-B089C40B5069","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":"Q3008404$CB6C316E-AFC4-44AD-89A9-5FF2F3FFF257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008404$7559ED1A-99D8-4813-BE73-E27C72FD79E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008404$8DA54D77-3BCB-487B-BACA-A8B2DB3BFB7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8410318aac146b6981846d6181eb2831cae2000f","datavalue":{"value":"5908204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008404$88A38179-1642-4B63-9D39-33CF6E3F7F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008404$B45EE182-1780-426A-9AE6-BAE195C33769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008404$DB190FB1-697A-4047-A284-A2F0AE8B7CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008404$642F3E37-3CD9-4876-89A0-D1F0541116E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008404$8EA5DD67-5871-4C66-9629-0B4BC02C0A63","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":"Q3008404$C0098413-89E5-4893-BDBB-8AE0C7BADFF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51707c8ecedd00e933a576b9c0c21ca71160d5ea","datavalue":{"value":"https://doi.org/10.1017/s1471068410000578","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008404$4E6FD077-A16E-4E85-AD7C-D16CB54ADD66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c6fa7dfa4259477370dc5432ce90982e94f6c10","datavalue":{"value":"W1964233932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008404$DC4EBC09-91A3-48BE-91B0-A5E92E9F199E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df0a704069eb49c994220515c17d02ba95667f","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880d5bdbd04f273424ffe90c5e6b80573042a6e0","datavalue":{"value":{"amount":"+0.892119","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":"Q3008404$2C592BD0-D609-45EF-822B-96A9132FD410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d619108a2d5b866b8ef6c401dd18e4b73e49437","datavalue":{"value":{"entity-type":"item","numeric-id":1647512,"id":"Q1647512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237dba573f53324144b7a5a1b91a781e1daf17f2","datavalue":{"value":{"amount":"+0.88066524","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":"Q3008404$4D4AFE01-0D5C-4BB3-8E2D-7B37839BA955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9956fc55f66bf4bb77abc4efe6d56236a6389a1","datavalue":{"value":{"entity-type":"item","numeric-id":2341833,"id":"Q2341833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e0c68010ce7774bc6a83de155be299ec94c9b1","datavalue":{"value":{"amount":"+0.87312996","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":"Q3008404$B86B5E1E-6ED3-4036-BAE6-22557FD3F8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac66bc9ca029040c62eed7431c5205e4f067b33b","datavalue":{"value":{"entity-type":"item","numeric-id":2883067,"id":"Q2883067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9a9d7f630ed5d06e741baed9b7f888d923f7bb","datavalue":{"value":{"amount":"+0.86543536","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":"Q3008404$5E1021C0-1F0A-4CE5-9B6C-DBD17E3137F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faebb0c9bc809c0d14c37256eab33f9436f077a","datavalue":{"value":{"entity-type":"item","numeric-id":5282970,"id":"Q5282970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c82955b3a09c4a465b83c2454cb18f4654a63","datavalue":{"value":{"amount":"+0.86453193","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":"Q3008404$0CE51E12-9BBA-4C09-9190-46572746D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4df59161d956a54a7803e0bec38903787d6f87","datavalue":{"value":{"entity-type":"item","numeric-id":1605408,"id":"Q1605408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e87d145751a53a786407a31717d783ed7816205","datavalue":{"value":{"amount":"+0.85916746","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":"Q3008404$DB85CB9D-9B4B-41AC-8F1A-E8147BF2E6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc69a43ab8226b6eb09c8bfca83cce9db9902b44","datavalue":{"value":{"entity-type":"item","numeric-id":2938503,"id":"Q2938503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fe74e90bf59a5e1ad8092a5cf285de34d2363f","datavalue":{"value":{"amount":"+0.8548165","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":"Q3008404$329B6102-0771-4D04-923C-FEA1541F77C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcc23752b66a839fdb0bda96fa73743ee2bb348","datavalue":{"value":{"entity-type":"item","numeric-id":2943878,"id":"Q2943878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0555ff2ed1f996751081a59bee90d33602e085e8","datavalue":{"value":{"amount":"+0.85264426","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":"Q3008404$5658294A-CDC4-4F94-AB46-EC78035F7B8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3008404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3008404"}}}}}