{"entities":{"Q2326429":{"pageid":2337172,"ns":120,"title":"Item:Q2326429","lastrevid":57857337,"modified":"2026-04-02T20:08:07Z","type":"item","id":"Q2326429","labels":{"en":{"language":"en","value":"Decidability of the theory of modules over Pr\u00fcfer domains with dense value groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114355"}},"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":"Q2326429$2A2A3AB0-D166-4579-B278-11F82179F787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5de2ef2fd219883cf87c2d996faa8d99befb9e0","datavalue":{"value":{"text":"Decidability of the theory of modules over Pr\u00fcfer domains with dense value groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326429$5FA9E4DF-879A-4C33-8B8A-9A0EF69A60CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9be073220b138591cb479ad02866eaa85a9cf61","datavalue":{"value":"1475.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$00F457A9-BD56-477E-A939-396D8A1DF778","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9b72ec088e29fabdf16649094e3bbc7a9c3db7d","datavalue":{"value":{"entity-type":"item","numeric-id":392136,"id":"Q392136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$D1FC98BA-7711-4E23-8DA8-287DDBBCA35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b5fa6c0109c818eb9eb30a61206ae77b99a41c0","datavalue":{"value":{"entity-type":"item","numeric-id":529158,"id":"Q529158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$438C41B0-131F-469D-B8AA-BE33E8F4A35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$5360BC08-BC89-47AF-9565-677F4E0C07E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$C6DA7BA3-5215-47BE-BE78-9B25982E0EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326429$7B8D3832-230D-4956-9EF3-1C96B307E3A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca5e6d0b503c8b87df026ce8b9f353d387725b27","datavalue":{"value":"https://arxiv.org/abs/1906.03902","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326429$510043C8-02FC-4862-AB68-3B2D79296855","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ea11759db97b5b19cc2457f1c574355405cef48","datavalue":{"value":"The authors define relations in a ring \\(R\\), called \\(\\mathrm{DPR}(R)\\) (double prime radical relation) and \\(\\mathrm{PP}(R)\\) (Point-Prest relation). They show that if \\(R\\) is an effectively given Pr\u00fcfer domain such that each localisation at a maximal ideal has a dense value group, \\(\\mathrm{DPR}(R)\\) and \\(\\mathrm{PP}(R)\\) are recursive, then the theory of  \\(R\\)-modules is decidable. In the case of effectively given Bezout domains with the same algebraic property, the decidability of the theory of  \\(R\\)-modules is equivalent to the fact that the defined relations are recursive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326429$0ADF1910-8125-4EA2-B69E-521C188BD295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$4EC7FA5F-378F-4473-8091-D68D7FF7FE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$42C1471A-95CC-483C-BA47-BBDB8E8D8891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$56D7BA3C-01F9-41D0-A88A-B0F58FEEA850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab9c61efb5894e2ef828c4d06db1d51c8a692686","datavalue":{"value":"7114355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$5EB72140-DA33-4581-9D11-6550A646AE9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843edf13197a9573b76a5372c2e834050044f164","datavalue":{"value":"Pr\u00fcfer domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326429$39FF1CEB-0E1A-43AC-B103-BE775ECFD413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2bb0930bea7395837a4b67cf1808d1978876a0","datavalue":{"value":"B\u00e9zout domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326429$E5B62F99-D988-4D89-9B1B-A1A6902648FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76075ec7f3e2e8060136f017198e876ebffd23ae","datavalue":{"value":"dense value group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326429$4CA628BF-CADD-4CEF-A553-BA9A9416BFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326429$F2C3BF11-E08C-40E9-8EAF-729A84557AB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9b7bf9cd273aeaf91ec2e38cce549e5afc8f07","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$CE4B23BB-91AC-4EE9-8DD5-FB8460FD5B2D","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":"Q2326429$813822D9-4504-49C7-B86F-7BA792A7941F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"233df57aea1d29b384fe62f42c3552ef63d56312","datavalue":{"value":"W2963316936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$222C60CB-8C65-4574-92D6-B8143CBBD82D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"360c2115b926f504faaa68ceaa5303c01926296b","datavalue":{"value":{"entity-type":"item","numeric-id":1842127,"id":"Q1842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$DBE57778-EAA0-45DB-BA9C-4B80BD260C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865739c8c46b7eb8ebee9997f21b126349ae7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4513600,"id":"Q4513600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$A1550239-2467-43E8-B0D3-1953E2E00E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d147e60cecab27bbf24610ea1b5527c81e9e88a","datavalue":{"value":{"entity-type":"item","numeric-id":3137901,"id":"Q3137901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$B2141E92-B16A-4C23-8CDE-005B7DA07779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a770aea9ea049b8644e2d87d68680ea2dbca5a","datavalue":{"value":{"entity-type":"item","numeric-id":5501777,"id":"Q5501777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$F506F1B9-A4F0-4415-B6E3-3275BF34260C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b6caf0d59608044713f5017d2aadc60cfe52d2","datavalue":{"value":{"entity-type":"item","numeric-id":392137,"id":"Q392137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$33779809-B209-4F5C-A2C5-551542DEBF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33060808cce0a109877890e8f967c14d7edbdab","datavalue":{"value":{"entity-type":"item","numeric-id":4647101,"id":"Q4647101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$F334D285-8FDA-4FF3-8226-740391397D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848e7086643a83008cc3d02a43c51533f2c0c69e","datavalue":{"value":{"entity-type":"item","numeric-id":4628677,"id":"Q4628677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$C58EF81B-2598-4CDE-BF11-1B46EF9BDD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5101923d5d584125475a6dfbd635b24fe0ddc57d","datavalue":{"value":{"entity-type":"item","numeric-id":529159,"id":"Q529159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$06DF002F-76F4-40A3-925E-C4EA32337843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41d366da6123395b3e088dbdf81cf068b5d7dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3819050,"id":"Q3819050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$BD9B95AE-C575-4233-A1EC-6B3E484B503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c844ee5125b77c2616ce91cb7ac431a1afc191d","datavalue":{"value":{"entity-type":"item","numeric-id":3632824,"id":"Q3632824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$09790491-176D-4F1E-9BC9-7D414E1AD134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a03fa3bd06864053154519927ebe860ebf44a6","datavalue":{"value":{"entity-type":"item","numeric-id":4435166,"id":"Q4435166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$CC9A8403-E865-4904-9AEB-B40F0CE372D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc200cfe9950de1376c0c5c49a883e0c0cc059b","datavalue":{"value":{"entity-type":"item","numeric-id":866569,"id":"Q866569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$2F702000-A5BD-4361-B4CB-3B96F31DC62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c737999ec811728c1232fbaaa4da9445773b62ff","datavalue":{"value":{"entity-type":"item","numeric-id":5891806,"id":"Q5891806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$E2A51789-FAA3-40A2-98B2-1B90AE921A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ea4da8709a6c54920ca1a7515cf0532ce34dfa","datavalue":{"value":{"entity-type":"item","numeric-id":479280,"id":"Q479280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$A25D0DB1-BA6A-42CC-B0E0-554DE6BA476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d39639f420f6682020131761cb9fb44e6420af","datavalue":{"value":{"entity-type":"item","numeric-id":1400880,"id":"Q1400880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$FC548B8B-ABBD-42F1-8DA5-515550BFEE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9c1654d45746314251987759691016e5c8bc08","datavalue":{"value":{"entity-type":"item","numeric-id":1076118,"id":"Q1076118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326429$DFF6ED5B-BD15-400B-8280-4C6DA3D76E2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"295c488134930b08343c64d824da2fef78480703","datavalue":{"value":"10.1016/J.APAL.2019.102719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326429$1174571F-1EDF-418A-96B6-A7C8930231E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daef60a7faecfca021a9ce291765e0f5d7cf9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4647101,"id":"Q4647101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36dbd02455fee6fb14b37e3e3936566821554ec7","datavalue":{"value":{"amount":"+0.965485692024231","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":"Q2326429$EE360F27-2C32-4601-9F90-AE9392B7A50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88a94f911297bc03c4eed68c740f88941eee0ff","datavalue":{"value":{"entity-type":"item","numeric-id":5501777,"id":"Q5501777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fcffbe2d8f5c5ebd76d6b6ea80221390db754f","datavalue":{"value":{"amount":"+0.8563658595085144","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":"Q2326429$50044B4A-03F9-40B3-AF05-CD864EEEAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0abb8992798c717a8fab3129bbff07918412a94","datavalue":{"value":{"entity-type":"item","numeric-id":866569,"id":"Q866569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821ba3fa0ff7c77eb17a89cccbe5af105610a578","datavalue":{"value":{"amount":"+0.8166441321372986","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":"Q2326429$0BD01457-D8DF-4E9B-A16A-4C1B137797B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9388510d7ff9090dbd4a153e58f4b34a72faf2a","datavalue":{"value":{"entity-type":"item","numeric-id":5891806,"id":"Q5891806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8b6c0e4a5701730111ead46fbed3d4db872602","datavalue":{"value":{"amount":"+0.8097931146621704","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":"Q2326429$8781360C-F19F-411E-9913-B2773A75BEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598e4167e80d9b2c06cdfa39884fb09595f5c907","datavalue":{"value":{"entity-type":"item","numeric-id":2318399,"id":"Q2318399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dfe229ead28dac1ae9f69899f16f8cab8699a6","datavalue":{"value":{"amount":"+0.7885751724243164","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":"Q2326429$4E024735-7598-412C-BF13-40C04858CF3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2326429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2326429"}}}}}