{"entities":{"Q4829363":{"pageid":6858943,"ns":120,"title":"Item:Q4829363","lastrevid":74980023,"modified":"2026-04-15T01:31:42Z","type":"item","id":"Q4829363","labels":{"en":{"language":"en","value":"Diagonalization in proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2120064"}},"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":"Q4829363$374C8B4D-8EFD-4605-85DD-72EE7B8F86CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9732a67f59ec56ecbbbaf20dfd2970a722e28423","datavalue":{"value":{"text":"Diagonalization in proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4829363$A3BA7E99-ECF1-4A78-836A-65E877DD91EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4243869d8417ec49b0538ed2213b0ebe6667700c","datavalue":{"value":"1068.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$A47F209E-2240-469A-B211-051F9AD9E7B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4829363$25F43A53-E64C-4937-9D47-7577C54E27E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4829363$F1DBD9E7-FA85-4919-8F34-53E2620CA4A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e178366185acdafcc5b61ed93923a8827b9be7cb","datavalue":{"value":{"time":"+2004-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4829363$5E867715-3906-4B29-9A26-D959AE6A3B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$28FCE185-EFFD-44F9-AEFD-7E845123E748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$A764B279-9BDC-4AF1-83A3-8B3B82EAC6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$57C3F45C-8D6A-4EFF-A4EB-497055A2562A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d51d104bdb055bd13482dd9fd30df56fec0b97b","datavalue":{"value":"2120064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$9A1C37E0-04AA-4D0B-A094-64737B4AE2BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829363$844926F8-DA16-4968-A7A9-8638C3300103","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":"Q4829363$3BFF2975-E454-4D5E-A78C-64D5E26BA5B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c62a055f698f89f0f5354a8f9813fd8f23f66d7d","datavalue":{"value":"https://doi.org/10.4064/fm182-2-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4829363$84FC8636-4D26-4322-92F8-AACCC6EF263C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bf11bcfc1ebf583a9c46dd08afc92d4dafed66d","datavalue":{"value":"W2075488709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$7F327772-9A3B-47D3-89C8-6B74C7E5DDDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0205563cabcdf4ddbc1131f7d80f040a7eaa3e04","datavalue":{"value":"10.4064/FM182-2-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829363$00E0F7AC-63D8-4B7F-9AB7-D11D29565367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7a74c3e0d41977361e0d1b722814dfc8ef920e","datavalue":{"value":{"entity-type":"item","numeric-id":6060340,"id":"Q6060340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b737b7133cb7be9dd7f993d3a5e3ffcda74c9ece","datavalue":{"value":{"amount":"+0.93366915","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":"Q4829363$4D3BDC25-65C1-43AC-A6A0-D36EEB84029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d4778425cd458feee1b5c25a3c67e88c95b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1107526,"id":"Q1107526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2920b2e2a7daffd2674b4d6e14bc385216375ed9","datavalue":{"value":{"amount":"+0.9082503","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":"Q4829363$E5C2A259-F154-401E-833C-E55208EA4C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc3a4dbc0596680ffe76028a27a72b448ca610e","datavalue":{"value":{"entity-type":"item","numeric-id":4734760,"id":"Q4734760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50486cba53162113a768fec7a876f9e4e390845","datavalue":{"value":{"amount":"+0.9050109","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":"Q4829363$6AE3B9D2-8154-40A6-8D01-338B85CEC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe2d070121f071d6a0d485fade03e01cb31f87","datavalue":{"value":{"entity-type":"item","numeric-id":5136337,"id":"Q5136337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932e1a61ecb23facbe7d8cdcc8a9c31f2f8d1549","datavalue":{"value":{"amount":"+0.9015879","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":"Q4829363$EC44F2D1-18DD-481A-85C0-38CF719851BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b070a8709d30f7dd4f43bdbf760a90968405ca","datavalue":{"value":{"entity-type":"item","numeric-id":4247688,"id":"Q4247688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c153ce3fcb19fdd04cd6ab64640a61c82c860e83","datavalue":{"value":{"amount":"+0.8947655","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":"Q4829363$4F576F04-2035-485A-9491-F77A20C0103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d692eed67ec9a8284703b082979a07df62940240","datavalue":{"value":{"entity-type":"item","numeric-id":3087953,"id":"Q3087953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5b1b51fb30193ac990d00903d0502fae05c7cd","datavalue":{"value":{"amount":"+0.89167523","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":"Q4829363$E03B58A1-185A-450C-A72D-BF9942BA7317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca5efc01bb9bdb48e960bb5295a5c75b60e43f3","datavalue":{"value":{"entity-type":"item","numeric-id":6086997,"id":"Q6086997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820efab359b3d0729d56170e0a02ef6abc5592e4","datavalue":{"value":{"amount":"+0.8849415","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":"Q4829363$555180C7-ECED-4BEE-9CE0-D60208FFF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f423b825b66c70b167b91b593dafc5754acc50eb","datavalue":{"value":{"entity-type":"item","numeric-id":5221596,"id":"Q5221596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c8835f88f36ca1e36d88ea3a9a8fd9332a714d","datavalue":{"value":{"amount":"+0.88050175","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":"Q4829363$E0DE9531-93EB-4D1F-B690-9AD2C955DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afe11002cc033574f04dae59d9ff0700cc3ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4503828,"id":"Q4503828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5334f037654122be7d595642c1bd098f47dbbff","datavalue":{"value":{"amount":"+0.8762686","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":"Q4829363$72CC7A61-8008-49DB-9A33-C42B3F1B0C4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diagonalization in proof complexity","badges":[]}}}}}