{"entities":{"Q2946700":{"pageid":2957420,"ns":120,"title":"Item:Q2946700","lastrevid":85284059,"modified":"2026-06-03T06:38:00Z","type":"item","id":"Q2946700","labels":{"en":{"language":"en","value":"Tableau calculi for logic programs under answer set semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483203"}},"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":"Q2946700$63C0826B-33AC-4656-B827-7404E8080D35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c58c8f3b78f3ba9c5bfc32e9b11cb7c7972101f","datavalue":{"value":{"text":"Tableau Calculi for Logic Programs under Answer Set Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946700$488B9D1E-DCC9-4455-A651-AD81A9B6CCC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b149a93ea2b933ac00cad7e9749ad9036dda3e39","datavalue":{"value":"1353.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$3EB41EF0-07FF-45FC-ADDA-D0BE29DBA1CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8fc5499fb89928876b8f7a9d9851d7f7ea0a20d","datavalue":{"value":"10.1145/2480759.2480767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$7AEA71BD-C9D5-4A5D-8034-8328D91E6659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946700$99C3F906-C5A7-4C0D-B67F-5F2B00377131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946700$0F734533-D5F5-4E76-9719-272694B3D4A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946700$DD8219A8-65EF-4354-B277-141C7D0FEFDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946700$85334333-021C-4CD7-99DC-6D2027C14949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$A63B1980-16D4-4221-886F-F51EEC9A45F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$A7749124-DC38-4E7A-8D31-8273B22A2778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$88EF5496-1F2D-4D4B-8E82-8869982CDE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$4235FCB0-D407-41B1-951E-1CC0CC7F4348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6512cb03502c0899c71db5963c6468b3d66f47f1","datavalue":{"value":"6483203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$5A14F40C-F805-4CD4-8EEF-1D33D5BB7CC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946700$57134F43-BFC4-4748-82A1-3D61A111F15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946700$19BA6C69-1F38-4093-A10C-4D55D2DB379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946700$7D41C6CD-04BC-4C7D-9F8A-5EAD896509CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7103b15c521b95bdc07987ffe6ae6918b1b95d46","datavalue":{"value":{"entity-type":"item","numeric-id":16803,"id":"Q16803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946700$6A4EC71F-7F2D-4408-8127-B4121BB9ACF9","rank":"normal"},{"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":"Q2946700$8A22BD23-3B04-4CC8-BA42-3D481521B38D","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":"Q2946700$04DEBE5C-18F9-4894-BCC3-6631D918EE8A","rank":"normal"},{"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":"Q2946700$7B6FD38E-4C59-4504-9DE7-00D0F8B83AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946700$6277FD8E-D194-4BA2-ABA5-654AC83E2642","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":"Q2946700$C3E31F28-71AA-4953-9CB4-09A6930726B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e60bc4fc8a39292bc0409a15e351e123a2211c02","datavalue":{"value":"https://doi.org/10.1145/2480759.2480767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946700$94FD794C-A987-4F31-88D0-3C4FF62A6B8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a6dac31b86dab265c13d93aeb5f1b1c02540ad","datavalue":{"value":"W2000863621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$EB6C807E-DC6D-4BD7-8A19-5C80269770A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b2932a136d243bea0db2cb3328b788b04cd28e8f","datavalue":{"value":"Q130867534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946700$4AF3118E-D3E6-4ADB-BD9A-B262B69C2652","rank":"normal"}],"P1643":[{"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":"9dd7d738a84ee79579bcd6af0d57e806d35af904","datavalue":{"value":{"amount":"+0.948487401008606","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":"Q2946700$219E8CF6-7B18-45C4-981B-4871A1F326CB","rank":"normal"},{"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":"9eed0d1433e1dc4f4ca2944b5e5e4e2d32b3fda6","datavalue":{"value":{"amount":"+0.8389615416526794","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":"Q2946700$7E638A59-BB67-4A23-A860-21295FBF755D","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":"5632480cb48a7baf75b21b02a04b33336956922e","datavalue":{"value":{"amount":"+0.8383482694625854","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":"Q2946700$F79243E7-39AB-4408-8FD2-CB59D4649943","rank":"normal"},{"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":"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":"Q2946700$1B18F3BF-9C63-49F8-BE21-445D9A9E5BE8","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":"eb6f605d336e9792f4d54d5a6747ed76a697fe43","datavalue":{"value":{"amount":"+0.7843827605247498","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":"Q2946700$2BAB3848-51A3-4A56-85C8-395E1B871447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau calculi for logic programs under answer set semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau_calculi_for_logic_programs_under_answer_set_semantics"}}}}}