{"entities":{"Q1687717":{"pageid":1698458,"ns":120,"title":"Item:Q1687717","lastrevid":71999628,"modified":"2026-04-14T01:59:29Z","type":"item","id":"Q1687717","labels":{"en":{"language":"en","value":"Formalization of the Lindemann-Weierstrass theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821844"}},"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":"Q1687717$ABEAE3D5-5426-4AA5-B0E8-E74552F649A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d74d3b69612e6146d03e6d4923524b2e363c0638","datavalue":{"value":{"text":"Formalization of the Lindemann-Weierstrass theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687717$F80A18B3-53E6-4694-804C-3C7F8DF9E371","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35280b49428f72e2eb01c89dd7082fc0c5779e8a","datavalue":{"value":"1483.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$29F4441B-BD4E-4A49-BCAA-956A550689AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccfc985d53e3911f13759d320728c9c23dd8c511","datavalue":{"value":"10.1007/978-3-319-66107-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$639AC3B8-15D4-4D0A-AFA2-7A298D92724C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dcb4e0ac727df37412e99839004e0173fef7cde","datavalue":{"value":{"entity-type":"item","numeric-id":1687716,"id":"Q1687716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$CC92D62F-BCB0-47D0-A8C5-181A1ED26885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687717$91A7E702-0ED9-457F-A9C1-0340BA55E215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18e5a54453bcfd1d4d1521086b04ae2b2371abb9","datavalue":{"value":"https://hal.inria.fr/hal-01647563/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687717$A3BA8CC3-49D4-437B-ACEA-D0141BD263BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$29DFAB21-DCD1-40E7-ABD5-646FC176D179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$B97D4829-1FFE-40E8-80D3-81F9FFB4338F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f353aa98630ada879fe2c9dda86d8fb3bcabe1","datavalue":{"value":"6821844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$D550036D-7DB8-4EA7-82DF-05AB5C5F4D36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687717$B7A44377-94BC-41AE-A0B8-D4B524AB50E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687717$C9C64552-2793-431F-8537-558368A8D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de6cb8342e839961f34703eef51a0f7e6e142ab","datavalue":{"value":"multivariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687717$9CB443AC-D469-4D99-835A-AF8EFA849CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da60c16aa7ea6eb9e0fde888a52195bf14aa5f15","datavalue":{"value":"polynomial conjugates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687717$A01DCD0D-F143-416F-8CA4-ADF1CDA6107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0dd6d2509e020892d03b9824ea7bf128b17f26","datavalue":{"value":"transcendence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687717$204D8E25-4FF2-4B21-A6F1-3D93D6D6615C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$033AF050-8B85-4D77-8C35-6CE359FCE949","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":"Q1687717$F3BB6830-7E24-4EE9-B616-5868D1351F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac5391807fe98a8ecc1ea0ef891f0ce8e2d482a8","datavalue":{"value":"W2748775531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687717$9DE96FBE-7A1D-4CFF-85FF-F056298CD57F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cefdbcf7fa3ccbd8af6d1f5f477811e735b409","datavalue":{"value":{"entity-type":"item","numeric-id":3998726,"id":"Q3998726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$3E3EFD8E-794A-4884-A420-BC2A4F8C5FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d838f8bd7610359419ca491e73f8bee6d9b955c7","datavalue":{"value":{"entity-type":"item","numeric-id":5195244,"id":"Q5195244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$6F9DA8DC-A195-49AF-8312-9739C963C4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$2C7B24F1-6868-4824-B1EA-6335BFB1AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$D98872DB-E445-496D-BE38-4B84FB7F9248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$A6D70AA8-648F-4DFC-8CD7-7CDCB32E7337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$66976088-BA33-4025-A987-9FDADD7F2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687717$0D739C24-10CC-4D4A-B65E-3BDF8CDF0B5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e6e7d597c66c1922035e9b14b4506c9b94fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1382567,"id":"Q1382567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6693e3c7f8d37f571ced144a9c9c3e69ed66730","datavalue":{"value":{"amount":"+0.7405439019203186","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":"Q1687717$F855DF2E-9274-4AFC-8A74-FCB42695BB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe137a0408adc3983e927611ecd024d476266fe","datavalue":{"value":{"entity-type":"item","numeric-id":3982586,"id":"Q3982586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601e8c851de631e89f170c2da66539a5fbab4138","datavalue":{"value":{"amount":"+0.7367230653762817","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":"Q1687717$FFD572FE-E5A4-487A-9D34-CE64DB3E3DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce6f531cfd04e122a6de28b717e710c15251da0","datavalue":{"value":{"entity-type":"item","numeric-id":5856420,"id":"Q5856420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e8e40c3de76c03baab1620c85a042776d2cd88","datavalue":{"value":{"amount":"+0.7348143458366394","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":"Q1687717$30F76A0D-9747-48E5-9B78-8F253F12E552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0c817720be889a7e33cc11e6f74ffe928b63ee","datavalue":{"value":{"entity-type":"item","numeric-id":5195244,"id":"Q5195244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfffcd4c86d469f1940fd3b14d1cd5f35df60f5b","datavalue":{"value":{"amount":"+0.7329773902893066","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":"Q1687717$A818609D-AC86-4B8E-888A-7A7B5FCE4E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5335db67901f88fd998597770a3e6660229d8413","datavalue":{"value":{"entity-type":"item","numeric-id":2131409,"id":"Q2131409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce018c2e86ca026b3b6a392d0f9afd41df882a4","datavalue":{"value":{"amount":"+0.7168607115745544","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":"Q1687717$3E006138-1F67-4E41-AE25-FE3E1F910403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of the Lindemann-Weierstrass theorem","badges":[]}}}}}