{"entities":{"Q861571":{"pageid":863419,"ns":120,"title":"Item:Q861571","lastrevid":64903998,"modified":"2026-04-11T23:00:15Z","type":"item","id":"Q861571","labels":{"en":{"language":"en","value":"The universal group of a Heyting effect algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119615"}},"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":"Q861571$CF799F11-15E0-4352-96D7-36ED9AB515D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41bfc404f22bb867446bdfc5d2bf5d17befbd80b","datavalue":{"value":{"text":"The universal group of a Heyting effect algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861571$08069FC6-5973-488F-B79D-3FB1FE83C748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24db3a7ac41d568f706403a1cdf7f9522c7bb15f","datavalue":{"value":"1112.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$E53F173D-AB2B-4AC9-85D5-4488E3656159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af12f177e4e951956f06f6dd857d50a4a1128824","datavalue":{"value":{"entity-type":"item","numeric-id":304188,"id":"Q304188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$02CE2D0A-58B2-4ECD-B895-4FF6764C1105","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$F4D24153-E97C-4E16-9705-FFA503C81B47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861571$DEEDA6B1-F5A8-46A2-9844-0271C56679C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$A1B2D7C3-3DBF-4BD8-9C29-94959B268AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$A4B5B222-DE7F-4A7F-AF10-D5CC423523B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$C67AD329-382D-48B0-A827-56C5F21783B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49001e67a44bce0298ba2061f296e92b3c633e55","datavalue":{"value":"5119615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$7C3C037C-7D68-42A6-8632-78AF7E68F206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$F20DA33F-9764-46F4-853B-6F314226DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$EFEA429E-A5C6-4339-B506-AAAE4D2FFBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea4cb0a52deac1da650add7dd68172ca1052df7","datavalue":{"value":"lattice order","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$A71996FD-E655-4CFA-BB75-8690F752CBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$6634F744-237E-4194-9BF9-313CE700CE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$DD43AA63-9626-49DE-8AC2-5FFC20A5AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e7d36d65749aca549977130f3ce0b15d6ace90","datavalue":{"value":"partially ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$5678452B-8D2B-4AB5-8307-D0B0CB26B1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85384afb9545040e75cb431022ba0ebfb1fb010c","datavalue":{"value":"\\(\\ell\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$9FFC7F9C-C4BB-41C2-8CF1-F8F41C430CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e5a1012574bbc0962c43c408ddbfe30d81833b","datavalue":{"value":"universal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$5F677F2C-12DA-4904-B52F-113339B40700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdaeb4d6762489ae03deff61cb468e138ce8d5a5","datavalue":{"value":"central comparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$FAD1A784-829E-49FC-81C3-9391EE8D2AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdf255845a3d12185e87808796033ed6cfebaba","datavalue":{"value":"central Rickart property","type":"string"},"datatype":"string"},"type":"statement","id":"Q861571$D7052941-F192-4965-9E82-5BBD6FF8BFB8","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":"Q861571$0368F72D-8EB1-415F-9D29-562EE5B7F12E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d2a7c6a965a49411675f5eb32982cb14f4e4d88","datavalue":{"value":"https://doi.org/10.1007/s11225-006-9015-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q861571$048AD250-521A-46CD-B976-2004F5BB4FE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4d2fbaf7bd6838d57e18d06d865e1465c7d7c83","datavalue":{"value":"W2092229803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$92A598AF-8BFB-4D3D-97E5-9BFCEE2C4752","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe1a87371da65a6aa1e84fc33da6efeaadd5671","datavalue":{"value":{"entity-type":"item","numeric-id":1366270,"id":"Q1366270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$D8B54BB2-68B4-41AE-B43C-0F9C9F75280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0257873b3b6f95517346a3f0faed7e601a81c4","datavalue":{"value":{"entity-type":"item","numeric-id":1823937,"id":"Q1823937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$85823CB8-E8AA-4EFA-9A88-D9F3D43038AB","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":"Q861571$77CDC6E9-6B6A-4E17-9661-55BF57AB15DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$C42D6292-F918-4974-B3BB-269E5FBC1966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dec21687bede7beca570d09d16d3ea6c14f888","datavalue":{"value":{"entity-type":"item","numeric-id":1976881,"id":"Q1976881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$78C8E704-2F5F-4F87-B907-4FB9A149D5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e910cfed3327a721b0a0ee3164012e472da63e63","datavalue":{"value":{"entity-type":"item","numeric-id":4680229,"id":"Q4680229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$FBF7F584-2C46-4CDC-8396-2BD7BA4429BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac8c62ebea9050adba65cbe19353b737d534c69","datavalue":{"value":{"entity-type":"item","numeric-id":4811876,"id":"Q4811876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$238C0608-C530-4763-8B9D-5280D7BC5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e77c20b79243c33fa526a1adae1d50853f16b","datavalue":{"value":{"entity-type":"item","numeric-id":852091,"id":"Q852091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$A1EC4E8E-6E1B-4A69-A05B-9048FE4BEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0696dc2debd101a5617578071bbdb5f27930f6a","datavalue":{"value":{"entity-type":"item","numeric-id":861637,"id":"Q861637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$07B4BD0C-BB56-4087-B426-9E6FC5D43A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2a4323bb67dd81a1e713fec4c4a6882ac9573d","datavalue":{"value":{"entity-type":"item","numeric-id":5476161,"id":"Q5476161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$965078E9-C2E2-4096-9FF5-E22161DB17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$8B7F6AD2-01F3-4569-8B37-878F05B77E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c573d65444a6cd4d1ad823b1ee74de6f40f4667d","datavalue":{"value":{"entity-type":"item","numeric-id":5291844,"id":"Q5291844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$F0DC428B-BD35-430F-BAC4-49905DD59E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f416fe3e53491f86fdabcd520eded39c6ce3cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":3717102,"id":"Q3717102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$2267435E-5D8D-478E-B309-FB1D33BA285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae7ea757709d719cf6d6a81f80dbbc8c238aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1917672,"id":"Q1917672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$9C300746-0D96-46F2-AA35-C7C7933B2C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29814a9b148e430921ef3494468d087aa22c9837","datavalue":{"value":{"entity-type":"item","numeric-id":4701565,"id":"Q4701565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$1B8A912F-1356-41D8-8CBE-E0C906BD844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2454047bbb00544de53c2b5545be80a52adc53c8","datavalue":{"value":{"entity-type":"item","numeric-id":5954118,"id":"Q5954118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$41E4DF5B-7143-418E-BE5F-D960B6D4E75F","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":"Q861571$2DE55BEF-9B3F-4E3F-B532-F8E2FDA7F575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4452ac7b97dd08c474071f4e9606a066d442b439","datavalue":{"value":{"entity-type":"item","numeric-id":4506432,"id":"Q4506432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861571$D4BAB658-8B07-4249-BD3D-4E97D24507B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7166f01a033ce76e5538eaf04ee4f85bf053aaf","datavalue":{"value":"10.1007/S11225-006-9015-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861571$D3FE959F-B677-4319-BCAA-9C46EA405B9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1eeeb8504082d507e2a107cfeed0b36b0d4714c","datavalue":{"value":{"entity-type":"item","numeric-id":1264373,"id":"Q1264373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d3d2cde1cf5dc9a8a68b1eea527d6f6e1d1339","datavalue":{"value":{"amount":"+0.7557616233825684","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":"Q861571$8648B30F-8BC6-4B9F-AD22-FFFCD58044FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79607c826f8e405d25428838f652d2ca31135e","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7d8cefe774f8df2dfa6467721526cf88b28c92","datavalue":{"value":{"amount":"+0.7309877872467041","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":"Q861571$90A167AF-573B-445F-8080-877723C398EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df658b4e5507d8b2bf221c8be4573d3b358fa4","datavalue":{"value":{"entity-type":"item","numeric-id":472706,"id":"Q472706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82068d7faf49a5c2724357b18b447f8d4703c953","datavalue":{"value":{"amount":"+0.7244753837585449","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":"Q861571$58D148D8-C15F-4F3B-9876-C512B0B91E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3567a390bd721d4dca7a74e56e090a71efaafaa","datavalue":{"value":{"entity-type":"item","numeric-id":1366270,"id":"Q1366270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de51100d6caa509ee28757194e317ec8c29c6ee","datavalue":{"value":{"amount":"+0.7191506028175354","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":"Q861571$C5884676-B970-49A8-9E10-7BD4B1A7015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041dcb1ade636d4139694590f68f32debda76377","datavalue":{"value":{"entity-type":"item","numeric-id":2748269,"id":"Q2748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175ca8e35b27dbc742d7456720bf86f418c468fa","datavalue":{"value":{"amount":"+0.7190124988555908","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":"Q861571$87BA9C4D-B02E-4855-A451-FF1D1C6C5318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The universal group of a Heyting effect algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_universal_group_of_a_Heyting_effect_algebra"}}}}}