{"entities":{"Q2117812":{"pageid":2128555,"ns":120,"title":"Item:Q2117812","lastrevid":54258014,"modified":"2026-01-26T13:48:49Z","type":"item","id":"Q2117812","labels":{"en":{"language":"en","value":"An algorithmic version of Zariski's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495193"}},"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":"Q2117812$263214BF-E0EC-483A-984C-5E3284A149C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c813de35fb4cf5198d3a9f09eb4f1b740367ed","datavalue":{"value":{"text":"An algorithmic version of Zariski's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117812$8EE29EF2-EAA1-4570-B55C-37AAF803CAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb932655dc168dfb3660dec694034051a55ec552","datavalue":{"value":"1489.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$408D33D1-C858-4F35-888B-E6CA92D35D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1466e702c983df13eb1c471c19013dccff591f8f","datavalue":{"value":"10.1007/978-3-030-80049-9_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$CE0BE7E3-3B89-46F7-9941-344A69596AB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757580f4af603b194f494f14abfd0db26bebb99","datavalue":{"value":{"entity-type":"item","numeric-id":2117811,"id":"Q2117811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$9E2A7AE1-55B0-49A0-B0DE-D794904E8129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117812$D65D8C50-3644-4CE9-ABA7-9FA4773E3C85","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fac76040d648ba8dc94ba7903e5b40815e622aff","datavalue":{"value":"The author gives an elementary and constructive proof of Zariski's lemma.  Zariski's lemma: Let \\(K\\) be a field and \\(R\\) be an algebra over \\(K\\) which is a field. If \\(R=K[x_1,\\ldots,x_n]\\), for \\(x_1,\\ldots,x_n\\in R\\), then \\(x_1,\\ldots,x_n\\) are algebraic over \\(K\\), i.e., there are \\(f_1,\\ldots,f_n\\in K[X]\\setminus K\\) with \\(f_i(x_i)=0\\).  In fact, in the proof of Theorem 1, by induction on \\(n\\), he finds the polynomial \\(f_i\\).  The author gives a computational interpretation of Zariski's lemma and uses his constructive proof to develop an algorithm which realizes the computational interpretation.  For the entire collection see [Zbl 1482.68017].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$E107489D-D459-4E89-858B-8C9F85D76F62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5ec9e9fa052af91f142bd19df0f3682bf99e8194","datavalue":{"value":{"entity-type":"item","numeric-id":592897,"id":"Q592897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$7DD78046-F3DB-4282-8020-683A88C3EA2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c01ba86a946b372cb0b4bd66eb63ea26d74bf46","datavalue":{"value":"14A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$60F3CB15-4874-4848-A82E-433866C695BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$8CBA0975-E692-4BA6-AA1D-533637B29957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$AF8DFD00-5496-4ACA-B5F4-5E2B25BC1C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92947390831e918235143283a56f246bac97207","datavalue":{"value":"7495193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$930176B4-A4B8-435D-AE77-531CEB4E1955","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28450b8a3150580e8e1a518c887e40fd310a828d","datavalue":{"value":"Zariski's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$9806F0F3-C857-418C-9411-87E00F68391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$BC3C94B3-0D09-4184-98A2-4B30588036FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4ab60c16fca7d682f612ebf48e93b938ab385c","datavalue":{"value":"computational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$FB3B8808-FE35-4C1B-9E5B-62B0C9EAB2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$DD63E75A-A21B-40B3-9FE5-A6E82094CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117812$26AC1FE8-8C30-4D01-B748-7A04A8A4098B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$BA17B176-FBB2-472C-B826-6B3A089ED069","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":"Q2117812$C6E7851A-5CC5-4C0A-B87D-D8C8CCE25293","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c71f2eb22b8ebc0bc8b4a9169a355961bc76235b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80049-9_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117812$EB087651-FE57-4BC0-969C-89842D8092C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f7a8303d0149d22b4774fee83d64dfe6e016dc1","datavalue":{"value":"W3186402499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117812$EFC985C3-0E2C-4F91-AE16-9CCD542FAA0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$AE9FC654-0A78-4414-B31C-3BC74C31995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e5577531170ec0cdf7c564f59cb5454b54b801","datavalue":{"value":{"entity-type":"item","numeric-id":4613623,"id":"Q4613623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$A1ECD66A-F879-4B06-B1AA-6932D7A38FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af89c59f1f5f834f23b332093d0e5bf56a577458","datavalue":{"value":{"entity-type":"item","numeric-id":3090883,"id":"Q3090883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$8C6A56F3-7D8E-4299-8B96-29DDF950493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$E787942E-3FC3-446A-AF4C-84B1AA3DB930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb33d1b4d059f84302e16d2a85f536f9670c30f8","datavalue":{"value":{"entity-type":"item","numeric-id":2902492,"id":"Q2902492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$FB79F24F-589D-4B37-AFB9-D9040C047328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$AA353F86-82D9-44DB-AF13-A2A89D89C26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7b2ea62a61340c30ced0693795d31f5e2d749a","datavalue":{"value":{"entity-type":"item","numeric-id":5122020,"id":"Q5122020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$0F4EFF31-6D08-4CD1-8515-6359BC391778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6152ee39c3837507f82dd455429b31bc491a51","datavalue":{"value":{"entity-type":"item","numeric-id":2341091,"id":"Q2341091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$F5B03140-348F-4C63-88CC-C47FE74BCE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e41a831f6b0746316b70c822dbeecf66d818a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4117918,"id":"Q4117918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$EF468DF8-7768-4C34-B614-1371995AE1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$F77A6988-ADE2-4C8F-B805-34CBA5F3F433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5ae858614b45125224d7a8513f61390961a0cd","datavalue":{"value":{"entity-type":"item","numeric-id":2303615,"id":"Q2303615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$F7B60821-8696-4936-A38D-D0E9A00A744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1496088073864b59e79892b22f09d9e1f8d8583","datavalue":{"value":{"entity-type":"item","numeric-id":4040700,"id":"Q4040700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$E3A118CC-4BF3-4498-ADE9-D5DBC2BB98FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$58E44A21-5EC6-4ED0-9B66-3813322670E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c3cafd2236f26ce933a975356c990aec10f958","datavalue":{"value":{"entity-type":"item","numeric-id":2348270,"id":"Q2348270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$D6C80295-1230-4FC5-A5E7-032DC65CAC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e744b27e9614b6ffb9924ad038d7c196546a423","datavalue":{"value":{"entity-type":"item","numeric-id":5790208,"id":"Q5790208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117812$EFB81E59-0F41-477B-8AD1-191E6236AA89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de926489162a5bab972d3cdfaa237e45df9bcb1","datavalue":{"value":{"entity-type":"item","numeric-id":402421,"id":"Q402421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81c8f1b802019faadee8193ecca859792f9c307","datavalue":{"value":{"amount":"+0.8065470457077026","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":"Q2117812$FEBFEBF4-F7F1-43F0-876C-71081E5048B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af9629ef03d56e39c947916166ca2a84a016733","datavalue":{"value":{"entity-type":"item","numeric-id":4613623,"id":"Q4613623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c584ca7b32694b78a17b8ba0a84a3410f3f88f26","datavalue":{"value":{"amount":"+0.7942817807197571","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":"Q2117812$78F60ECD-A287-4577-90C5-49CFB38ED2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a497338e620092866a29273aa463a20a4b7c25","datavalue":{"value":{"entity-type":"item","numeric-id":2833657,"id":"Q2833657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2cd45f625098cdbdbe78d4c4221c1235782fcc","datavalue":{"value":{"amount":"+0.759709358215332","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":"Q2117812$501C475E-849D-45C2-98A1-59D97346CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49245340bdc29e88fe325c3862ec7d97981e992","datavalue":{"value":{"entity-type":"item","numeric-id":3981299,"id":"Q3981299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b87b4491af8491b3102f57c7a07e0343de07b70","datavalue":{"value":{"amount":"+0.7561876773834229","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":"Q2117812$FE6B39E7-818C-4AC1-BCDC-D33FF2F8ED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33feeb38d387aa8ac8f8cce1069cb5aa08cd020e","datavalue":{"value":{"entity-type":"item","numeric-id":4394970,"id":"Q4394970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b87b4491af8491b3102f57c7a07e0343de07b70","datavalue":{"value":{"amount":"+0.7561876773834229","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":"Q2117812$7B22C3BC-A866-4B47-945A-E9CF1D454A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117812"}}}}}