{"entities":{"Q5114830":{"pageid":7144404,"ns":120,"title":"Item:Q5114830","lastrevid":55379371,"modified":"2026-02-17T15:01:27Z","type":"item","id":"Q5114830","labels":{"en":{"language":"en","value":"Consistency of circuit lower bounds with bounded theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7215291"}},"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":"Q5114830$D36AB651-0053-4F1E-AE96-B42ECC1F7B86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6018be3dcb43cdc76421e1b409f7769f9d9293dc","datavalue":{"value":{"entity-type":"item","numeric-id":2120966,"id":"Q2120966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114830$AE642B3F-03F8-4B94-9A6B-1B1729900DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114830$43111985-6AE9-4819-9BCF-7BEA186BB402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7805073a5ae9040c991641317a6d3bbe630dcf22","datavalue":{"value":{"entity-type":"item","numeric-id":2125079,"id":"Q2125079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114830$AFB47E6F-28B3-4FBB-AD67-36D91110CC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b1e6c4412e3ca976605de72600bbb5f077bdfbb","datavalue":{"value":{"time":"+2020-06-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":"Q5114830$E021E1A6-370E-40FE-B223-E526C1338A5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"703f1bf57c333bba6147c2b7bf87c0e285b82ec9","datavalue":{"value":"https://arxiv.org/abs/1905.12935","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114830$25B4DDD5-9935-422B-932E-47A29570331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e67c30470458ce45a0d90c0d0c44c00f097377f","datavalue":{"value":"https://lmcs.episciences.org/6576","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114830$5F6C8C47-5D7B-4C7A-9A41-3608B52230C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114830$58B7A663-C016-45D3-8BE0-8B77B2B8238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114830$43BB8896-5C9C-4646-A477-E4840E010B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abb03bcd56d7da45a88059c4f5ba50c4775bc037","datavalue":{"value":"7215291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114830$BD1B1B8D-7A54-416B-ABBC-127AB8EBE129","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":"Q5114830$DE43E033-F2E1-499E-BA73-180ADDEB1F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c590b8130d8a3e0e4f26ba36b696ff7a078347ea","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f90af458071e77c70168fb7823b90837baab66","datavalue":{"value":{"amount":"+0.7836787104606628","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":"Q5114830$96F9BAEC-B08E-4978-B8BE-F7A3561A9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43577d59b6f419832b4fea32d87b4e903186e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1625135,"id":"Q1625135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76c9a3a682523c3aae96e841e9e77e1576afe4d","datavalue":{"value":{"amount":"+0.7740885019302368","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":"Q5114830$13068783-5656-4F1C-9617-9145A5C46A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9057a8ebc1319136cffcb68fedf9e5072f2078c","datavalue":{"value":{"entity-type":"item","numeric-id":5417530,"id":"Q5417530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a53ba099d5037faf5f945c95fda2958b42cd9a1","datavalue":{"value":{"amount":"+0.7674742937088013","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":"Q5114830$E633754F-68F3-4260-8E40-3D845CB3D2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899df0e6083921d8c1db351c9505dae94c25ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2980966,"id":"Q2980966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a71ee4dc4bed092e05eca77a93276ad5130568","datavalue":{"value":{"amount":"+0.7635437846183777","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":"Q5114830$CC467A4A-574F-4DD7-A149-922793E64676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99656fa8549640caed6056adc1c4975be0aeefc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275a3b7ef9fd9198ab79776d8908b6acf92df2ef","datavalue":{"value":{"amount":"+0.7484081983566284","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":"Q5114830$A7AAEA13-5A11-4552-866A-AED6D02BFF65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5114830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5114830"}}}}}