{"entities":{"Q3546041":{"pageid":5575945,"ns":120,"title":"Item:Q3546041","lastrevid":80961125,"modified":"2026-05-06T17:23:53Z","type":"item","id":"Q3546041","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 5383274"}},"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":"Q3546041$ABF4E874-CED2-4E2A-92BB-C252983EE11D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b5f16f045c295531b24a65041c605f22a9ac7e3","datavalue":{"value":{"text":"Extended ASP Tableaux and rule redundancy in normal logic                         programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546041$5C14E179-B6C2-4640-8568-14E9E748FAA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c971c0ac12f554148ee078fdbd191d767aff0d0e","datavalue":{"value":"1156.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$9D46C7B5-9D6E-4227-953F-E3685678F145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d8cb9bf1f43fdbcdc1296ed0c1999a6d93d67f3","datavalue":{"value":"10.1017/S1471068408003578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$F1931FB5-D6D3-4F69-A212-C152BA7D908A","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":"Q3546041$1779C2A8-9A0E-40BC-A0BD-B0197041873F","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":"Q3546041$5E05E7BD-8837-4E5E-A5EB-0B657EB74B03","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":"Q3546041$B1D95A23-3419-425B-AF2F-90198F3AD4F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1663d3617535929b278b9313fbf9b2d4c917782e","datavalue":{"value":{"time":"+2008-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546041$4D9ADDA5-2BD7-489A-ADF1-2003BE22F963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$4917B352-19A8-4E73-A02E-0B4C1A5C13C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$D37400E6-C0CE-440A-B3BE-CD6387870A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9076d4e2d6b76ea601d7507cf4c2f09b129984b2","datavalue":{"value":"5383274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$DBBB16BA-F793-438E-8925-7B47E33BA65F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$C547FA59-6C1F-47E3-8877-D1D6A6A5FC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$AB910C7D-3D6D-4AB8-AAEF-4B5F129E2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$671E72E0-3A1B-44FD-AAA0-EBE91E29071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$38847577-8B29-4B0B-910A-5C1F80E1E2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c33959b102d36865242ebd68912f0393ebca3f","datavalue":{"value":"problem structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$C3FC5601-99F6-4D7B-9EB9-215B8E854899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57675c9959ba87561a0643c9100bd9faf3c6d960","datavalue":{"value":"Extended Resolution proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546041$7C85102D-60A0-48BB-87BD-4BFA74FEDA5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546041$566E0F3C-D7EA-48A1-98D2-EC8CCE347837","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":"Q3546041$2280A6E2-DDD1-49E2-97C6-D9751360AD7C","rank":"normal"}],"P223":[{"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":"Q3546041$426BA082-2B25-4CD1-98CE-B6C53A6B1112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eb3594f8e8ef5da8c9fe62370fddbb4c99f60c4","datavalue":{"value":"https://doi.org/10.1017/s1471068408003578","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546041$692ADB47-A5F6-400C-9A50-1E32111EE505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3401dd2cee283ef89605aed6d44c4d392c71a524","datavalue":{"value":"W3103407543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546041$16510CF4-6FB1-4E44-8511-F7389CF7F179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67a488e899443f82440bd251e8531afcd9ffe13","datavalue":{"value":{"entity-type":"item","numeric-id":3608651,"id":"Q3608651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q3546041$E8768645-EB74-4C71-BFC5-390E0A229E7A","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":"7f401d157d9068679900b08ad5cd790dd25397ad","datavalue":{"value":{"amount":"+0.8691217","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":"Q3546041$29BE4808-B2D7-4048-A95D-5F0E40902EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b1eed3073a36069f1482abd50648c1b16d44a2","datavalue":{"value":{"entity-type":"item","numeric-id":4610313,"id":"Q4610313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680c4aa9f861fb693ace60bb2cdc8276e51a938b","datavalue":{"value":{"amount":"+0.860071","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":"Q3546041$6E10E3E1-B810-4C05-A54B-E7F1CDFF3D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897a0d74130bffd660128a6582f91944106428f6","datavalue":{"value":{"entity-type":"item","numeric-id":2738998,"id":"Q2738998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe97f9a697630933ebf036dbfa297d7535cae1a","datavalue":{"value":{"amount":"+0.8484902","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":"Q3546041$339F10E8-C2CB-43B6-B0E3-8FC778698783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c2d8b32ab2781506ac5ac49e5b7041f7b50e61","datavalue":{"value":{"entity-type":"item","numeric-id":5394606,"id":"Q5394606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c5791518fa1b1816fb1876b786bc7901ee4c33","datavalue":{"value":{"amount":"+0.84845805","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":"Q3546041$6CAF61D3-4621-4D87-B300-2FB6BDE93B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cae84bb6a167751dff8716b0f3cfaf8e9a6d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5171087,"id":"Q5171087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29ace6d5a56761f56f98f5df26e03d647b71fe5","datavalue":{"value":{"amount":"+0.84733355","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":"Q3546041$45F77815-58B2-4019-8D08-238389327182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613cfc2da30320cd624d30ebde6646a607d9e907","datavalue":{"value":{"entity-type":"item","numeric-id":4812964,"id":"Q4812964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af42bd89a5a8837a937265e9552767a2ca305945","datavalue":{"value":{"amount":"+0.8462643","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":"Q3546041$0E82ADC4-481A-47FC-A28D-DD695C9C4CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739090088eeb613059502be0c86212245b8e1474","datavalue":{"value":{"entity-type":"item","numeric-id":4417884,"id":"Q4417884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc5744902298f7ecf9f86f5a341859d4c792ad1","datavalue":{"value":{"amount":"+0.8453371","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":"Q3546041$2A007705-FEFC-4688-9509-E320711C3CF7","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":"df73ecf0180fab47cd69ce01a118dbb3dcb71d2d","datavalue":{"value":{"amount":"+0.84425545","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":"Q3546041$17D6E104-4FEF-497B-8066-4A73B8C7347E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended ASP Tableaux and rule redundancy in normal logic programs","badges":[]}}}}}