{"entities":{"Q1904383":{"pageid":1915125,"ns":120,"title":"Item:Q1904383","lastrevid":47378242,"modified":"2026-01-01T13:51:30Z","type":"item","id":"Q1904383","labels":{"en":{"language":"en","value":"On isotone functions with the substitution property in distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828178"}},"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":"Q1904383$C83D36E9-65CC-4CB3-A68B-CE539989E3DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c64b527b6e533128b0e363f022b61cbe272058b","datavalue":{"value":{"text":"On isotone functions with the substitution property in distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904383$894D7117-107A-4F84-96D4-16382EF7DEF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68aa979affeb82e2ef81bcf76d3d62d2fe092de8","datavalue":{"value":"0838.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$62693C27-146B-4ED5-9264-CA51C23AE163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8793c382712eb48f218412b190fb918f85b5fe7b","datavalue":{"value":"10.1007/BF01111740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$F983653A-D9D6-4B84-B3AA-89E0F964252C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$A40E0852-C94C-48BA-8E54-414050C07425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6e8ac31ba2adc3c0462a571bc26630fef80971f","datavalue":{"value":{"time":"+1996-05-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":"Q1904383$FCFA280A-601A-4802-A643-983DDC3C34D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31a2449345832a268f9110c41673b5d98483bbf5","datavalue":{"value":"Let \\(\\text{Id } L\\) denote the lattice of all ideals of a lattice \\(L\\). One may regard \\(L\\) as a sublattice of \\(\\text{Id } L\\), with the embedding \\(x\\mapsto (x]\\). Let \\(p\\) be an \\(n\\)-ary polynomial over \\(\\text{Id } L\\) with the property that it maps \\(L^n\\) into \\(L\\). The corresponding \\(n\\)-ary function \\(p_L\\) on \\(L\\) is called an \\(n\\)-ary \\(I\\)-polynomial. A \\(D\\)-polynomial is defined dually. An \\(ID\\)-polynomial is a composition of \\(I\\)- and \\(D\\)-polynomials. The following propositions are the main results of the paper.    Theorem 3. Let \\(L\\) be a distributive lattice. Then the set of translations on \\(L\\) is the same as the set of all unary \\(ID\\)-polynomials.    Theorem 4. Let \\(L\\) be a distributive lattice. All unary functions with the Substitution Property are \\(ID\\)-polynomials if and only if \\(L\\) contains no proper Boolean interval.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$B21B6CA2-0255-4904-8C8E-EA91F5328953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$740EDFC9-E702-4ECF-A6D6-BD3DA8AF0B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$1A27C62D-EA21-49AE-99D3-304A94C131DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea1b9035c5558ca6c3a3f993e7ea4dcecdb217c2","datavalue":{"value":"828178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$A4706C51-61D9-4FE0-B6B2-49D540820825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0bb1fbf72f1231bfd155c212517bb745655fa1","datavalue":{"value":"isotone functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$C31A39FA-C3FA-4635-96B8-F04D673168F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67b50ad6825566ef6afcfa193ed58780db5a6bc","datavalue":{"value":"affine complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$3527B637-CC7F-46EF-9EBD-0DE59A485BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d554382156d7bc8b129ada6a3424bbe70374ba4e","datavalue":{"value":"lattice of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$12102184-BE7A-47CE-9FE3-386684D22372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c9751769b9e19c78ba4a4ac6ad3d07ace9304b","datavalue":{"value":"substitution property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$12B2F8A9-3489-4B35-8815-53E29C6F8D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$BFCDC47C-C0BF-46B1-BF4E-5E65A29DE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$4749E064-8FB1-4356-8B3F-5FA73A2DD150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b341ff4b209ab1fbf83ae605ac89a47bcc8430b9","datavalue":{"value":"\\(ID\\)-polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904383$43884155-DAF0-42E4-86D4-FBB27FFAA2C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$6CE5CC2A-8D1F-4464-84F1-1AE62991AF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d76a34559601b9b0cc4f1bb88fc12d52b254d5","datavalue":{"value":{"entity-type":"item","numeric-id":647322,"id":"Q647322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$02A92478-1559-4FF5-9D60-B5CDA897FEAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$1E324438-2265-4285-A8D6-CC893F15AEBF","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":"Q1904383$5C212EE3-614A-4987-A634-4027756E7A32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7b7c91b3f9cc46991fa4f742660c3214004a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4749884,"id":"Q4749884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$58A604DF-CE78-4579-8176-0574A516BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c502acc6dfcc535002510abd06634bbddec40","datavalue":{"value":{"entity-type":"item","numeric-id":5345028,"id":"Q5345028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$19F93D3E-0C0C-4263-8056-8AFA41672032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$0722E492-58E0-4F04-91BB-BCAF8B0E0FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36935aeeba83f1b265040f4956c0cc408bcfac53","datavalue":{"value":{"entity-type":"item","numeric-id":1842100,"id":"Q1842100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$5D40D155-150C-4CEB-9938-55B1C843EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e04d1ecbd57107762ebf0a7fdb4befc6b3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1845750,"id":"Q1845750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$AED45DB8-C848-4D80-95BF-42E3A6EE8A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bcf9029aefc4482b0835142132ba759af52105","datavalue":{"value":{"entity-type":"item","numeric-id":2541471,"id":"Q2541471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904383$C20659A6-89DB-4D53-91CD-4D4C7CC9CBCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84f7cfb7440efa4cf756a0912816f30c82a51bf4","datavalue":{"value":"https://doi.org/10.1007/bf01111740","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904383$35B99E8D-48EF-4E40-B8A6-14DEB6156B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2547dd450a5b172f98726d96cc8f41fcd218a61f","datavalue":{"value":"W107799566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904383$E1886F63-226C-4929-8F15-C51FA5AE7FCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73edb95954b915f117d718bb8e850b5fbccf9298","datavalue":{"value":{"entity-type":"item","numeric-id":5389344,"id":"Q5389344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4d5e760d8353840fbdec09cbcf55527c2fdb0b","datavalue":{"value":{"amount":"+0.7857941389083862","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":"Q1904383$D190E4CB-BAB4-45C1-A515-17B2422EC71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c06f66a817bd7c1f1953fb547445dc2e2572f5","datavalue":{"value":{"entity-type":"item","numeric-id":2366141,"id":"Q2366141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb32813bd83481b788458c8681adc47049703673","datavalue":{"value":{"amount":"+0.7705921530723572","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":"Q1904383$C2CD04FE-1C8E-4011-A738-57A04D5B10CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361b4aff12832ea3e89f3771912c625d9afff4c","datavalue":{"value":{"entity-type":"item","numeric-id":1971628,"id":"Q1971628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e67be7aeb3bb66102ab133f5ea2eaef7db0babb","datavalue":{"value":{"amount":"+0.7686307430267334","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":"Q1904383$0FFCDBBD-6C0A-413A-956D-3D8F12EA7AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ff98fd1feabc1c606e6ace1076517b011e0c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3416446,"id":"Q3416446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597d6fcfe6bdadb8c1ab51bc586cf56a53f3c9d4","datavalue":{"value":{"amount":"+0.7677960395812988","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":"Q1904383$A1366980-A971-46AC-B144-A681C2ADF578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abbf1690d1843f67c4fc87c0570f15083f68f19","datavalue":{"value":{"entity-type":"item","numeric-id":1272947,"id":"Q1272947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26e4d87ba361ab98cee6bd5a12843614a6fca4b","datavalue":{"value":{"amount":"+0.7673064470291138","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":"Q1904383$3423BBED-7FDB-4FF9-8ACA-78B793F41FFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1904383","badges":[]}}}}}