{"entities":{"Q6115377":{"pageid":13249684,"ns":120,"title":"Item:Q6115377","lastrevid":58686327,"modified":"2026-04-06T08:02:30Z","type":"item","id":"Q6115377","labels":{"en":{"language":"en","value":"A lower bound for polynomial calculus with extension rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7711603"}},"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":"Q6115377$7737B633-B3C0-4001-BEF2-BAA5188A68FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc9c4a03c9dba9ee4f926fb3ed38cc1d0b57265f","datavalue":{"value":{"entity-type":"item","numeric-id":5144896,"id":"Q5144896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115377$AC660F7E-E43C-40A1-AB6D-7938C512FDCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69fa229929f5a36be717107c65fff5a3a6df12b7","datavalue":{"value":{"time":"+2023-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6115377$71F9C269-22CC-487C-B7F9-FE9133563AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23184267eaceb6f9df09aa6f1838dd0b3b33c084","datavalue":{"value":"https://arxiv.org/abs/2010.05660","type":"string"},"datatype":"url"},"type":"statement","id":"Q6115377$2AD8EB41-2A63-4B76-9D84-AC959EC38168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115377$9E9B802E-A93E-444A-B6F9-AA48B3E215C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c233724292ba71d24a58720294b2fbd5f190c3b8","datavalue":{"value":"7711603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115377$09AB1CF0-864F-41EA-84BF-9363397EA028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115377$4468F342-E843-492B-A922-C7DAFAA7B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1cdce634c94330d8f6c771015592e86c335a2","datavalue":{"value":"algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115377$A8507736-8DF7-4ADA-BFC9-41AA759C6EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115377$958A1875-F6B9-4841-9AAA-D0E77F75CB6C","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":"Q6115377$EB430CD1-7568-4421-BAAF-983CB3D81669","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c774a5e68991a6b745ff20e9d56b5a6c4bd5f6e2","datavalue":{"value":"W3186888504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115377$AEAA5616-E05D-4318-97F8-894EB5C650E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3b686cafb050e2afff02ed653f1e24bd3b611d","datavalue":{"value":{"text":"A lower bound for polynomial calculus with extension rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6115377$1E0E78E0-473F-42AA-B851-566CB0C11671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93232e8dcf8f972e119f210ce998fc9a22603459","datavalue":{"value":"10.4230/LIPICS.CCC.2021.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115377$0B74DE77-5F30-46A1-BA16-D0CAEC5E84FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6115377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6115377"}}}}}