{"entities":{"Q5425403":{"pageid":7454977,"ns":120,"title":"Item:Q5425403","lastrevid":50212124,"modified":"2026-01-13T13:12:22Z","type":"item","id":"Q5425403","labels":{"en":{"language":"en","value":"Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211331"}},"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":"Q5425403$444CF222-6235-488E-A86A-A8D866096108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838e2106de0e6682366696914548306717ee6fa1","datavalue":{"value":{"text":"Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425403$94BB3CDB-E6F9-45BA-8DE7-CACF609407B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0a65c17b256d7b5702d7b0fa96975706b3059d5","datavalue":{"value":"1149.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425403$9BA0A43D-464D-4028-9418-950BE77480C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df79c3bd595ab4cfce9343002f5d04352aa19b77","datavalue":{"value":"10.1007/978-3-540-72200-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425403$788077D8-DE79-4455-9C70-B2BB514D9F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425403$B6652711-82EB-4F20-8E9E-BA63D1819BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425403$DF4F2C8E-46AF-41D7-BA8B-38112F9BF216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425403$B4F8C902-B671-40E4-83D1-04BF0A5C17CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425403$2D7DFBFB-1D68-4C03-AAD5-D8B4DF570407","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425403$CB2299F8-3FD4-497B-B9ED-FAC8363A651F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425403$49BCBF50-EB61-4941-8965-488ABBE5A6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425403$E57C1433-7626-4FB2-A577-81D6C3B8D7C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d114491fcc3219cdfc9795d404881974d0369c5","datavalue":{"value":"5211331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425403$62169704-B9D6-4AF9-AA12-0E41E635B80C","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":"Q5425403$F6EB2D00-7095-4ED0-8690-B58D88472AE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f76a89f8eddfd340fe9e39800b3bfb0cc2ed891","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72200-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425403$48501223-C173-4792-9B7B-F4F123BB6909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623e24e0436f54944ffa450a69efa0dc6e757275","datavalue":{"value":"W1596251829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425403$39A3E04D-0E13-4E9A-A8BC-15B1D7125D37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0dd66a1a870c9f8b613a2bb3a940bb0b0e8560f","datavalue":{"value":{"entity-type":"item","numeric-id":2426101,"id":"Q2426101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801ca289ed566f0f880aaca9e538deec7e467ba1","datavalue":{"value":{"amount":"+0.7561752796173096","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":"Q5425403$64F93BF9-D769-436B-82C5-FD85DA7B1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aab874a880418d042ff69cff0bab7bdf2188f43","datavalue":{"value":{"entity-type":"item","numeric-id":5504694,"id":"Q5504694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f48447523a7f963333e0ae98df380fbce1f615","datavalue":{"value":{"amount":"+0.7502850294113159","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":"Q5425403$C9CA7DA9-DFC7-41AC-889C-3EDD62E50C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3f95b2526baa15f22e256b04abbea03967d5f9","datavalue":{"value":{"entity-type":"item","numeric-id":5398063,"id":"Q5398063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5496724349a8c906a48686292cfc813800975a","datavalue":{"value":{"amount":"+0.7485365867614746","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":"Q5425403$A2AC8061-AF1A-45B4-9E65-D5D19C32D6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9afe8c0ad589c17fd2e6c6c7c72642debf4bc43","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9aa37de43343145a0999f225476d5930388627","datavalue":{"value":{"amount":"+0.7477204203605652","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":"Q5425403$69CB01DB-98F6-499D-A565-7F8F3E3EA25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfcebd0e4f9743d6dceedefeeeb9080f9fcc165","datavalue":{"value":{"entity-type":"item","numeric-id":4593042,"id":"Q4593042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de5df34181693d33b5b18f1410c79729c581278","datavalue":{"value":{"amount":"+0.745985209941864","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":"Q5425403$EA0ED640-93BE-4886-83CF-A566C25FE3B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425403"}}}}}