{"entities":{"Q5144899":{"pageid":7174470,"ns":120,"title":"Item:Q5144899","lastrevid":55375705,"modified":"2026-02-17T15:00:28Z","type":"item","id":"Q5144899","labels":{"en":{"language":"en","value":"(Semi)Algebraic proofs over {\u00b11} variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298232"}},"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":"Q5144899$A043BA8F-2610-44FD-9633-8DEE33CBA386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe99275dc46dbf4c05b456b697354f88d276062","datavalue":{"value":{"text":"(Semi)Algebraic proofs over {\u00b11} variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5144899$9E5EC104-25B8-4E22-AB69-76D551D5428F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87ee1cab18cce46ff058cbc410f35a9043f4fbc4","datavalue":{"value":"10.1145/3357713.3384288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144899$3FB62FCB-2D1E-4083-91F6-95CC2AD93A77","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":"Q5144899$7019C1F4-AC55-485A-ADAA-C47998AB0DB8","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":"Q5144899$85F18739-6DC1-4FA2-BF75-11D5E9C720B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144899$08138A69-919C-44DD-A4B5-61F500BD5D49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aed91e8caaf6d7413c1f5533a59f7bda21f8985","datavalue":{"value":"7298232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144899$CD2249F2-77B3-45F1-A46B-EA98D7441EB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144899$2B4AD430-B3DD-4B26-B238-9C3639560FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144899$A7667C76-DD0C-48C3-9B37-D9BE89787135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144899$61FD5326-40CB-4F0D-B8A2-98DA280570C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"972920fe5cb341d56dc438d181b987ba5ef1ead3","datavalue":{"value":"random formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144899$12CFEE0B-5C28-4564-AB1A-0781C9E48DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580984e9a1c82d533985196479f3b9f7b85953a0","datavalue":{"value":"sum-of-squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144899$139E2BF1-7B37-4DCB-87E6-A6C831941C88","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":"Q5144899$6007BFEA-7A2E-4895-9523-8C3A2FC62FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da772d8fd89f441fffeadd8516e6c06d2dae8721","datavalue":{"value":"https://doi.org/10.1145/3357713.3384288","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144899$B81579EF-9EE9-4129-9AA9-FE31A35B9A61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3da516daf884d1b9bf3cadd271c2d61adddd5ef8","datavalue":{"value":"W3034785500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144899$4FC4B5B8-B0A4-42D1-9FBE-F799ED0480F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ea5cf7cb0e23e6cfd1151eb8ebd39ce739b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145666,"id":"Q5145666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80c45c9ecbc1f36998f01495cdf9ee1af435649","datavalue":{"value":{"amount":"+0.823674738407135","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":"Q5144899$C2E05DB9-9928-4B22-8A77-87DB2ABB41CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff284c1b45b5920d5f515f016243c9855548eed","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ab5c0e5d0863642ff1969425d83f9b420ae766","datavalue":{"value":{"amount":"+0.814098060131073","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":"Q5144899$B284D6BF-DE37-4B5C-B7C1-343F1D7627E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0dcb9473db49242994ba849ab40d6e8309464a","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c201df53f799a7fba4ae834c2c17f8bc77a04946","datavalue":{"value":{"amount":"+0.7883344292640686","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":"Q5144899$99237733-F72D-4212-8DF2-845FF36D4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dff2c5f76a291ecc9574a3dbb91623843ed243","datavalue":{"value":{"amount":"+0.78620445728302","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":"Q5144899$1C3F770D-8753-4015-84B1-6CAEF6C5FD4F","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":"fa7b8ac2ddc5972598667fe7f8d457b24bfd6ab7","datavalue":{"value":{"amount":"+0.7851426005363464","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":"Q5144899$30756877-FB1F-4668-8463-F80FCF2F68A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144899"}}}}}