{"entities":{"Q1107987":{"pageid":1118736,"ns":120,"title":"Item:Q1107987","lastrevid":69659817,"modified":"2026-04-13T08:31:44Z","type":"item","id":"Q1107987","labels":{"en":{"language":"en","value":"Generalized lower bounds derived from Hastad's main lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066312"}},"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":"Q1107987$74A3A111-B411-4DA8-B867-8EB144BB1F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb7888bc6273d404536dae583a18d8f2735d142e","datavalue":{"value":{"text":"Generalized lower bounds derived from Hastad's main lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107987$DD6DC09D-A8AD-4A76-B7B2-60C80464A0A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95b7ba377fb92499a00d3ded4e4e28a45bd1135e","datavalue":{"value":"0653.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$E4F09EC6-50F8-4D53-A461-3FE979534B2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b72605d46fa431c6275431d83739e1c819567c8","datavalue":{"value":"10.1016/0020-0190(87)90216-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$C3BC0B24-D952-4A3D-A62D-2B3848E0E1DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4342967813d6c73138a0b6a4a791b0a8c6593","datavalue":{"value":{"entity-type":"item","numeric-id":287984,"id":"Q287984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107987$8CA64BF6-D96F-4230-96E0-AA1BD83071CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107987$021F64D5-8E8D-4EF8-9DA6-7C498C6D7646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1107987$4CFD04E8-DB5C-471D-B809-33987FE7B1D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$BAC5C3C3-8D0D-455A-BBE3-38A02294C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$CB8AF7A9-118F-41F3-A06F-DF1144BC1C92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66028efe4eef919ff9865c127830c934fa73b818","datavalue":{"value":"4066312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$092A31FD-484A-42F9-BD68-68F5C260868D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67356e578728b6957d374bbb1825497ae0fbc477","datavalue":{"value":"constant-depth circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107987$FEEC2F46-FF0D-47A9-AB67-D5C1F2743016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f67740b2b8ec2cc098e24e962d44e61a0f6449","datavalue":{"value":"symmetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107987$40D3929A-8736-4CDE-811B-E2366439988F","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":"Q1107987$3E9ADCCC-05CF-4630-99F4-585C15F04846","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"25ffcb0f316446098d2b0b0b357e96735ce63f23","datavalue":{"value":"Q124808236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$49BEE2CE-8C82-4540-A093-8C01E42FCC27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93e79af069881cfe3bdf4e9328dea1b8871e999","datavalue":{"value":{"entity-type":"item","numeric-id":3767263,"id":"Q3767263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107987$A2C33856-D00A-4482-867B-F73BDB4D2F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbf5f7df9a33c83e0132a26abaf010e9bbbdce3","datavalue":{"value":{"entity-type":"item","numeric-id":1063574,"id":"Q1063574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107987$833E5AD7-363C-48FE-93B0-7946A3C19029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d557df4e3a1927097cc1d976cc20d067af626043","datavalue":{"value":"https://doi.org/10.1016/0020-0190(87)90216-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107987$A66C9175-54D8-4D5E-89BF-C48B296A7588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0e2a613ae11e6d3d4d251e8903fed1a2d492073","datavalue":{"value":"W1983993468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107987$F0CF8CE0-6B84-4516-AC7C-C6B22C7BD87F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aeb1beb6c6f028119c4819f7b9716ba351fc3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4440909,"id":"Q4440909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42288ac9019a12382dc667f7da5a9d0a20d2c168","datavalue":{"value":{"amount":"+0.87454355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$99253581-5B87-450D-8884-2A35ABD187FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9b58b9500cc15cc7ab5cd21398703fa6755584","datavalue":{"value":{"entity-type":"item","numeric-id":4296575,"id":"Q4296575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f797ff78cfd1286c0597b2fbe629ac950150bb2","datavalue":{"value":{"amount":"+0.8745434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$37426746-5EDC-40B4-B599-77BF0DBC1318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a9006fa6b64d55e83b760f503ba7a8ef9ea918","datavalue":{"value":{"entity-type":"item","numeric-id":1281117,"id":"Q1281117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f797ff78cfd1286c0597b2fbe629ac950150bb2","datavalue":{"value":{"amount":"+0.8745434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$5F1E4284-1E78-4995-9004-947F56C83744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6b1de616f9ca27fd1abde105d4b8515e61a213","datavalue":{"value":{"entity-type":"item","numeric-id":4208764,"id":"Q4208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb60ef6bf268853ccf3aed1ce8ff5f1f11b4c9d","datavalue":{"value":{"amount":"+0.8733042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$77A1E8B1-F480-4595-B5AB-BE4CE2B455A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7656ba11442c7ecf0629f041f4d9a7d0b33632a1","datavalue":{"value":{"entity-type":"item","numeric-id":4487690,"id":"Q4487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fe8943519ef230204c48a98db369e822aeca6c","datavalue":{"value":{"amount":"+0.87023014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$27B36087-DD22-4C14-BD99-483CF079EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d890be08b09353a1214a365756a0710efd2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2724919,"id":"Q2724919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bd2bc69db9be09ebfef9ac128ca15ab88da005","datavalue":{"value":{"amount":"+0.86914366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$7C058CBC-B512-4069-9E98-250083065D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55ec0c03c0bb4e04d69eb278824c5837b5abcef","datavalue":{"value":{"entity-type":"item","numeric-id":1011011,"id":"Q1011011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18d084dad72ec4796a5316a21147746790fd1b4","datavalue":{"value":{"amount":"+0.86859477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$EBE61598-9024-4035-A7DE-5D556DE3694B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b343374c590571e8629bbe8a944b6c2f0b0950a2","datavalue":{"value":{"entity-type":"item","numeric-id":5943826,"id":"Q5943826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fde78c766cd38de08269d153287e8b8406d094","datavalue":{"value":{"amount":"+0.8684397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$49E257DA-7D7C-4C07-A2E9-47524EEF1979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421fd330a077ab61a2e37529639c90578308d6e1","datavalue":{"value":{"entity-type":"item","numeric-id":5314600,"id":"Q5314600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37bb2f5a5a379ee70bb4539ea5226d310b51eda","datavalue":{"value":{"amount":"+0.8668558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$096130E9-A2E2-4641-B6F5-6B5AEC809B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb1f231588e6ef5ce31df2c17a6a5ce6d5eab80","datavalue":{"value":{"entity-type":"item","numeric-id":1588404,"id":"Q1588404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709c80c65a48c4ed30e18078d85b5d1dea23ed5f","datavalue":{"value":{"amount":"+0.8612548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1107987$C29FE1A3-F169-44B5-A6BE-4BF436110FAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized lower bounds derived from Hastad's main lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_lower_bounds_derived_from_Hastad%27s_main_lemma"}}}}}