{"entities":{"Q5144897":{"pageid":7174468,"ns":120,"title":"Item:Q5144897","lastrevid":55379152,"modified":"2026-02-17T15:01:24Z","type":"item","id":"Q5144897","labels":{"en":{"language":"en","value":"Semi-algebraic proofs, IPS lower bounds, and the \u03c4-conjecture: can a natural number be negative?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298230"}},"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":"Q5144897$3DD7F64A-BF22-4647-B0C7-35BFE81D01E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c64140ee475237863fdd90604cc5fdb62c05d60","datavalue":{"value":{"text":"Semi-algebraic proofs, IPS lower bounds, and the \u03c4-conjecture: can a natural number be negative?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5144897$8F265592-0F4B-442C-899E-57B9B4E40144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34da1c8136131c08d3ec0f64b155a50a89cac68e","datavalue":{"value":"10.1145/3357713.3384245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144897$D67039FD-5A3F-4155-8AB9-7505A9162DE7","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":"Q5144897$D48AF7B5-D5BD-4976-8E09-7AE815116A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144897$76920088-EC7B-48A1-BA06-22F5415E4751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144897$29A629DE-7587-49B0-8CFA-DC910A082673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144897$F7B067E4-1375-4DB6-9283-7DD026FED17C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"54ff79ea3bd27e27eed482c87c60ccd48a68f63f","datavalue":{"value":{"entity-type":"item","numeric-id":5144890,"id":"Q5144890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144897$57D11CB5-6287-46F6-8E57-CA9E0D5C3DCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144897$02402F20-F784-42AD-8608-6ADD63A41A7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93c857a3b64c28e5414a89622613a36a19c96e56","datavalue":{"value":"https://arxiv.org/abs/1911.06738","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144897$19FCB93B-D418-41B6-A9E0-5085CA8B7279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144897$23D22AEC-8681-4F8B-B111-C18D29CD233E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc03d5c15b9c0cd3b01d0a9923f5df869bf218b2","datavalue":{"value":"7298230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144897$D62F441C-F02E-4084-A843-DA509A52E441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$9A673FD3-C9F7-4F24-AFE3-82ADF76B21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa537c38c87720867c81e56cdca3d9bee49dc5ac","datavalue":{"value":"semi-algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$85215F31-DB93-4682-8A06-268D9DAA198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$A8EBB2BF-26D7-4DCA-A06C-F1BA4519E698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1cdce634c94330d8f6c771015592e86c335a2","datavalue":{"value":"algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$13CC70DA-43BA-4B55-AFB7-6D6194F60EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6718f30d40d353c69b8d40c939482d35faa267","datavalue":{"value":"sum-of-squares proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$43F5CD48-3016-42A3-A821-E81D1205AA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac486012bcf5f6f9a27411e5230a8e4633ae3f47","datavalue":{"value":"tau-conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144897$BED59C1F-0B2B-48AE-8DFC-4A892577B77B","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":"Q5144897$73796BE1-5D6F-424B-A924-DBB99CCAF363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54403b9baebaf514025e682e9349f597a911ed28","datavalue":{"value":"W2989887679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144897$1161649C-AB1A-4EE4-94FB-D191542641F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c24327c39e49b38f2294f8272a7cd60b5af69799","datavalue":{"value":"Q130970414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144897$0B70734A-3487-4583-A207-D7D247BE62EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc67d555ee09feda8744fd93f609934b963dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5028363,"id":"Q5028363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9764d1a45421a269d185e48bd5ff9708842118ad","datavalue":{"value":{"amount":"+0.8283429145812988","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":"Q5144897$02B654D1-A21D-4A29-ACAB-7C2EDD8C8AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42314ba4f231721294d1ffeaf8e82700a2709e56","datavalue":{"value":{"amount":"+0.8263352513313293","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":"Q5144897$FB6C6A45-332D-45AF-A261-F2341C8BEEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fca757ff0b40cb6d44feae636527d30c9e15c8","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438f6275eda3157fcfaabf57274a4c64637837d3","datavalue":{"value":{"amount":"+0.7386691570281982","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":"Q5144897$6DFF622B-E964-48C0-8CA8-35ADF4F5FD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d34f9a8510d091fb349b17abf9649ed57397e0","datavalue":{"value":{"entity-type":"item","numeric-id":5144899,"id":"Q5144899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bb447f6f237884099b00dae5ca04b1a02467c9","datavalue":{"value":{"amount":"+0.7385391592979431","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":"Q5144897$9D3D8745-6C4E-4FFA-9ADC-0865EC4CF9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85624023b62896bd53179b9c89be9298254c6b12","datavalue":{"value":{"entity-type":"item","numeric-id":4737162,"id":"Q4737162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e7dd2abaa7db71f590de2ab417d10bfc52b090","datavalue":{"value":{"amount":"+0.7363775372505188","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":"Q5144897$05723A51-A9B7-45E9-9E57-73CC2F0AA6F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144897"}}}}}