{"entities":{"Q3608651":{"pageid":5638557,"ns":120,"title":"Item:Q3608651","lastrevid":50591840,"modified":"2026-01-14T12:17:26Z","type":"item","id":"Q3608651","labels":{"en":{"language":"en","value":"Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523610"}},"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":"Q3608651$A00F0422-1313-46DC-8CF6-C845A767D5EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4348f137b891286875333644c1162e7110a30c5d","datavalue":{"value":{"text":"Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608651$446B5042-5C44-41BF-A792-BE829E18507F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d63c367c90fecfe2d1eb9a564a8169e3d9d4adaf","datavalue":{"value":"1213.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608651$2926A4CB-B45E-4956-A069-B17ED1BD789D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2e9f1cb9fe6de5193bbbe3a1b2ea65779f3f27","datavalue":{"value":"10.1007/978-3-540-74610-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608651$0FA58EC5-CDE5-4387-A3EF-E3A8D0259E12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608651$1537CBC5-9123-4629-8D0D-D4035A35A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a04068cc433f2e9509aadb4dc79e0d8845b667f","datavalue":{"value":{"entity-type":"item","numeric-id":420787,"id":"Q420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608651$7BD97B6D-D514-4E7C-887D-D2F8ABFDE7DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608651$69363B26-CDF0-4760-A241-4A47E4E6EF26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608651$8DD5CFA4-6908-49E2-B9DC-4D379A231A51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f2903a481e570841e648a93544cf302de8f125d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.169.4551","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608651$B869C654-114A-4A31-96FE-2FBDC38437FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608651$2EA7C276-FD5C-440F-9AFF-75930C19EFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff806d6bb1308da29d020da355bc26e7f4c70ef","datavalue":{"value":"5523610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608651$720897C6-7193-4D53-9C27-E667D1055B72","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":"Q3608651$BAA77D5F-2D0A-4E8B-AF5F-326B85CA9BC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84728cf35f86cb0778d84b6d4effa7016e9c7907","datavalue":{"value":"W1587330991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608651$9C97897B-7382-4516-AD6B-56C0CD67FAB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125a4c6d8a7938091a3553b706b5846228286e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3546041,"id":"Q3546041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6d92c35e01dc738be08e4675207b0f10ed4c19","datavalue":{"value":{"amount":"+0.9969427585601808","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":"Q3608651$AB732BA3-3299-4209-84D9-242CC428AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500f346dfbb0ee009a30a87589d486d9a749d300","datavalue":{"value":{"entity-type":"item","numeric-id":2946700,"id":"Q2946700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68913cf0248daef9ce68b1602048a825254ecdd","datavalue":{"value":{"amount":"+0.8281813263893127","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":"Q3608651$42B2F72D-4AC4-422C-9A88-52D2EFA800C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee1d9821ca5ff1e0f36d7bea25352cabc50b064","datavalue":{"value":{"entity-type":"item","numeric-id":5449589,"id":"Q5449589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540cd87ebbe09d3dd7f1ea0c6322e593ad5c9b60","datavalue":{"value":{"amount":"+0.8069295883178711","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":"Q3608651$8A1F394C-FB8A-4FB9-84F2-AACDF189CEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186291f80cff93c8d53d40fe089235592d67f435","datavalue":{"value":{"entity-type":"item","numeric-id":3608650,"id":"Q3608650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fda1748f51a69978a36d563d54caac6f48cd9c8","datavalue":{"value":{"amount":"+0.7562552094459534","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":"Q3608651$6F8CC623-CD83-4A4F-9213-42024DC9E8DA","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":"eea941ce8d036d8ebcd82de8cbabdea6e5bfc222","datavalue":{"value":{"amount":"+0.7510091066360474","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":"Q3608651$A1CC1CCD-FDDA-4B2E-BF5D-504D2A7FA676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608651"}}}}}