{"entities":{"Q866569":{"pageid":868417,"ns":120,"title":"Item:Q866569","lastrevid":64947243,"modified":"2026-04-11T23:17:49Z","type":"item","id":"Q866569","labels":{"en":{"language":"en","value":"Decidability of the theory of modules over commutative valuation domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126409"}},"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":"Q866569$FA000703-DBE3-4C45-BCEE-98E50B0BF9EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d957b9083030aa4cab3c90d6c087fd973c2820a0","datavalue":{"value":{"text":"Decidability of the theory of modules over commutative valuation domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866569$CC129774-255D-4EAA-A7C0-B064F97B7D93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6937154ec105fd760844f4dadee3703e2a9f0b62","datavalue":{"value":"1111.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$B5F6FFF4-96D0-4D74-8C30-6B9BD5F080F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07f81ef6d32d2ae63066a640574ec2b6b21c4d47","datavalue":{"value":{"entity-type":"item","numeric-id":288499,"id":"Q288499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$AA9F6D4B-6E02-4BDC-8DFF-B6B7C385CCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44ada64c1b2c34c252672698214f7b330048f51","datavalue":{"value":{"entity-type":"item","numeric-id":866568,"id":"Q866568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$2782BBC1-562E-4B72-A03C-5DBA1145A510","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":"Q866569$F82D4A05-D147-4776-8755-2C7EEA32BDAC","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":"Q866569$17788F73-0822-417F-9B62-D3BA81101207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866569$751B3377-755D-478A-806A-4ED5F7BC5F10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd2f7ccd6e8ad6ac2e785d31465df40efad93482","datavalue":{"value":"A commutative ring \\(V\\) with unity is said to be a valuation ring if the lattice of ideals of \\(V\\) is a chain. A valuation ring without zero divisors is called a valuation domain. It is proved that if \\(V\\) is an effectively given valuation domain such that its value group is dense and archimedean, then the theory of all (unitary) \\(V\\)-modules is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866569$98ADCB18-ACF9-47A4-9AE8-3B1B5E7B8797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$C89FB477-19CE-4DE3-9C48-722191737329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$0FA1AAE6-0265-46D9-9AC7-513C45DDCDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$3CB41174-0A6F-4B6B-BB2A-BCF329BA8A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03ef45528d4e9f367659f527bbe0277c059aab9f","datavalue":{"value":"13C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$8E41F62D-94AD-426F-83B4-BD454173C737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$976C86D9-AD2A-47F0-89E1-1B4C1A14399B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f5ef583c59e40329dd64554dfe0bf3bd6b7d8c9","datavalue":{"value":"5126409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$760477C3-685D-48EE-8A90-AFE313109A4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f26228fb5eef9726768e8f3a3a6fb84e0d4f57","datavalue":{"value":"theory of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q866569$934E347E-E899-4FFE-87EF-D09BEA38AD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3683ebed5640410b9c69c935840c30f4711a63f0","datavalue":{"value":"commutative valuation domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q866569$368745CF-6714-40DC-A8F3-0D82D3234157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q866569$0096C5A1-E0E9-4971-9662-FDCB8A2B44AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1916756861db88cc93b7f8aa5d453108444c5eec","datavalue":{"value":"Ziegler spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q866569$1145B55B-60B3-436A-AECC-98FC535A1221","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":"Q866569$121520AE-6831-49AA-9062-06B91D7C9A31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17eb9d2e3e052a30c49efea5ff3bf88b9af4ee7d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q866569$576BC9A0-B126-4625-9243-BCE166FF22BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cd3ef832a75013533766741349735b354e8827b","datavalue":{"value":"W2098833406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$69EAA738-206C-4CF8-813E-69F957C85709","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"771cf89fd79fc8b583d80faef80442972b5f9b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5661866,"id":"Q5661866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$52AD1ED2-5590-47A0-9FFE-33FB5B8FE23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b769453d7d3f157f151e1cd31ad30d253929c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1093687,"id":"Q1093687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$3607A107-B4DC-4094-96E3-8C673F517E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2639adf2b787fdf1506d9d82bc19b8f2383fccd","datavalue":{"value":{"entity-type":"item","numeric-id":3699812,"id":"Q3699812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$E50A8871-8A64-4B0A-8EAA-CBAECBD02DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d73a8e4170a711b68f0d1de1ce666e78a13d9","datavalue":{"value":{"entity-type":"item","numeric-id":4948522,"id":"Q4948522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$B108E088-7F42-4A1A-A56E-3FD9474FACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8414cd86567d2d428ef3e0ffbf836634e921bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2744684,"id":"Q2744684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$C0AEBDE9-E588-4044-BC72-F0FC9561F056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866569$DA3BEDFC-1535-4BB0-B650-2179CFBA1B23","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":"Q866569$BE74B2D2-1634-4854-8942-D42E864D3CA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e54f36704b27de7d6b6e303f0ee20278443fdb7","datavalue":{"value":"10.1016/J.APAL.2006.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866569$7FF0E20D-2BE6-426C-90E2-405596EA5350","rank":"normal"}],"P1643":[{"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":"86d3d87a483e02b11d078eddba81449bbf54b936","datavalue":{"value":{"amount":"+0.9002119898796082","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":"Q866569$7E23A398-3D55-43C9-B0E7-8746EBD82C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a3f31aa9a9b399553db345382fa8a9aa620761","datavalue":{"value":{"entity-type":"item","numeric-id":2326429,"id":"Q2326429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d872665f81c204ba7fc86fe35e0cdadfac7017a","datavalue":{"value":{"amount":"+0.8179911375045776","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":"Q866569$B5A3D600-400B-45B2-AECD-E630BC9828C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaadf48beedffef61de0b8da537dbff48e7cb569","datavalue":{"value":{"entity-type":"item","numeric-id":4281263,"id":"Q4281263"},"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":"Q866569$F9CA56B6-9DC5-4E35-A90B-2E1AB7CA0285","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":"51ddb2e589f2147d54bd26f96c67eb1b0a4eb1f7","datavalue":{"value":{"amount":"+0.7916703224182129","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":"Q866569$73F902F5-CCBC-4D9C-9CF0-A01E63F6180B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96edbe9c7f31679e5c5783307b49adb5b685b21e","datavalue":{"value":{"entity-type":"item","numeric-id":1023048,"id":"Q1023048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209872285a29b34d3885e103ed85ee776d351186","datavalue":{"value":{"amount":"+0.786611795425415","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":"Q866569$6A56D347-42CC-441D-A267-F4507B985409","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the theory of modules over commutative valuation domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_theory_of_modules_over_commutative_valuation_domains"}}}}}