{"entities":{"Q6086995":{"pageid":13221302,"ns":120,"title":"Item:Q6086995","lastrevid":98657564,"modified":"2026-06-05T18:10:35Z","type":"item","id":"Q6086995","labels":{"en":{"language":"en","value":"Automating algebraic proof systems is NP-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7765165"}},"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":"Q6086995$F0376C6B-E08E-4816-8A2F-16CE9D4EB5F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9a4488fb422361fa17f378f1e5d4bb8dc32aba6","datavalue":{"value":{"text":"Automating algebraic proof systems is NP-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6086995$48BF7F2B-261A-49F1-B0B2-9C5F2FAB7BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cfdb2fa45dcabed184b9a45f4377550dc00dbaa","datavalue":{"value":"10.1145/3406325.3451080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086995$FB697F1E-6766-4B95-8B75-022D2BF1DB43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1daac321441bd98d8a8a605c8e52de8430f356b","datavalue":{"value":{"entity-type":"item","numeric-id":6065162,"id":"Q6065162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086995$306D3C29-A38A-4AAC-A061-AC4E8942D28D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57f772c7334dce3f7920e528999b803f662d580","datavalue":{"value":{"time":"+2023-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6086995$D1AFB411-D438-4DFF-99D7-361A91F832DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086995$C0AE74D8-94F5-434B-9FE1-E111128AF810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e05f2bc7c5d5f384ebc851d8c888acdbdc8a75cb","datavalue":{"value":"7765165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086995$7282DF62-5F7A-4CFA-A30D-DBC30B5F1B76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086995$CEDFBB45-426F-4BBA-8DC6-3BC008E5273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d4542040d77588aa645bd2ca48d828b38ad487","datavalue":{"value":"automatability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086995$BB6007C6-BACB-431D-95BD-2497D0A041E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086995$BFCF15B5-CF85-462F-BAA5-005F23E6354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086995$413FD736-8CFC-4D48-B96C-F9BB28264058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086995$1EB5398A-347F-44CB-A729-CCD2F2424A45","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":"Q6086995$4CA8D6CC-BAD9-44F8-8AB3-00DD9F5EC41E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"804c7d2deaa92d79409d1dbf4bc492ecb3875c2e","datavalue":{"value":"https://doi.org/10.1145/3406325.3451080","type":"string"},"datatype":"url"},"type":"statement","id":"Q6086995$EB3ECF17-F458-49A9-883D-91827178F25A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3434a78affa307d984f15d0aa6a2f99a8aa31d9b","datavalue":{"value":"W3171867428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086995$6E605CCF-6606-4732-8F48-FCE94B4CC8EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebad5eaf3a80904c21b51f15d1f05bf3879ea0a8","datavalue":{"value":"Q130967589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086995$2B6AC415-FBC2-48EE-B918-9D749CC458DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df0033e87fc62cf64ced566c520081ec0b851d5","datavalue":{"value":{"amount":"+0.9097711","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":"Q6086995$253EC54E-BB10-4034-8E58-9C72AAAD8208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57445041b9fdb7a06d9a95e640b262efbfbee77","datavalue":{"value":{"entity-type":"item","numeric-id":5891700,"id":"Q5891700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5ff0ab4ea9a79caa693a0ac2eae61792f9f559","datavalue":{"value":{"amount":"+0.876181","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":"Q6086995$0E563DEB-70ED-4365-A111-7DDB01AC8E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c938e68070b89b843971a0f5f09dfba382a6b56","datavalue":{"value":{"entity-type":"item","numeric-id":5892128,"id":"Q5892128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5ff0ab4ea9a79caa693a0ac2eae61792f9f559","datavalue":{"value":{"amount":"+0.876181","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":"Q6086995$603F7A67-B49C-489C-A3FF-9A8C8D995854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d1340bd1d412900a173cb58d2895fe49ae516","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437e3b3171a907fdf2f41ed006c7a4aa64141fca","datavalue":{"value":{"amount":"+0.86427325","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":"Q6086995$F8E58C9C-FFEA-4DB2-AF0B-43AE340B6510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f16b184766a62bbc9c73a538718ad8810bb9cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4867574,"id":"Q4867574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f39a512f64ed8608a6562cb9156bfbe102b51f","datavalue":{"value":{"amount":"+0.8642063","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":"Q6086995$41978DE2-F386-47B7-A7F5-71666CA7E5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b956a70cca22a916a48257e093c5ddb754011dab","datavalue":{"value":{"amount":"+0.863879","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":"Q6086995$1D1FEA16-F3AF-405B-BD74-E5239DD680DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba0ac7edf34a1ce918fa613c17fe75a0a011796","datavalue":{"value":{"amount":"+0.8617923","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":"Q6086995$FD604E58-218E-4A0D-B646-1345369A2D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79ff46c62eb19ec3b05b87662de25751c1c66c8","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447ad1e78ea25c5bf5abd4c2ac295a7086022b00","datavalue":{"value":{"amount":"+0.8575732","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":"Q6086995$7F6CB9A2-A0F7-4AAA-A161-9BB740D578BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e54558990bd601dbedfba5fc20e7c0581628d5","datavalue":{"value":{"entity-type":"item","numeric-id":4411848,"id":"Q4411848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442b82215c252f7898e3f1067d31675e50e5c71d","datavalue":{"value":{"amount":"+0.8575731","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":"Q6086995$30932821-82FA-4237-BD3C-D9D84304D5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0332dbfa703bf82fefbf937b6ddce9def1ebc96","datavalue":{"value":{"amount":"+0.8560988","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":"Q6086995$7D7799A6-4E66-4B0E-8B80-D6B6C4491B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating algebraic proof systems is NP-hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_algebraic_proof_systems_is_NP-hard"}}}}}