{"entities":{"Q5175988":{"pageid":7205560,"ns":120,"title":"Item:Q5175988","lastrevid":94512362,"modified":"2026-06-05T07:00:31Z","type":"item","id":"Q5175988","labels":{"en":{"language":"en","value":"A sharp threshold in proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409729"}},"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":"Q5175988$4D5658F4-3E0B-494D-99E3-47C5AF4CBC50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cfc6a733d59142de6d858f97919e89851a8f609","datavalue":{"value":{"text":"A sharp threshold in proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5175988$8AFB0C93-8CD3-46ED-93AE-1C9BB021E011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c960ce9f8b73a5edb21c7bf1d07d1d115a55674","datavalue":{"value":"1323.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$B30B20CE-13F9-45ED-ADFF-4DB8889563E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50aac78fd42c8f952d8e471a0bdb634be4859dca","datavalue":{"value":"10.1145/380752.380820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$9E4FF69D-F6AB-44C3-9074-795953582DF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ac495872b21726568ac8fceb623500907e4dd2ee","datavalue":{"value":{"entity-type":"item","numeric-id":5175946,"id":"Q5175946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175988$2AFEE70A-A815-4813-92DF-E49BE826B46C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-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":"Q5175988$14B21A2A-E5C4-4951-845A-922C25BB153D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67c2a12585bef7f63302027ab44663b83f87e452","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.2995","type":"string"},"datatype":"url"},"type":"statement","id":"Q5175988$7C31F594-BD9D-4298-9B35-845B721FAE39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$8D0FDC08-2EF1-420D-8127-AEED8A25C2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$27379F5B-C2FA-4D52-8E06-9D9E053C16DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21430c9d4e43912a35edd37c9a6806d0e78d2fc1","datavalue":{"value":"6409729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$801214D8-5411-467F-B24C-51FB34C1A2F1","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":"Q5175988$6FA0A0A8-1268-43C6-A345-C28EE3FC7BE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31dd5b6ecfffd07a7e71145a9d65d6e5067d362c","datavalue":{"value":"W2143404729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175988$C704F3B6-C077-47B0-AB64-293C1C64A1E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6566517e402fedb3523afb93c5beba99d354b3","datavalue":{"value":{"entity-type":"item","numeric-id":2819529,"id":"Q2819529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175988$07FFC948-1426-40B2-BD32-16834B0EE516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8704fbbc5bc889cf64881a5cb2a40f7cd9e78d","datavalue":{"value":{"entity-type":"item","numeric-id":1887710,"id":"Q1887710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ad5f4e35d53fee45730a4e3b6d3b007bf5e991","datavalue":{"value":{"amount":"+0.91880065202713","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":"Q5175988$0367DFE7-F6EF-4A39-A487-610EA0388F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60012903f16e3706d413787d980e88832e63a70f","datavalue":{"value":{"amount":"+0.8680173754692078","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":"Q5175988$B576FC59-96F4-493A-A18B-474EB188860C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5847e18a373db88e19809686a67af0b572c29f09","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60012903f16e3706d413787d980e88832e63a70f","datavalue":{"value":{"amount":"+0.8680173754692078","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":"Q5175988$81A74301-052B-4249-9CE1-3240FBECD309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa7bdae693216d7f67ac726ebf3ab505aaf4170","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b9862fe7b7b27428b9bb6d7412c706b1b81e5f","datavalue":{"value":{"amount":"+0.8365349769592285","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":"Q5175988$6706E895-B39C-44E2-9DAC-5A2E970DF8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e1c75a1d9886354ccda37be3abf7d4fce49dac","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8fd94615e941cc98d345ed21f7be1545da61be","datavalue":{"value":{"amount":"+0.8357840180397034","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":"Q5175988$766ADCFD-D295-4714-86C9-0F91D3B76CE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sharp threshold in proof complexity","badges":[]}}}}}