{"entities":{"Q2715529":{"pageid":2726268,"ns":120,"title":"Item:Q2715529","lastrevid":47625394,"modified":"2026-01-02T06:17:02Z","type":"item","id":"Q2715529","labels":{"en":{"language":"en","value":"Undecidability of existential theories of rings and fields: A survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1607960"}},"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":"Q2715529$7B7481D8-7971-47BE-A9DD-D03A08F1F874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"994d3c1770a5ceb38d5c7f9c5746d211fa806f7e","datavalue":{"value":"0981.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$5FD0DE38-332A-432B-898F-67B6083B56F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90af4417692f0996335fa9ebf948ac3635f2454a","datavalue":{"value":{"entity-type":"item","numeric-id":161567,"id":"Q161567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715529$6C64C8E4-966A-454C-A973-D088B743424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f469b80548927840fea79be8ed06f05c7e8b175","datavalue":{"value":{"entity-type":"item","numeric-id":953159,"id":"Q953159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715529$0511511F-8382-4982-BA4B-985A2FBA25E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f64bfc106972732917199354eba726d2662c295","datavalue":{"value":{"time":"+2002-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715529$CE6A5013-1623-4183-A0C6-CA4BC98DF01E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$AFFEFAA4-6304-4C01-A93F-A9056B41A3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$EE53CE96-28F3-4AA6-A3AD-9A5BD0001C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$81E6143A-7B47-4918-BFDD-D306975E4AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"074177ba50e5f7cd7eae113cc89a7f50bfc44b06","datavalue":{"value":"30E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$84287BA7-83C7-47F6-9C25-683BF73010BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6551dec4b4fdfd7664d2cb53e531802f2761e471","datavalue":{"value":"32A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$BD3F76C2-611C-4425-9F4B-702BD45AE3D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"904f9e94f8aa2058833d0d97d0899a3dfa6199fe","datavalue":{"value":"1607960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715529$EF2FA7F8-AD24-49C0-9DEA-EBE76FABA7AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cf43defd3e5fd861538701cbd871f70e6757158","datavalue":{"value":"fields of algebraic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$2E33C9DE-0BB6-4B73-915B-E27DD5ACE4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508beed780d3c436f878eb69acc9047acd35e73e","datavalue":{"value":"rings of analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$12B67212-3EC4-4D64-9890-45C98120819B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6591d9e22f6e5c06d6049a154ff35ec2adb5b43","datavalue":{"value":"fields of meromorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$893CC10D-1C2A-4C94-8587-3B8106FBCCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cdf470ab090b44e5a30f99855d290c47b57ca7","datavalue":{"value":"existential theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$4DC2E7B7-8AFA-47F9-9610-1DF6FB869FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$E2016E83-F464-4653-9990-CA74AE193B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$D1D6F0E4-FC14-484F-8F4E-70361912E0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939326c5bb59dd0d9ab4a5c75ea3aac2fc68f26c","datavalue":{"value":"diophantine polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$17E155D3-B880-41F2-8639-161E9BC7649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$9C3EB4B4-0F76-4E58-BCBE-9CB0E0BBE1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8ba8228529d63148a87a27eee58cdb2658ab3c","datavalue":{"value":"diophantine theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$EC3625C1-6C1C-4965-ADE4-721BDE081DC2","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":"Q2715529$FED52668-5D3E-437E-925B-337F1B607081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"137d0ed521ee7a8c12aec1a0c115f77c76121e1d","datavalue":{"value":{"text":"Undecidability of existential theories of rings and fields: A survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715529$01E4E905-C2E2-48FF-B75B-2B92B9F8E9F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"838b83611e88a5c9628774f7a6645430ea4a8508","datavalue":{"value":"The aim of the reviewed paper is to give an overview of results and problems connected with Hilbert's tenth problem for various rings and fields.NEWLINENEWLINENEWLINELet \\(R\\) be a ring, \\(L\\) be a first-order language of ring theory which includes symbols for some elements of \\(R\\). A diophantine polynomial in \\(L\\) over \\(R\\) is a polynomial whose coefficients are in the subring of \\(R\\) which is generated by such elements. If \\(P\\) is a diophantine polynomial in \\(L\\), \\(P=0\\) is a diophantine equation in \\(L\\).NEWLINENEWLINENEWLINEThe emphasis is on the decidability problem for existential and diophantine theories of rings and fields of algebraic and meromorphic functions.NEWLINENEWLINEFor the entire collection see [Zbl 0955.00034].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715529$3E5D9AD6-4920-4A78-BDEE-CD05D8F62357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247a3d2335353bdaca1328b0ddd0d8399454cf0c","datavalue":{"value":{"entity-type":"item","numeric-id":3602608,"id":"Q3602608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612e00d28f6a7705900be66a01bce7fbe4c4d8d7","datavalue":{"value":{"amount":"+0.8311135172843933","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":"Q2715529$ABC616A8-B930-4AE5-8F28-37EC3BE06A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30434bf6ef878243b57f461750a38e55bbf524e8","datavalue":{"value":{"entity-type":"item","numeric-id":2715537,"id":"Q2715537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4e7efe3cb89d87f9830d81093b9c4a887ee9ae","datavalue":{"value":{"amount":"+0.8204453587532043","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":"Q2715529$942242CA-2851-4996-9B64-A4A197238D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ebbaed1b268f9896a24b5a786da4b18d231c6b","datavalue":{"value":{"entity-type":"item","numeric-id":875926,"id":"Q875926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7c265f0af5b5ac727f8fd49782177eb513eba7","datavalue":{"value":{"amount":"+0.8189577460289001","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":"Q2715529$A59A7A74-5E05-40C5-AD38-BBA18364A9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc3c9bc460a2ad655f0232c8d34fc3273407174","datavalue":{"value":{"entity-type":"item","numeric-id":1915694,"id":"Q1915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b07e01d69638d02a0e8dcb114e48cb2d0abfafb","datavalue":{"value":{"amount":"+0.8142643570899963","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":"Q2715529$216B6EBC-B365-42A3-B85A-F68B9CDAE9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a58c36441569f2e973c524dc0fd8a0f127dcac","datavalue":{"value":{"entity-type":"item","numeric-id":1331916,"id":"Q1331916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b07e01d69638d02a0e8dcb114e48cb2d0abfafb","datavalue":{"value":{"amount":"+0.8142643570899963","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":"Q2715529$6E98AC05-7E2E-4303-979A-DA17347F9B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2715529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2715529"}}}}}