{"entities":{"Q2491079":{"pageid":2501822,"ns":120,"title":"Item:Q2491079","lastrevid":73484805,"modified":"2026-04-14T16:10:35Z","type":"item","id":"Q2491079","labels":{"en":{"language":"en","value":"Upper bounds on complexity of Frege proofs with limited use of certain schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5027254"}},"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":"Q2491079$571E7C00-C471-47F9-B023-E75392BB9F56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3ebe31420ffc88b749c5fdd318de00a2cd687e1","datavalue":{"value":{"text":"Upper bounds on complexity of Frege proofs with limited use of certain schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491079$D2FC3C62-5556-49B5-A8D8-EDE0F97B7453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f2f04b7d5fa519d71fc3f877f94cd7123f321d7","datavalue":{"value":"1090.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$18413009-B66E-4BCF-8192-C91D32C0F53C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$71D1462A-B14D-430E-8CAE-B7FF46F5A845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4c8103b3de3619e9a7a179137854980af704334","datavalue":{"value":{"time":"+2006-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491079$6027F8D6-1D62-47EB-A40C-7100F4303984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$64404488-13E5-4AA5-AF53-15449F5E8E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$CFA7C93E-1C71-45DD-B445-ECD6B3C1DB67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790f095cdb8c651fcd5eb00eaf9249a2b4eee6a8","datavalue":{"value":"5027254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$5C3FE32A-1EE9-4621-A145-D0095DC104B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6b7c523fefdf2a5279a2d47ab36919d0b50606","datavalue":{"value":"axiomatization of classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491079$8CA01E8E-B6AE-46EF-9B5E-ABD98773603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491079$6095D0AD-44E7-4662-A50A-5A408FB85841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$7CA400D6-6C16-4E93-ADDE-B15A91CCA789","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":"Q2491079$3F32E0BE-2324-4238-B2A0-D8637D3569FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09d717f6364b65cced402d29a44b8605457c74b6","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0325-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491079$8556B7B1-735B-49D6-92EE-F91D5B175FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cebc2fb11e1091529a2054d03fa3f868c3f6419f","datavalue":{"value":"W1999043370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$D13464C7-14E6-4BA9-9021-6D36F076E810","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc582242659cee49d409675b8250ad17fb5d767","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$F73B1671-1623-433A-BFFA-67097C462840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$5A036ECC-4526-4BCC-9613-E03784DF506E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$9758DF6C-F41F-4B02-B5D7-AE8BA79A77F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$1343FD05-2BC5-46B6-A983-A197490E1E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491079$ACD67A3D-19B1-4809-92C3-A7925D79DC80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b035eb14eda26c199f343d12333b700e318afa56","datavalue":{"value":"10.1007/S00153-005-0325-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491079$EBFAC1B1-BB63-4B6F-B054-EA48E851049A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dbda15b9286c812be7ff3cde159923c78be6c0","datavalue":{"value":{"amount":"+0.7572508454322815","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":"Q2491079$207AC72F-763D-4E3A-B66F-C01B4A77A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47173b614bb59dfb65463d94e8d4ebce142e5f3","datavalue":{"value":{"amount":"+0.7572507858276367","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":"Q2491079$3F20E570-42F7-4A4D-8030-F422E63B0F20","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":"d5ddd2c2d8ef94a529f4e8a75f126a339e8fc15b","datavalue":{"value":{"amount":"+0.7571828961372375","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":"Q2491079$EE0AC67E-BBAA-47F2-9F31-882E72CC95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cd55997b4c07a9303c56a2eeda6d7e1314eb7c","datavalue":{"value":{"amount":"+0.7401764988899231","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":"Q2491079$71095874-CF46-48FE-BA7E-7F084AE0A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3510553a2c7ba08a3cce8e9c491711fcc07923","datavalue":{"value":{"amount":"+0.7401760816574097","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":"Q2491079$8BC98FA9-B296-4A97-A619-05C33CF41C03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper bounds on complexity of Frege proofs with limited use of certain schemata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_bounds_on_complexity_of_Frege_proofs_with_limited_use_of_certain_schemata"}}}}}