{"entities":{"Q4892411":{"pageid":6921990,"ns":120,"title":"Item:Q4892411","lastrevid":47415724,"modified":"2026-01-01T16:40:34Z","type":"item","id":"Q4892411","labels":{"en":{"language":"en","value":"Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 927142"}},"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":"Q4892411$2312F507-99B8-4A93-B194-6F7D8625E8A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c9e42767feebe0726ce59f14df575da9e4c36f2","datavalue":{"value":{"text":"Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4892411$86F26249-1875-40D5-94BC-4CFCE7EFC4F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f084cf3b977892494205918f3c9aabaa1aae7d","datavalue":{"value":"0853.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$60596089-CAFC-44B8-ACC3-6F51005FA456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892411$9E09305C-4F47-4559-87AC-206D888A8459","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":"Q4892411$D652A48F-6A50-440A-8343-CEBBE4A03B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892411$27A1260B-9F34-4E1F-9695-3A3DB6413EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892411$3C9A68B5-2BF1-49AD-A7C4-BACAEC96A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892411$A7EC3543-D987-4325-8C34-0F7440136439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892411$374ADB81-5973-4AFF-A9C3-9FE3E22D48B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506e87fc86252a2bde5b75d9d665c6e1091336d4","datavalue":{"value":{"time":"+1996-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4892411$8A94E05E-1EDA-4A2D-AF82-9627336C4B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$C62C0E19-C5C7-4B9D-B017-819EE1213C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$033606EB-5835-4062-BFE7-11ADCC91E2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$E73572CD-1247-4D18-A1AF-832A3B8E7EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$B290C088-84D0-40D3-83A8-685E4B2D755C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"501b6059a79b301be9dd76f92a37f63027631320","datavalue":{"value":"927142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$2C06FBFD-4FF0-41E5-BBD0-AC089C7329F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b6f64d15f802183486a574d60884503061aff4","datavalue":{"value":"weak form of Hilbert's Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$C4C1468A-2F3D-4175-8EEB-FA0A3CB0310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb87b10c226bb90919e7586f5a6781c7b0cbf11","datavalue":{"value":"algebraic equations over a field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$990692C2-93EA-4608-B903-9D246DE46A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49116ec039be3520d043906c02008511138c1cbc","datavalue":{"value":"algebraic closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$5B5EAFCB-D39E-48A4-8FF6-688A90EFDA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e84600244fdeca1392b0a714e6a572a5657ff2","datavalue":{"value":"lower bound on the degrees of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$DD1F04AA-DFA0-43A9-80A6-BB79DBA29735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2d9094b006024a890de705b1d5ad47a7974c52","datavalue":{"value":"modular counting principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$D7956F7A-ED85-485E-AC3D-C366BA0368D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$B48B9404-E547-4929-8948-70493F088785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c69b81de77bcff246b6d7049fd79045d83d8db2","datavalue":{"value":"independence results for counting principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892411$035C16A8-4098-40D3-8737-7FB072D59DC7","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":"Q4892411$45B0E39A-3B1B-4F96-913C-8675073C05F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa59bf7cc2e88797d98b1455dc3aff47d5c1098c","datavalue":{"value":"https://doi.org/10.1112/plms/s3-73.1.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4892411$27431C32-98AD-4BB1-A02E-8BEF73175D8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5688deb4024f7673b9940065b049a00cb44c7e5","datavalue":{"value":"W2323554188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$7CE2C151-F60F-4C02-8DA4-527007AE5F28","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"825802eef95b47187fa433e8221cdeef8846c503","datavalue":{"value":"Q106785076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$2E8705A2-BA54-42B2-9D8E-7EE375D2DC08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f87e29360e399a04fa3526dbe978958279abb58f","datavalue":{"value":"10.1112/PLMS/S3-73.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892411$2509B4FF-EE23-4CEB-B8FD-F45C9B3E22E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c648acc83ff31fb5420ffcd0d2967fda448c67f7","datavalue":{"value":{"amount":"+0.8686007857322693","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":"Q4892411$E99FA21A-82D8-49AC-BAD4-21FEEA5D2A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6567eb4918f0d4bc83b92602fb576749b3246b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c648acc83ff31fb5420ffcd0d2967fda448c67f7","datavalue":{"value":{"amount":"+0.8686007857322693","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":"Q4892411$E926964A-FCE4-4BFA-8B3B-EE6F39DB41A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013e23816520f4998f97e9fedca212c9c7b45119","datavalue":{"value":{"entity-type":"item","numeric-id":4737158,"id":"Q4737158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ed34e5d984ae03f8355486d27107e423196c1b","datavalue":{"value":{"amount":"+0.811119556427002","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":"Q4892411$F37DEBD0-A93D-4C06-A18F-5B4534838DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6b1ba9315a6328c582e59b1509f525ef1b9cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4375786,"id":"Q4375786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09738be3e66b34da739c6babb5580f70fca3c4e0","datavalue":{"value":{"amount":"+0.807183027267456","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":"Q4892411$C2DC7E54-D7D1-47FF-9B4E-C2333AD15D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613552472f6d55859ab2fcc7c5a09dcad3125516","datavalue":{"value":{"entity-type":"item","numeric-id":5277746,"id":"Q5277746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65218c708b10ada8e7cc92841a20ed8efce28c29","datavalue":{"value":{"amount":"+0.7932385206222534","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":"Q4892411$B92A7591-BED6-4138-9B11-35547CA401AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4892411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4892411"}}}}}