{"entities":{"Q6943498":{"pageid":21164574,"ns":120,"title":"Item:Q6943498","lastrevid":75943356,"modified":"2026-04-21T15:25:06Z","type":"item","id":"Q6943498","labels":{"en":{"language":"en","value":"Tradeoffs for small-depth Frege proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079497"}},"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":"Q6943498$1654B194-B850-402A-A9C4-7A35ADFF0387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0be35ffc1bd96d6c09b01f9573b33f38e8371a","datavalue":{"value":{"text":"Tradeoffs for small-depth Frege proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943498$41630A46-C387-474D-9C10-3BC95DDB78EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e33c9b770f886316ee29baaa3bdf4e0e6043cb5","datavalue":{"value":"1573.03423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943498$2D5EEAF9-EC6C-4E5C-A319-D08EFFC6950A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ad2ed19c279666635cecafef8df2694198d37a1","datavalue":{"value":"10.1109/FOCS52979.2021.00052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943498$8A9DF1D4-B296-4614-A919-EF3FDBE66E67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943498$0C2D1F15-A2E1-4CE1-B5F7-C5E98EE74F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ad0dc4f3bfb933b33c7f6a2466efce85df65db","datavalue":{"value":{"entity-type":"item","numeric-id":737176,"id":"Q737176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943498$97FEF615-08EE-4342-8CC6-CBA5FD8F8029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d053612449b6807c12225fa589334ab73207b8c7","datavalue":{"value":{"entity-type":"item","numeric-id":5346019,"id":"Q5346019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943498$9F44A657-494F-40CE-99EA-0FD9DE8BE107","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa9a3404048ba5ab60c02125ac90886eb8d57c31","datavalue":{"value":{"time":"+2025-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6943498$FADBFF51-F851-4A1F-AC99-E6B0DFA8F6CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943498$F507A7B5-CEA1-4CB2-A613-36E99245B01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26c3dc00d995fcb64f9caf9ed86198828884f2a1","datavalue":{"value":"8079497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943498$0366A186-C70A-4D01-B4BC-8F09856CB11F","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":"Q6943498$669F5925-F1AE-4AE2-9440-8117FAF0FFE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tradeoffs for small-depth Frege proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tradeoffs_for_small-depth_Frege_proofs"}}}}}