{"entities":{"Q1966128":{"pageid":1976870,"ns":120,"title":"Item:Q1966128","lastrevid":47448925,"modified":"2026-01-01T19:00:51Z","type":"item","id":"Q1966128","labels":{"en":{"language":"en","value":"On subtractive varieties. IV: Definability of principal ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407081"}},"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":"Q1966128$EE84C1C2-A0C0-4D1F-AC31-E085E39A6A4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a184082af2d7fac9f5b4ab15e10cc057420efb","datavalue":{"value":{"text":"On subtractive varieties. IV: Definability of principal ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966128$CC0C8E45-3065-4BB9-A02A-690826D00DB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"038aabcb72240499093cbc76d4ef400e7d235f99","datavalue":{"value":"0934.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$7A29B951-A867-401D-86B4-D50472A624FB","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":"Q1966128$2DBF32AE-E5B9-45B4-9B31-6672A0303834","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966128$96E6B5A6-8BCE-4CAB-9694-BC3C769B620E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"651248ec8e2b5a367f23b3e3fd7a746f8f6ddc3e","datavalue":{"value":"[For parts I--III see Zbl 0799.08010, Zbl 0902.08010 and Zbl 0906.08005, respectively.]   The concept of ideal in universal algebra was introduced by the second author. This paper deals with equationally definable principal ideals (EDPI) in the so-called subtractive varieties (alias varieties permutable at 0). The authors introduce one variety of generalized Hilbert algebras and prove that this is a paradigm of a subtractive variety with EDPI. Then they deal with principal ideal operations and with the cases of meet and join of principal ideals being equationally definable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966128$18BA556E-3496-4336-A940-812D1B48A0DB","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":"Q1966128$1ABF83A2-B651-4E19-8107-9F27F27A9A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$ECA5801A-C170-4B4F-8E7D-67A9381149A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$32406016-2CA6-45AD-B0A9-96323EFE2496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e9b1889074dfd330c59bd53c66a9ed93f0b70f2","datavalue":{"value":"1407081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$DC902893-F238-4B0D-A8EF-49DCA55196FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966128$7FAD2F24-BF4B-487B-A0FC-234D89E5269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ea66ce136f817672690abf5b71b7ba4ef568a","datavalue":{"value":"subtractive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966128$A7BB16F6-4EBA-48BA-A9E4-6CE9409678CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c2b06e66c099171cbaa6b685a03eae8a189c13","datavalue":{"value":"equationally definable principal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966128$DBDE29B6-3063-4354-BECE-DC472A2846FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eac438c5079d3e5c0602b3fd7ad161553a0a497b","datavalue":{"value":"generalized Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966128$6E6369A1-2C3F-4D25-B005-7B3AEFEBDD5A","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":"Q1966128$67608511-3D1E-4297-89EC-6129E155FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"359dab3691ed34dc0a2d2adfba0e5ddfb5566eb6","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966128$A5D3F51D-CD3B-4DD8-B27F-4022A2FFC4AB","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":"Q1966128$671E9B01-9340-4D36-B58F-264402A1F5CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de02d06fc2c5b42c4ba3e3bb9e58091775f30c44","datavalue":{"value":"https://doi.org/10.1007/s000120050059","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966128$9C6B4E49-52C9-4438-A53C-B6F0382D2CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93aa550c32e847a27b8a83c1c9c8d69d7c78f960","datavalue":{"value":"W2064612152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$63493C09-F748-44DA-9570-78C7383668A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e55ad1e37844e70a1a84c0832fc45788b78c793","datavalue":{"value":"10.1007/S000120050059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966128$3D328B5D-AB8E-4454-AF17-FE8D3843560E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c926aae72f9f26224773b9fd7d3682fabfa6a2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272207,"id":"Q1272207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f65e634f40cd899fbbc7286d29bbfa76758f186","datavalue":{"value":{"amount":"+0.8499998450279236","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":"Q1966128$4EE76F8B-5CA0-4A33-AEFC-F6C26237E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1a15aa7299a75ea92612aae5df98ab86f04b31","datavalue":{"value":{"entity-type":"item","numeric-id":4531555,"id":"Q4531555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8338720f58a2c23abbb03c2e270a8ecc1d5df6","datavalue":{"value":{"amount":"+0.8471553325653076","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":"Q1966128$637EA2A7-FB59-4CCF-A344-6BC6C9098CA7","rank":"normal"},{"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":"8dfde6431648a597c175db22e7439f4fb5929bad","datavalue":{"value":{"amount":"+0.8370954394340515","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":"Q1966128$C1E0781F-608C-4A5F-8C64-90B6AE41A8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f157ed51015a282d87feabd08ab542e1254900bc","datavalue":{"value":{"entity-type":"item","numeric-id":5587100,"id":"Q5587100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e13fc76e0f05a6faf99adf305f7e3469eddd2d1","datavalue":{"value":{"amount":"+0.8350111842155457","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":"Q1966128$6E349267-6A6A-48DA-9403-2B30E7FED752","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":"7497012300d46b9b997a58cc09baca71e4ac1676","datavalue":{"value":{"amount":"+0.8272148966789246","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":"Q1966128$583DECB6-3223-4C60-B349-FFAB7F9738B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966128"}}}}}