{"entities":{"Q1293358":{"pageid":1304108,"ns":120,"title":"Item:Q1293358","lastrevid":68389785,"modified":"2026-04-12T23:23:00Z","type":"item","id":"Q1293358","labels":{"en":{"language":"en","value":"Lower bounds for the polynomial calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309691"}},"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":"Q1293358$95D7D213-16EC-4205-804B-6F104A10D94D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c5eea6f5362f7a07761345f235a9f558cdfc0b9","datavalue":{"value":{"text":"Lower bounds for the polynomial calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293358$C173A201-682C-4566-A3AD-9EF0202F34DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df3a4f03d7c4afe2a3f9f21937163f8c8e69d03f","datavalue":{"value":"1026.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$0D0FCC49-5398-46B3-B683-FAB5F14C38C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293358$9C45ABF3-9ADB-428A-979E-A5F3559F917D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77f0831d5d44c613976b1d34c6f3463bf96193a6","datavalue":{"value":{"time":"+2003-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293358$403544C5-A3BE-426D-A805-14C4CA9E578F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$1625CE6B-5D0E-4B74-8939-A8BFB2762A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$D141E0AC-C80A-48D3-B418-BFC873C81DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$AF492032-494A-4E1B-8FFA-3D8D5F9FDEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$297F8E64-D868-45B3-A1CB-839F423C2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$82B9CB75-8EA5-4C88-BAEA-2D355DF6E1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$32A29097-E6CD-4911-BC1B-489E1A87072A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db4e31c22437e7c059f096a3e2c1a2d8093dd8ac","datavalue":{"value":"1309691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$1A0538AE-EF8C-4623-B55F-2DC39DE5692F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9d7d33b953ce15e1f376f9aaa094a90fc588ec","datavalue":{"value":"polynomial calculus proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$429A2930-0511-4677-87C7-9324B0D67495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21b2518a73dc7dfdccf79e1ed6aabf75b9bcfd5e","datavalue":{"value":"Gr\u00f6bner proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$70CDEFE4-5DB2-4B52-A5F0-E314A97A4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$92EAE9CF-03B0-4A50-B632-2AB46A615B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$54745D23-E94A-4C21-8CBC-7021AF9925AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308cf63ea8c077f8633f0af8aef370fde0dd7b99","datavalue":{"value":"degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$BDB5E32C-4C17-42DA-BD08-D31AD6F307C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293358$8568BB31-E9E9-489C-99B8-B199DF79A8E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293358$A59D8EE0-EC18-44ED-9E4A-1DD6E6A75325","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":"Q1293358$C88C2F4F-96C1-4186-ACD8-228ED1D81AD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"808ac0626ee8d0f7df010226ae5d0db40bc3e543","datavalue":{"value":"https://doi.org/10.1007/s000370050013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293358$3AB08CEA-B551-444D-B7EF-7138D762FAF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38c534266b863aad38e30091e2d556a2220d8cf1","datavalue":{"value":"W2093396771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$2AA4C51F-5661-45F9-8B32-29B89E6ABFED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2898c99e7a36b5c6ae7b9d8b52da1cb9a1ae81b7","datavalue":{"value":"Q56701136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$D3F8C701-253F-4332-AB06-B152FDCAA513","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7b3e550d3e4b2ba351f5ed19be01838dfbd66936","datavalue":{"value":"journals/cc/Razborov98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$A8DB0AFB-70CC-4E9C-8B4A-09FDAA60C092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7318c69aa7e4953c9f56e2fb47830664d2c900de","datavalue":{"value":"10.1007/S000370050013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293358$40E57D22-DF5A-47E3-8BB7-70F4C48F0E76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd80a86a2f91456825df7d33660484c8358434d5","datavalue":{"value":{"entity-type":"item","numeric-id":4681889,"id":"Q4681889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5c7a535eea7e8d0e5040ef413a62b30944f2a9","datavalue":{"value":{"amount":"+0.9582747","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":"Q1293358$CB0908ED-8EFB-4ED5-839F-875A407EB2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844ec6fefa4f32dc30be7bf1498ed1c5b88ff92d","datavalue":{"value":{"entity-type":"item","numeric-id":1405189,"id":"Q1405189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9f06f07cb5732557ac23e078b4bcd8cbd4ff8f","datavalue":{"value":{"amount":"+0.94354653","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":"Q1293358$B18661BE-0783-482A-9A38-FD9E9431E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6419d8ba5b3e69a852d16a392f4da77c3ba434","datavalue":{"value":{"entity-type":"item","numeric-id":6115377,"id":"Q6115377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db56df0746e6e30ec2820f559eba791b3e880f54","datavalue":{"value":{"amount":"+0.9433701","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":"Q1293358$F9DF778D-F77F-4C95-A1B8-9BBF75530C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a18c052eca9cdbb0ccfe521094c6c8c7982a82","datavalue":{"value":{"entity-type":"item","numeric-id":2333803,"id":"Q2333803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb60944eb94444e6224c1d2469c874875a5d8b9","datavalue":{"value":{"amount":"+0.9392844","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":"Q1293358$595DA191-B116-4BB3-9C39-AFF66A614242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f80d75301fbca74de01f8d665516e6bb86dc0b5","datavalue":{"value":{"entity-type":"item","numeric-id":680071,"id":"Q680071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd9b190c1e9090779734e9e02c918ffa9376676","datavalue":{"value":{"amount":"+0.9321168","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":"Q1293358$46242C0F-7EF1-4D60-B809-828864FD500B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9388c53bfda4aa42b0bdada38a2954230750b7db","datavalue":{"value":{"entity-type":"item","numeric-id":4601843,"id":"Q4601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4ed236a210f033001ba343ebec581a82445da7","datavalue":{"value":{"amount":"+0.9291694","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":"Q1293358$33B9E35C-6C75-4030-B28C-F347B549AFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4c8f824c76149503f90267e8e65fd8cf66a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cfedc64ffe3be1cb8e1f0ea43cb3927c777c91","datavalue":{"value":{"amount":"+0.92819405","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":"Q1293358$1E83318E-1B3F-427A-BC48-D00FF011783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9c9f9dc265155ae3ca895649228bf3d8552d03","datavalue":{"value":{"entity-type":"item","numeric-id":3316589,"id":"Q3316589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed22982c79c424ad1cf371c54c2306a29825ac14","datavalue":{"value":{"amount":"+0.9276957","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":"Q1293358$5101864A-4C6E-428A-ADBD-6CEBDC4EBFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eecccb18a15816d16adb53c07abaadfbd05a48","datavalue":{"value":{"entity-type":"item","numeric-id":604214,"id":"Q604214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b8358ca1a5183f08542f63ede0844aec63270","datavalue":{"value":{"amount":"+0.92195356","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":"Q1293358$E0687290-E51A-4DB6-AFD0-568A31C3C4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e218d72a3aab373099c66df32d4dd70280a412ec","datavalue":{"value":{"entity-type":"item","numeric-id":1386175,"id":"Q1386175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d57324602a390638412481d5d43efb07a79296","datavalue":{"value":{"amount":"+0.92169434","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":"Q1293358$89D2BF56-6909-4EAC-B663-D5F2F81E0F21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for the polynomial calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_the_polynomial_calculus"}}}}}