{"entities":{"Q4807964":{"pageid":6837544,"ns":120,"title":"Item:Q4807964","lastrevid":74681271,"modified":"2026-04-14T23:53:20Z","type":"item","id":"Q4807964","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1916823"}},"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":"Q4807964$6504D5F2-257D-4FDA-93B0-9F453329205E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5211e9c53741380f73f79e1cf2b76fecfea2fa3","datavalue":{"value":"1027.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807964$F9DF3465-C383-40A5-9AE3-DACC39978FB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807964$3487BDB1-AEAF-48F6-8F3A-BFB114BF8D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807964$FF87D0E7-BA38-417B-B1CB-E8215C732B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f53c5105382fd16c61f122c2d812e58329b86fc","datavalue":{"value":{"entity-type":"item","numeric-id":674620,"id":"Q674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807964$82F3F894-6AF4-4B90-A171-4245BBEEC96F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad5e0ccb1f33d4e953d3cbe4e608e42b46cc271a","datavalue":{"value":{"time":"+2004-01-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":"Q4807964$655E5566-AFBA-401E-A3BE-D015942F3AF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807964$A43991E1-4609-4263-9493-4C303622323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807964$0336679C-423F-427E-A1EF-E4BE3D1CE515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c54ed9ffd2e1777658724dab4c3c5d908e6982","datavalue":{"value":"1916823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807964$6AD1850E-3BFD-461D-A4DB-90725CA12A7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$2C1A2866-D748-42B6-AB47-362AE779AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$6D763A37-3B0B-4384-8E01-85766C3769CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$02B3FFAF-EB11-4383-BC1E-6B9DA930AB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e85ffda9b8a8264b4b66e4a7d96367d1a53c4a","datavalue":{"value":"clique-coloring tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$07C907D8-6688-4E81-B711-F11261CB149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aad357f128868864574913a2f4fc56e7606b527","datavalue":{"value":"symmetric knapsack problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$4F564142-3A61-4955-9DA9-B88E67E1912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0c2821dac76dc00a8d6c18e9268a8e2399b41c","datavalue":{"value":"Tseitin's tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$164C506E-8841-4D73-8319-3C3B177DDDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807964$EE7267FE-9E3C-400E-8305-E50B73B80B2B","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":"Q4807964$AF0A2FE9-F7EC-4197-A84E-1BE926A96ED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef497d4f45544496a08560ec4242e0db6eb4bbc","datavalue":{"value":{"amount":"+0.9937346","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":"Q4807964$BFCD1F21-041B-41FA-A192-24ADB7363841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779599644c02dd6e99046380126d5bb03fcc2ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3181643,"id":"Q3181643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483ebf218dbbc25c7460b21a2f876d1f21a7c38d","datavalue":{"value":{"amount":"+0.95404","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":"Q4807964$450C8EEF-4944-4B42-86B4-BC4D613FE70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7d1599290e3502a27b6999c883b03e5695fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5756572,"id":"Q5756572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483ebf218dbbc25c7460b21a2f876d1f21a7c38d","datavalue":{"value":{"amount":"+0.95404","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":"Q4807964$17802A08-4CF7-4AD9-A175-378ED7C2B1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e871e475d7ca0725fedab85dce4d206af6a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1763427,"id":"Q1763427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56029e8fb8ade56f79f0935937ab62d1d690225","datavalue":{"value":{"amount":"+0.9259095","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":"Q4807964$2CA3EB76-B8A2-4A88-BB55-32EC18A354BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a29537251f410ed3f187884a22860f2345c9969","datavalue":{"value":{"entity-type":"item","numeric-id":5111442,"id":"Q5111442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f1f54d1ad58d81a22d9275787eee66e927cf68","datavalue":{"value":{"amount":"+0.925151","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":"Q4807964$D74D07D3-0C15-4CB8-8DBF-BEDB140E5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba525640b96df844a8e4f6887537ce2972e33ce","datavalue":{"value":{"entity-type":"item","numeric-id":4617977,"id":"Q4617977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f1f54d1ad58d81a22d9275787eee66e927cf68","datavalue":{"value":{"amount":"+0.925151","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":"Q4807964$E2BEF6FF-628F-4B64-8E77-D7730033741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b91689241ec63f0c194289b7a20710df00d3eaf","datavalue":{"value":{"amount":"+0.92286974","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":"Q4807964$F10890CF-E925-4AB0-9428-05201F38E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a6e43d2ac8ef7aca0615462d0bdb0d1343ac00","datavalue":{"value":{"entity-type":"item","numeric-id":4595958,"id":"Q4595958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645b244c3a085074c1a59c13c9287ba202473416","datavalue":{"value":{"amount":"+0.92224187","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":"Q4807964$3B2AABB2-F196-4936-AFEE-A3CF38A55EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402b0ea3f174d1ceaf065acb668280b7dbb8d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5694881,"id":"Q5694881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbeb8e83ed6a82d4824a16281e82ce3b3d8925a","datavalue":{"value":{"amount":"+0.9134808","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":"Q4807964$F24DDBF6-D75A-431C-BEFA-1BDD5985160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24bd61806512267ccdbf17961278609211f2dac","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5034f72ce9df76db6ab73a0a74d7db888d35149b","datavalue":{"value":{"amount":"+0.91348076","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":"Q4807964$0D05AFB9-FE09-4996-9571-E48DF6BAC0C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1916823","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1916823"}}}}}