{"entities":{"Q1057270":{"pageid":1059118,"ns":120,"title":"Item:Q1057270","lastrevid":66649323,"modified":"2026-04-12T11:33:12Z","type":"item","id":"Q1057270","labels":{"en":{"language":"en","value":"Decidable and undecidable MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3896933"}},"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":"Q1057270$EDAB90A4-1D41-469D-BD57-3199C41E15B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da27e7898765a1104dcedd5d25df3e14e0016207","datavalue":{"value":{"text":"Decidable and undecidable MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057270$06492F68-AC07-4C1B-B6E3-0B9F18976498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ecaab3c93c7035bcfa7955f22a0a62e22b41f5","datavalue":{"value":"0563.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$FEB413C3-2372-46E3-AB99-D8C861F0304E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39fdfa78f98508b968abde2ffeb7fa3b344e4d95","datavalue":{"value":"10.1007/BF01188059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$434761F6-8246-4146-A11D-2EFC453F96C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8c4497ef4b8c5c4913143795c5fffdd6822d78d","datavalue":{"value":{"entity-type":"item","numeric-id":1057269,"id":"Q1057269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$1D154607-B7D2-4FF3-AE9D-8CE62250F8D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$7676246D-5417-473A-996A-2C53A95828BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1057270$0A76EBF3-9647-4996-89AD-21E0963EE1CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fffe316bd541a5a45dc53d24facefa8ae076b2f9","datavalue":{"value":"In Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.007), \\textit{C. C. Chang} introduced the notion of MV-algebra in order to show completeness of many-valued Lukasiewicz-logic. Using a characterisation of MV-algebras in a simpler language, proposed by H. L\u00e4uchli, this article shows the undecidability of the elementary theory of MV-algebras. Further it is shown that the word problem for MV-algebras is solvable and that the elementary theories of finite-order MV-algebras are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057270$2BDB69FF-6EAC-4D51-972F-5ED37B85E968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$C91D5F27-D8C9-4A7D-B131-81A0D73CEF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$6EE12DA8-1DA6-4010-9F5C-D1BD8FC48465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$0307053A-ACA9-41EA-B402-4DC6BA11218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$9EEE8C83-78F7-4176-89BD-56CDAF03F9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$E10E3D97-9FE1-417D-A8DD-3C8E77B8FB83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207c82dddb4bf590f859f35b74df24e2511efba2","datavalue":{"value":"3896933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057270$573F6977-2B74-4788-8182-F101C0FEADC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057270$C16834C6-7C82-4507-9FC0-9DB17EC266E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057270$9BE827A7-F435-40C6-A9B7-C86A01498314","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":"Q1057270$E72C8E2C-680B-4056-BBA5-573680E0F618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$6F918FA6-653C-4116-829B-1FEFE6BC36F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$DD66E868-A19C-40DE-8DA3-72F0BA9F29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$5958BDB4-ACC8-46BB-B8C4-27F6478EBF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609861210647eb2f3be0df3e348b37aea738e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5817463,"id":"Q5817463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$24A6917B-1D2D-4E99-BD6F-C1EFC92166A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$C041BF88-777A-4503-B84B-1F3AAB054107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$398FCF66-60E5-4772-A6F5-F384300F922D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b8d78958b13771fc756666ae633df2a739b7e0","datavalue":{"value":{"entity-type":"item","numeric-id":4196423,"id":"Q4196423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057270$051889EF-E36B-4316-BF37-983AE53A5539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c52a56aa52a93472f6e93a979e3f7494d2aec13","datavalue":{"value":{"entity-type":"item","numeric-id":2376570,"id":"Q2376570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8306514d95c19d2392797c948e5ca186f4febb0c","datavalue":{"value":{"amount":"+0.8391769528388977","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":"Q1057270$7C183CBB-A917-453B-8015-03DD0C37306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ca823b604565c70c93622fc397c2445d3bbd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1185226,"id":"Q1185226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3f736a51d82bd4068d4a9dd30323f45bffa2fb","datavalue":{"value":{"amount":"+0.8205634951591492","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":"Q1057270$E5DDB4E9-ACCE-45EB-B418-F3082DF32B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee72c1a42be1e800e8f2c6bbe060d36430d937","datavalue":{"value":{"entity-type":"item","numeric-id":4529552,"id":"Q4529552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e2a7f941096c6409d6f9b620c306a06439f248","datavalue":{"value":{"amount":"+0.8124757409095764","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":"Q1057270$F50C30EB-DCDB-4CE3-86C0-64D3142F0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1dec1f4910cac962d9cf7bdc7a90a7bc778ac","datavalue":{"value":{"entity-type":"item","numeric-id":1580657,"id":"Q1580657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502df4f981d382fe69769f8301e54f083aa84680","datavalue":{"value":{"amount":"+0.804997444152832","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":"Q1057270$A13109AB-4F73-4773-BE63-06BE88A7FD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b395576125292d24347509d3343c323d8ecdbf41","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75507242d8384db3bbb690214b0fe05fb749abe8","datavalue":{"value":{"amount":"+0.8042829632759094","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":"Q1057270$71A706A4-2630-46AB-B44A-9A82EB5E2289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable and undecidable MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_and_undecidable_MV-algebras"}}}}}