{"entities":{"Q6943470":{"pageid":21164406,"ns":120,"title":"Item:Q6943470","lastrevid":75943095,"modified":"2026-04-21T15:24:15Z","type":"item","id":"Q6943470","labels":{"en":{"language":"en","value":"LEARN-uniform circuit lower bounds and provability in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079525"}},"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":"Q6943470$BF3899F2-8D3D-47BC-B430-39FCAB03E676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4821ee2464ebbaa7e410489c0a106cda99d1c5af","datavalue":{"value":{"text":"LEARN-uniform circuit lower bounds and provability in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943470$0A4FC085-8A23-4436-A537-DA2313860813","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fa5e1acb52cc53ee7500ae574d2b2607f7dcc04","datavalue":{"value":"10.1109/FOCS52979.2021.00080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943470$4E218CAE-71D8-4580-B8D6-A3336FECCD68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d2539da0629477438d7ce1d3087216415362d1","datavalue":{"value":{"entity-type":"item","numeric-id":230568,"id":"Q230568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943470$55BC5010-2BD9-449C-B421-0BF9F9B1BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d33dbcf1c53e85929fe28108a0d752643d16a11","datavalue":{"value":{"entity-type":"item","numeric-id":1412836,"id":"Q1412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943470$67070BB9-FFC5-4073-AB8E-0B6DD5788F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d4efac7fd40276adac94a9f3e00310140b7055d","datavalue":{"value":{"entity-type":"item","numeric-id":2800572,"id":"Q2800572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943470$77544876-22FE-4474-86A8-F00D79556E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f95af6823f1fb28153373cee7233816ac32833","datavalue":{"value":{"entity-type":"item","numeric-id":6866463,"id":"Q6866463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943470$2AE25D2A-0094-4F86-9452-1F0CD75D124C","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":"Q6943470$8DDB9AF5-EEAD-4F25-95F0-0D9C4AF040C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f7157a60cb38989e7cc80aa350bac9676ea52a2","datavalue":{"value":"https://wrap.warwick.ac.uk/158167/1/WRAP-LEARN-uniform-circuit-lower-bounds-provability-bounded-arithmetic-Carboni-Oliveira-2021.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6943470$DE712AC7-2738-4EC2-A71D-6B2E972BDF45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943470$83474E34-B0BA-4980-9018-A52C018F7892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dc5d8f03fcaaa9e07fb2b90c65b675a74eb1ab2","datavalue":{"value":"94-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943470$86B38F0A-783D-4C11-B7EA-8328D5043B13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02d7dd5fb86780fdc088debb927c950d6eab0c4e","datavalue":{"value":"8079525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943470$42CB3459-3CDE-4A60-B96A-DCB53E0A060E","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":"Q6943470$762AA9EC-C091-49A8-988A-1EC184BCEA6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LEARN-uniform circuit lower bounds and provability in bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LEARN-uniform_circuit_lower_bounds_and_provability_in_bounded_arithmetic"}}}}}