{"entities":{"Q983038":{"pageid":984886,"ns":120,"title":"Item:Q983038","lastrevid":65757630,"modified":"2026-04-12T05:10:10Z","type":"item","id":"Q983038","labels":{"en":{"language":"en","value":"Effectible residuated lattices and \\(n\\)-th roots"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762244"}},"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":"Q983038$59A3C477-3221-4ED3-B892-9BE710493D5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f49133148e2a6b30e8ce2b45e316b35cc2eb008","datavalue":{"value":{"text":"Effectible residuated lattices and \\(n\\)-th roots","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q983038$7590BAEE-A6EE-4F28-9C9D-A762F1A9CE6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6424aa543ff5fcf56fbc7898b984f81dfd139c3","datavalue":{"value":"1209.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$03CF9723-CB57-4324-9CB6-D5550AC23CF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2e308305410872b9997bb1dadf2a3ae08638dd","datavalue":{"value":{"entity-type":"item","numeric-id":983037,"id":"Q983037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$F432CD44-E9E2-4202-85A3-661EDC15CA5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$4B3489FB-0E80-4278-AB13-620F25DF8580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db5779aca83fc6955aa16e220e67e96fbf4b9556","datavalue":{"value":{"time":"+2010-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q983038$317DCB19-AC9A-4EA4-8DAD-8D045B388149","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76eabf6a792ae35efe97707dbd9c74172821be9d","datavalue":{"value":"The author introduces ``effectible residuated lattices'' and ``effectible Girard algebras'' as generalizations of various structures considered by H\u00f6hle and others, which, in turn, are generalizations of many structures arising as the algebras of many-valued logics as well as the order-theoretic counterparts of classes of bounded linear operators in Hilbert space. The present paper gives sufficient conditions for a Girard algebra to be an effect algebra. Similar conditions are given for residuated lattices to coincide with a suitable generalization of effect algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$B7A728EB-EF97-4134-BF24-DC50C89B9336","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":"Q983038$99157FAF-CFAB-4DA4-838C-27E1A91146CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$55E0F79B-CBBE-4116-8339-E3965318F22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$189489E5-9B21-42BF-AF66-FF57B6AFBEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$969321A8-D769-4FED-9699-2EA3DC6E80D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65dd853fa851d12a3086d79947e2f62117162a68","datavalue":{"value":"5762244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$70BA71AD-3F4B-428E-A730-5F8091F8987B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$AC15BB5E-D107-4FB3-87FA-C9C8649AAD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fb2d08d5d6988881d8186cfae00103fa7b29ee","datavalue":{"value":"Girard algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$9E37EB17-4AB0-4F4C-8E50-AC6AD0518636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$54428FF9-598F-4024-AF5D-40727C13705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e3352d8e08403403cec713694cc4c0cf2ff4a5","datavalue":{"value":"H\u00f6hle monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$D93101BD-2EAF-4CC3-B416-42F9C6D87D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q983038$7E1FAC96-13BD-43FA-9ABF-25B3C4CEA5E1","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":"Q983038$782CC567-CD95-4717-A805-AD7F53D59C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dccab48bad2bb201f3f812adfa1c16548a3c0a8","datavalue":{"value":"https://doi.org/10.1016/j.fss.2009.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q983038$3812D7B2-3A08-419E-AEF8-E6F6D2162203","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac4dfa90232a24de46bb185add57e74f990cbf6","datavalue":{"value":"W2047159468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$06EF78BC-AB4E-4EA0-ACFA-AE79E3C97DC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87a9ea85ae8e8c6735b8d5b260f761853d80d92","datavalue":{"value":{"entity-type":"item","numeric-id":677079,"id":"Q677079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$C8409466-CDB8-4358-A451-7B8AE7CE7DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$A0E51392-48EB-4288-839C-923382C72C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e6d91f075f79ef4959c0e1585ae1028dc620cc","datavalue":{"value":{"entity-type":"item","numeric-id":4836216,"id":"Q4836216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$F14B860E-8D2E-48A7-98B6-EE315742A0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$D7E962EF-487D-4E0C-A44C-30BA013520C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84ce4fff4888dae5b9414ab426398ae30681cec","datavalue":{"value":{"entity-type":"item","numeric-id":2497469,"id":"Q2497469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$84D68F1D-D457-4F7D-9C0E-EC34CEC99194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04ee6adfb04554ffe3257fcb3df23ac08b8729e","datavalue":{"value":{"entity-type":"item","numeric-id":4650586,"id":"Q4650586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$FFD7A93D-3508-498B-A004-E5815B9A594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$1EB114DD-68AB-4F99-B6F0-8AC5874C9B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbffdd051eb470f2610abcd143a78e7579cc380f","datavalue":{"value":{"entity-type":"item","numeric-id":4886283,"id":"Q4886283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$5DE2B2F5-98A9-48FE-B081-3236D9973281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa24484501dfae2964cec09d61d658879f4c4ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4369814,"id":"Q4369814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$38CFC8C4-F6A0-4156-8774-A985528D2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$9C2EFBE0-E0BC-4229-9DBA-BDF343520AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81592e4a96c856b93ed08d16bdcd8d6214a3097c","datavalue":{"value":{"entity-type":"item","numeric-id":4828845,"id":"Q4828845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$F42BDA2E-22AF-4DAA-B5B5-9B165075B5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770fd1426aec52bc2b0b96b01e048a77ed7a0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1768718,"id":"Q1768718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q983038$76E2C760-D2E4-4A3F-9C58-1B13487465A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa003a759e91ec5ad368371ed9386999ae4157e","datavalue":{"value":"10.1016/J.FSS.2009.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q983038$A9D7AD32-2B5C-45C0-9C84-014227F3CCA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fce4c1c694e53febd7084ce20810e4cf8e52b87","datavalue":{"value":{"entity-type":"item","numeric-id":879018,"id":"Q879018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48b47931096a414d74ba71aa7b030acb6d700c0","datavalue":{"value":{"amount":"+0.8259464502334595","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":"Q983038$C9141944-A119-4CD9-B5C3-1F40A49FF05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d257a5678664babd09cf9c9dbe7d68caf32ba","datavalue":{"value":{"entity-type":"item","numeric-id":422485,"id":"Q422485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e06469319c1fecad62b0e7fde173a7d84ec504a","datavalue":{"value":{"amount":"+0.8099160194396973","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":"Q983038$97A8556B-1BB7-4AF5-A698-75FD7E9B05AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e99f401fbde9b61b3baeaccf198d9212e650b","datavalue":{"value":{"entity-type":"item","numeric-id":939179,"id":"Q939179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6b155cb7f9f81f8c0b9dd610825ce7c66afee","datavalue":{"value":{"amount":"+0.7950058579444885","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":"Q983038$3647A987-D554-456B-B519-A80F0974CF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2777575d021afed11f76cfba52a0a20541e93ae7","datavalue":{"value":{"entity-type":"item","numeric-id":5863852,"id":"Q5863852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c969327fa8a1742345f9a6f2e468efb8140a83d1","datavalue":{"value":{"amount":"+0.7865171432495117","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":"Q983038$CF0468F3-59B7-4500-A324-5F71C0617E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d7d7691699b1e22bf8a91b7f8ea6abfcf1e47","datavalue":{"value":{"entity-type":"item","numeric-id":2328957,"id":"Q2328957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60151e59dc11e706256d0a96f3a392b077c289ee","datavalue":{"value":{"amount":"+0.7847175598144531","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":"Q983038$E669E4BB-4A9A-4D9E-BC57-080C5E6A505D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectible residuated lattices and \\(n\\)-th roots","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effectible_residuated_lattices_and_%5C(n%5C)-th_roots"}}}}}