{"entities":{"Q2811494":{"pageid":2822232,"ns":120,"title":"Item:Q2811494","lastrevid":52552742,"modified":"2026-01-22T23:00:46Z","type":"item","id":"Q2811494","labels":{"en":{"language":"en","value":"Structural completeness and unification problem of the logic of Chang algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592140"}},"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":"Q2811494$6B599AB6-2A3A-42D0-AEB4-1DD20374B035","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"463286b4772b566bb841caf417fb1ab8f9532e89","datavalue":{"value":"1402.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$2ECE51E5-07F1-4FF8-B618-087CCCBFC2C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811494$42896C64-B334-4D9A-A6DE-4E6EF7A00FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d236c3437e114c440e13b103136538dae8ba1eaa","datavalue":{"value":{"entity-type":"item","numeric-id":234288,"id":"Q234288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811494$32230B5B-D767-4680-99C3-213257234442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811494$CD9530DE-80B1-454E-A3F2-25DC75AA9B39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811494$FBAA87AC-55F5-47DC-B258-1A93CD72A7D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$F0E8CE44-1197-4F18-A0EF-68F3C3B2EFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$C9E33BE4-68C2-47D7-A85A-9E3A3B8709DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$999AFF8F-8490-42DA-AA80-EDB6C044C7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$787E5864-4E10-4E1C-A193-11BF9BA55C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e82265b4cea3fa830771a5c3deea3b05b1c3b484","datavalue":{"value":"6592140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811494$B5896B06-6C4F-488F-8A40-A03FA81B325C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811494$0C715F53-CD4B-4903-B718-9619704BCF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324a501b0b19ca14ca0000663471be8f30a000b1","datavalue":{"value":"perfect MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811494$A05E1797-AB38-48D6-B078-E43EDA0D6547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deab1899cc19c95d5280fcde073f4c45fe0cfe46","datavalue":{"value":"Chang MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811494$51506696-46AE-4A9D-BFD0-029303044582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811494$40E1E0EF-CFA4-4612-B1F9-F1E211CC6389","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":"Q2811494$BB8854FA-41AA-41AA-B56F-2839F607269E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"983e97d5df16836960face1787bc7c10684a1f8c","datavalue":{"value":{"text":"Structural completeness and unification problem of the logic of Chang algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811494$42D80599-950F-4E98-86EC-F2A0C7F437D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9992996e84c2f1d2d588812043454fad17797fe2","datavalue":{"value":{"entity-type":"item","numeric-id":6496213,"id":"Q6496213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811494$B934954A-6FA4-45E0-8FF4-D8A2EF2AFFD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"722178300c3b7c7206867ac70bf155996c815487","datavalue":{"value":"Baker and Beynon proved that a finitely generated lattice-ordered abelian group is finitely presented iff it is projective. Perfect MV-algebras do not form a variety, but are categorically equivalent to lattice-ordered abelian groups. Thus, for finitely generated perfect MV-algebras, being finitely presented is equivalent to being projective. It is also proved that the variety generated by perfect MV-algebras has unitary unification type, and its corresponding logic is structurally complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811494$8FB9A3B0-D226-4EB4-AF61-B9F1A97112EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811494$E0843621-66B1-46D3-9460-802FC5ED9BB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f71ef87feff9f39c40409ec87dd143ca2effb27","datavalue":{"value":{"entity-type":"item","numeric-id":5354693,"id":"Q5354693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81881c385d144beb1f6dcd5e82a5d49b2dc3234b","datavalue":{"value":{"amount":"+0.8050892949104309","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":"Q2811494$17654B0B-AE63-4C5E-9A0C-136EC87DD4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc7f5f40c94447d2baee57c1d1136e54e1228f","datavalue":{"value":{"entity-type":"item","numeric-id":1013998,"id":"Q1013998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fc2e657325c7ac7a1296fc882e1ddee650d9ec","datavalue":{"value":{"amount":"+0.7866650819778442","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":"Q2811494$0848CE59-3F44-45A5-9893-82E5027CDD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d710e8ce4a583d4e74fe6c6febdd3e47547a252","datavalue":{"value":{"entity-type":"item","numeric-id":1337605,"id":"Q1337605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321ab9cb5afb9ba0c65c3e0321734ecaf61e3f22","datavalue":{"value":{"amount":"+0.7853017449378967","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":"Q2811494$ED64EC0B-8AF9-4832-B570-1C1C4FCC1C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f311845452f31e0a02cf33d2243f838c5f9e8400","datavalue":{"value":{"entity-type":"item","numeric-id":361853,"id":"Q361853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2529ba964adecd4407c6d9961097a0896deda172","datavalue":{"value":{"amount":"+0.7815464735031128","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":"Q2811494$910B9526-4C31-4D0A-9D7D-4D2EEBC778A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2de11e97ddf58ce2dd4d08f5f0a1b999d8f9df6","datavalue":{"value":{"entity-type":"item","numeric-id":1935862,"id":"Q1935862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e618c2ce4d9379e73a7b5e33f59ed849a811ffa1","datavalue":{"value":{"amount":"+0.7814542055130005","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":"Q2811494$12DFD22A-D8F4-4259-B1D4-5E2175FCD4FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811494"}}}}}