{"entities":{"Q1272152":{"pageid":1282902,"ns":120,"title":"Item:Q1272152","lastrevid":70043598,"modified":"2026-04-13T12:03:33Z","type":"item","id":"Q1272152","labels":{"en":{"language":"en","value":"On subtractive weak Brouwerian semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226238"}},"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":"Q1272152$BCAB7D00-3C9F-41ED-AF05-3796AD7B7044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97300284e9ff5f1e3225ac464a97d77908a51bc","datavalue":{"value":{"text":"On subtractive weak Brouwerian semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272152$33036645-8428-47F8-8D4A-5AB96600B712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cce403459b5a8bbc0039dc2b137f6db794090f65","datavalue":{"value":"0903.08011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$F00B9D46-4E47-4D8D-B254-E2060C3E5E8F","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":"Q1272152$DA449A4D-02A1-4AAD-BEF8-C91A81CA8B09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272152$17EE0314-64D6-4EDC-AAA4-458822341F0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf2af0083200d7dd7d951dfb62458193e8062e6c","datavalue":{"value":"A variety \\(\\mathcal V\\) is subtractive if there is a binary term \\(b(x,y)\\) such that \\(b(x,x) = 1\\) and \\(b(1,x) = x\\) hold in \\(\\mathcal V\\). A WBSO variety is a variety of weak Brouwerian semilattices with filter preserving operations. Every WBSO variety \\(\\mathcal V\\) has a binary term \\(\\rightarrow \\) which satisfies the identities \\(x\\rightarrow x =1\\), \\(x\\rightarrow 1 =1\\) and the quasiidentity \\(1\\rightarrow x = 1\\Rightarrow x =1\\). If, moreover, \\(\\mathcal V\\) satisfies \\(1\\rightarrow x = x\\), then \\(\\mathcal V\\) is called a WBSO\\(^{\\#}\\) variety. The main result: For a variety \\(\\mathcal V\\) with 1, the following are equivalent:    (1) \\(\\mathcal V\\) is a subtractive WBSO variety;    (2) \\(\\mathcal V\\) is a WBSO\\(^{\\#}\\) variety.    The author constructs an example showing that the class of WBSO\\(^{\\#}\\) varieties is strictly larger then the class of congruence permutable WBSO varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272152$76CB762C-0B15-43D7-BD7C-3EDAEFAD5FE8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$3C83D3F7-99D0-43EA-A330-94618048CE1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$8128C75D-F10A-4B64-8911-451D75770D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$7805868D-1783-4DD8-A807-A96FF0959072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$5E118F4F-934F-43C1-B42B-E4790B473F09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02582c4f26f01b3732908b2086d146aa2cfa2c77","datavalue":{"value":"1226238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$DB833C07-231F-4310-88BD-958FFC9DDE10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600940e54ef67f506ca6efe66368fb438fcde153","datavalue":{"value":"weak Brouwerian semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272152$7C035AE5-B4D4-4621-BC2E-DD1805A8D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ea66ce136f817672690abf5b71b7ba4ef568a","datavalue":{"value":"subtractive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272152$09139D7A-AE3F-41B3-B681-224BC1819D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272152$5061952E-3F91-4EDC-8C79-C4E36F72EE7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84297c5215b806900e2c55a691083e6708c2b134","datavalue":{"value":{"entity-type":"item","numeric-id":755898,"id":"Q755898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$C306985B-550F-4721-8096-7106EE09F5A0","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":"Q1272152$B436D2CF-CA4B-47A7-870C-691420B1CE44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0b740d8e35f11e09f62c2253903ac901b595431","datavalue":{"value":"https://doi.org/10.1007/s000120050050","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272152$7F5BBFDF-F3A2-4E80-A3DE-2B2461D73A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1887de9c778c0e55ebb769b520229a3786646273","datavalue":{"value":"W2060852507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$3B8C2003-A6C0-48FA-B51C-D84A64A7AAE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f262f3c5e51f5715be5f4fc82eecaf8badb162af","datavalue":{"value":{"entity-type":"item","numeric-id":1272207,"id":"Q1272207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$FEDAEC29-F09F-4A6D-A5E3-9337AF01C124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2283af246d3d88497f917055d3388644050a0","datavalue":{"value":{"entity-type":"item","numeric-id":1966128,"id":"Q1966128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$BE7104B4-84FA-4A19-B65D-CE1DA0B9B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$DC383F6C-3B70-4CF6-8302-8CE4E2D658D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$682F157C-487E-47B1-B3D0-0073E7879F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b372db09ded8bd12394c63de73a17b340ac8a93","datavalue":{"value":{"entity-type":"item","numeric-id":798686,"id":"Q798686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$3BDEA9E3-6D4F-484D-9892-E25A33AB317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3960d9020ddfbde8603e15a632b561e0681f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272152$831C3C37-2C3D-4AD9-95A9-9FCD438BA24A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780255d7cac3123d377f42f1ba85593e7f6ca51f","datavalue":{"value":"10.1007/S000120050050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272152$EE14E81B-79BD-44E2-A45A-8635A58FACDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9a91e10619b3a500b90a59c6a6e8fd6b09fc51","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29537164504f6c762e6d44dc335a081dfa213ab6","datavalue":{"value":{"amount":"+0.7804099917411804","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":"Q1272152$CCEFEFCD-6685-4E0E-81A5-5C25ACC85AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe7f7f7051c14fa0f09b343bc514cb2ecbcbedd","datavalue":{"value":{"entity-type":"item","numeric-id":4234852,"id":"Q4234852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e014ea5a123a02aa38d8d9069b130c5185ba118a","datavalue":{"value":{"amount":"+0.7526063323020935","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":"Q1272152$0B3E5A0E-B324-49B4-BF67-AA96C0B84CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed97108b0e418177b5f3aca9de0b40074eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":1272112,"id":"Q1272112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7305c274a4779d0aa0dca11417797f2fd398b236","datavalue":{"value":{"amount":"+0.7507819533348083","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":"Q1272152$085BD2C7-9AED-4C2D-8126-3B4F45A314F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subtractive weak Brouwerian semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subtractive_weak_Brouwerian_semilattices"}}}}}