{"entities":{"Q814607":{"pageid":816455,"ns":120,"title":"Item:Q814607","lastrevid":49779118,"modified":"2026-01-10T16:04:08Z","type":"item","id":"Q814607","labels":{"en":{"language":"en","value":"ASSAT: computing answer sets of a logic program by SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003964"}},"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":"Q814607$FDAA145F-E4FF-45A1-B5D3-8E6C5F5E734F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b51def85d9a8e2d3f6af636b859c88f4334939c1","datavalue":{"value":{"text":"ASSAT: computing answer sets of a logic program by SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814607$AA2374EA-9803-407A-BB9C-51373B122FBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b814d4a171250400954fc9d4549c0c733d95ba4","datavalue":{"value":"1085.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$591F28EC-D6AA-40F7-AACE-E198AC552D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$77C9E50C-4CEC-430F-8559-A67D752A1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"956756cf665e49dd77dfdae68be4bf806de13b24","datavalue":{"value":{"entity-type":"item","numeric-id":274419,"id":"Q274419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$8B28037F-2AC7-4E71-89FD-50251085D491","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$C4E86B8C-62C2-4BCF-82D6-C14792CEBF1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814607$C383BDC5-D523-4389-A66B-250C3190BDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$2DD2AB5C-A058-44EE-A8F4-581B9E3EB650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$1FFE4872-0337-46D8-8C4C-0E9E5BF426EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e587bca7fc31b60638c1ebbb790bb12d317cef71","datavalue":{"value":"5003964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$987294FF-548C-480C-8657-47C9E254F8E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be127f46e61c0537cd83f5252237d7bd39c4f663","datavalue":{"value":"Answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q814607$1B7F2F61-084B-4C34-886E-76EDD27585BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e843817a66a078d9581ad93747bbaee5dc615f","datavalue":{"value":"Answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q814607$C693AB0F-4FAB-4D3D-A308-33E0B85A763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb4fa58a294cb62f42b96c5016527cf47d78295","datavalue":{"value":"Stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q814607$485419D1-7AC6-4FD2-8C6D-6264D773171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q814607$48AED398-E943-4EE6-853C-A8E6C2720656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q814607$B9473DAD-9A2A-4E59-AD9E-26CF7A061998","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$675FE13C-5B88-48FC-8342-5E2E21F0BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$AD75375A-9490-43C4-B62D-25B3CE471743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$DAAA7DE1-21A2-4257-B1B1-B889020C6D4F","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":"Q814607$9AC6F2D8-4A8D-42E5-A9E0-47311942E41D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6964871a64a4cfd78b8e7d83886b037443581a79","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q814607$41CA1155-A369-4F60-B298-5BADB6094472","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bcbdb3c23b7e8e9b7e6414c49fdba4dc12ac0cb","datavalue":{"value":"W2004414305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$757E4CCF-7D8A-42CE-BDFD-F2106530D87F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$2024A71B-4C96-4AB7-A70C-825EB2811797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$51C32399-BD44-4791-AF37-9AA574A5A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd26bb968c8dad84c9278236a22d99190f072c1c","datavalue":{"value":{"entity-type":"item","numeric-id":4739121,"id":"Q4739121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$34ABDE00-9810-427C-8046-CDAB18618FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12855f57ca1be276d2c6b4eca44c97f5a4cdad00","datavalue":{"value":{"entity-type":"item","numeric-id":5424870,"id":"Q5424870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$D7FAF0BC-26A3-45AA-B13E-2B84BC6DC2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81629915ad3a79bb20887705a77cbf2edca48893","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$0682C361-EBAA-4FC8-B40F-A0608021F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e3684754825a081af253d8848c5fc38ec62d17","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$CB37FC09-AA69-45E6-9967-5DDE5D6AC8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871f387d790ef8a665a675ba073af976307861ec","datavalue":{"value":{"entity-type":"item","numeric-id":5424888,"id":"Q5424888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$02DDAC74-81FB-45F5-990C-9E60C9E0B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$473EE49D-33C1-4EF9-92D3-BE2B73811FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$B716B4CD-FCD8-4160-B8DA-FA633248E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbf965e2a0983b675b7f2aa8c10f8a0eb307eb4","datavalue":{"value":{"entity-type":"item","numeric-id":4230728,"id":"Q4230728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$A6F42B75-BF82-4B76-98ED-A231F207EA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ba661393112374c0e4cc180dc2533353bf664a","datavalue":{"value":{"entity-type":"item","numeric-id":672058,"id":"Q672058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$5122283D-4192-4FA1-92BD-A7822CDD22AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814607$09714658-C09B-44C0-9728-D9838E1A6412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38bd481eed3525861f827a13a1304fdc90bda88f","datavalue":{"value":"10.1016/J.ARTINT.2004.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814607$ED800B36-F69E-4583-A8FD-33F98FD41C72","rank":"normal"}],"P1643":[{"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":"d2de39c47f1a8b52085cbc64e20892826701d784","datavalue":{"value":{"amount":"+0.8447991609573364","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":"Q814607$52256977-270F-4284-8C89-576CDF8A9D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e2463a002ab392f904bc28821c540cf294623a","datavalue":{"value":{"entity-type":"item","numeric-id":5424888,"id":"Q5424888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fb4da43af1986dc05179566ddecd19d571677d","datavalue":{"value":{"amount":"+0.8374655246734619","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":"Q814607$B57FF4A0-C62B-4757-9544-FF4638EEB88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841520a04d8a80fcafe67db46bc622be41c77746","datavalue":{"value":{"entity-type":"item","numeric-id":3001916,"id":"Q3001916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e84579ebf8f2189bc6727f30867c60ec9b19e33","datavalue":{"value":{"amount":"+0.8357855081558228","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":"Q814607$8DA7EA28-F203-45CF-9D52-7D087FC06A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f965dee0a264858ef5a98a69afa73d4f9201b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5475768,"id":"Q5475768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73de91e5d160375aa32a9c642af647fc2046fc64","datavalue":{"value":{"amount":"+0.8235626220703125","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":"Q814607$485F6D7D-02DC-4C75-9F34-26A2EE144656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46db543420f11676f0d39ffebe50c3e77eade4d","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c574b5df6769afcddd5b95483f007d2926c11ae","datavalue":{"value":{"amount":"+0.8176717162132263","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":"Q814607$EDC2FFC5-37C8-4DC5-8C2C-82A1B4DEAD0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814607"}}}}}