{"entities":{"Q1430570":{"pageid":1441310,"ns":120,"title":"Item:Q1430570","lastrevid":68684316,"modified":"2026-04-13T01:25:14Z","type":"item","id":"Q1430570","labels":{"en":{"language":"en","value":"Hard examples for the bounded depth Frege proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067345"}},"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":"Q1430570$12B8A1A1-DFE9-49F0-97A9-E32C7DF469CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe892dad33df9e1d291f03a2d8123eebb937ad2b","datavalue":{"value":{"text":"Hard examples for the bounded depth Frege proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430570$54BAC59D-0748-49DD-9DD3-27C8A109A371","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"782cf64cf2cf5b1cfee09adbcae465fd0fc24b77","datavalue":{"value":"1043.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$0B1B1B66-DDD5-4F80-9868-E94A30F61647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430570$900D2A63-BAB7-4C23-8F61-639319283410","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430570$63142C7D-21E9-4D6E-B25F-40E2E552E55C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430570$CBFB9E89-90FF-4696-B15F-EBD5285D0122","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$D1027E11-72A0-4F25-9BBC-C1D6D1B1F431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$6E56C5DD-8F3E-4C8D-8037-52115168FC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$4AD2ACD0-3F99-4E56-A073-A165318B4EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92822561cdea9443d4455ec0b3839b5faeaac8c","datavalue":{"value":"2067345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$7B1A2A3E-8291-4F66-9DF4-BC8A45D17E47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$142F9075-452C-49DC-BB47-33340AAB686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$0450F4A5-4C95-412D-8F98-0A87D2A875D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$33002106-FACE-4884-9749-B348FD26662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90860f13b657213c8230d0eedbf59cb5156678e","datavalue":{"value":"co-NP completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$969140D5-1449-4319-BB2E-7B25835C2C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cfc771bed8ad9c25a0ed7e1c5401ad76ead060","datavalue":{"value":"size of a bounded depth Frege proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$3077CD8C-6627-4BE7-8B86-14E9EEB84F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9faea597a5b6264411cbc498f024a7ce11c3c7df","datavalue":{"value":"Tseitin contradictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$45FA008F-D161-40A1-9BFD-4072F7FA2B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93dbf3477d96db57cedb274fc7b6eb6f94b133a","datavalue":{"value":"expander graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430570$98A715F7-2615-4D65-9FFB-826372438F01","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":"Q1430570$D118D016-8013-41BD-9C26-8E95AF07E006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15ddd8ae1a3bdb663a169aa4445237cd37695842","datavalue":{"value":"https://doi.org/10.1007/s00037-002-0172-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430570$BB29BFF5-19AE-46A4-B881-61AF516F6A91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e69f441df1d73436dba570d1150f655c4e4f602f","datavalue":{"value":"W2075906306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$DA195909-ED43-40AF-9653-A1E152C34C8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56ca5ca4982f071ee3e3ea49472293823a42ce60","datavalue":{"value":"10.1007/S00037-002-0172-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430570$9A41C568-0F24-4AA6-A083-1C619BAE3A73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59005d3d92aab46b9aad8421253f38bb6cf89d72","datavalue":{"value":{"amount":"+0.8787072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$54C1715E-DF9C-4805-9938-C9384E08501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1694b4fd84ef8a72f5517e9b1bb0a99ecf96355","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff84b3531d1441be79f64782482fab4d15d9df6","datavalue":{"value":{"amount":"+0.87334865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$CD783BEE-B0E2-404A-BB4E-EABB7D7B8A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bead65d5c95939db372950bdb5563166ef3396a","datavalue":{"value":{"amount":"+0.8584663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$AE593CA3-3149-4053-B805-B5BF92AF303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c0a75c4f1131ee866cde9f99c88c11d29350aa","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81efa047df1840743bb47b488e105b14b7aef60a","datavalue":{"value":{"amount":"+0.85833967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$4D31E2B7-01E6-4C54-B4A0-2DD3C62C4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6fd0ba87fcf74775845dfe4993533ca805bdff","datavalue":{"value":{"entity-type":"item","numeric-id":2958529,"id":"Q2958529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07e3a107289417e3665ec9f86c98f3936cf419f","datavalue":{"value":{"amount":"+0.85794604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$913204C1-7125-471B-9F11-AAA3844BA38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784b42d626c23412e426fbf09347cb0c18fd4c33","datavalue":{"value":{"entity-type":"item","numeric-id":2491079,"id":"Q2491079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e1c8a2bc24003e6571e22a6fd9a1b7aa4f88af","datavalue":{"value":{"amount":"+0.84483486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$60B558F5-9AE3-420F-8334-2189F629D770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111f0c19f92dbadfd4732ee48029b08b6bd9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a655ba3bf2027aaa4e4e54f19335b65b4077345","datavalue":{"value":{"amount":"+0.8446529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$D411E00C-F467-46EA-90A7-5071CC10B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f4bd2bd27868614844e08ceb0befc57be925d","datavalue":{"value":{"entity-type":"item","numeric-id":2946607,"id":"Q2946607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3ea39299d6a650d3bd4a6baf4d4d93187dbbc7","datavalue":{"value":{"amount":"+0.84443235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$D46FA6AA-052E-4EBD-B02A-0B3FA8EF07BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c948ba6ab1d958559dc7420d5e1540549b7ee35","datavalue":{"value":{"entity-type":"item","numeric-id":4375795,"id":"Q4375795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41990e7f2b5174a71e725d35260d37ab0ee5099","datavalue":{"value":{"amount":"+0.84407675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$D8E29C66-D893-4BD4-BB3A-5A864C4DEBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075935af3b36c64ace0df4989d85eaaccff64a85","datavalue":{"value":{"entity-type":"item","numeric-id":5391544,"id":"Q5391544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6687b637b761e41ae25be19b0554830a59aad0","datavalue":{"value":{"amount":"+0.84318614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430570$530601F5-AE38-4497-AFA3-B58AE64918F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hard examples for the bounded depth Frege proof system","badges":[]}}}}}