{"entities":{"Q1080645":{"pageid":1091397,"ns":120,"title":"Item:Q1080645","lastrevid":66266193,"modified":"2026-04-12T08:38:13Z","type":"item","id":"Q1080645","labels":{"en":{"language":"en","value":"Guard modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3967887"}},"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":"Q1080645$56655E64-3771-43F3-A1F7-A9801107A695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1e1d458afa368bb9290dd03df244e6920f1e48","datavalue":{"value":{"text":"Guard modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080645$D748597B-B091-4F53-82D9-B55AAFB95F25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8f5d0f9c31a82d95dcefeafff5b8633538133cb","datavalue":{"value":"0599.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$D5D1DA46-CB28-4B84-9BED-09C20805A8F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcec39ecaf42868950a5a4c5aac11eb774d6578b","datavalue":{"value":"10.1007/BF01187560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$670151B3-BB69-45AE-83CC-AD867F6B0725","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$85D57ACE-159B-4EAF-B77F-DFE89F79D6D7","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":"Q1080645$E161C285-3090-4FDE-915A-89EC9D3308F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1080645$D664159D-0A75-4AA5-B223-A198868381CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2eda4838f50cf309a8bd20e268ca33f807ceff81","datavalue":{"value":"This paper presents an analysis of a version of the ''if-then-else'' operation acting together with ''or''. In more detail, consider the collection of functions \\(Q=\\{q|\\) \\(q: D\\times E\\to A\\}\\), where D and E are nonempty sets and A is an abelian monoid. For motivation, if f and g are functions (or relations) \\(D\\to E\\), and \\(\\lambda\\) is a subset of D, the author models the statement ''if \\(d\\in \\lambda\\) then f(d) else g(d)'' as a function \\(if_{\\lambda}: Q\\times Q\\to Q\\), as follows. Let \\(q(d,e)=1\\) if \\(f(d)=e\\); similarly let \\(r(d,e)=1\\) if \\(g(d)=e\\). Now let \\(A=the\\) two element Boolean algebra. Then \\(if_{\\lambda}(q,r)(d,e)=q(d,e)\\) if \\(d\\in \\lambda\\); \\(if_{\\lambda}(q,r)(d,e)=r(d,e)\\) otherwise; \\(if_{\\lambda}(q,r)(d,e)=1\\) if \\(d\\in \\lambda\\) and \\(e=f(d)\\) or d is not in \\(\\lambda\\) and \\(e=g(d)\\). The collection of functions \\(if_{\\lambda}\\) as \\(\\lambda\\) ranges over a fixed Boolean algebra, is the formalization of ''if-then-else''.    Now fix a set D and let G be the Boolean algebra of all subsets of D. The author finds a finite axiomatization of all equations in \\(+\\), 0 and the \\(if_{\\lambda}\\), \\(\\lambda\\in G\\), which are valid in all structures of the form \\((Q,+,0,if_{\\lambda})\\), where Q is the set of functions \\(D\\times E\\to A\\), where A is an abelian monoid; equivalently, one may restrict A to be the monoid of the nonnegative integers. By the addition of the equation \\(x+x=x\\), the author obtains an approximation of all equations valid in structures of the form \\(2^{D\\times E}\\), where 2 is the two-element monoid with \\(1+1=1.\\)    The proofs given are in the author's usual style; terse but elegant. Other treatments of ''if-then-else'' have been given by \\textit{I. Guessarian} and \\textit{J. Meseguer} (to appear), and by the reviewer and \\textit{R. Tindell} [SIAM J. Comput. 12, 677-707 (1983; Zbl 0518.68010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$9815D286-EAA3-4AA0-B304-789FAAF0796A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$C92D8285-6E96-4659-9428-993267BA2A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$BD3A7CF3-5B85-4BD3-972A-A83FA712FEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$FFEBBD93-C5B2-434D-A1A8-5D99EDA82B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0828e890782edae7ddf7cce451e7c5f8d67c9300","datavalue":{"value":"3967887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$A90EEA23-5FF3-4F6B-8888-94FCF6427B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6288d9b69735dde4569d8f2c521e8fd844b7f5","datavalue":{"value":"single-sorted equational theory of if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$C54E206B-AD26-4CCB-BDD7-8183C3EE5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22c185dd2e9d718ae2539f7366b8a72f3289707","datavalue":{"value":"guard action","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$65D3CB79-68CA-4EAA-9A2A-856338AB09B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6441efd533b1fdd00625233ed3c5674ace137fb6","datavalue":{"value":"modules over a semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$6DA513E7-1678-47F5-919B-482AAD19B404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$16575301-E95C-4671-807D-911375AAC517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080645$48A486D3-DA1F-434B-BD64-9914AC9EDB47","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$30B675FF-268D-44E4-97CB-A7E2B022B33C","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":"Q1080645$0C0A67B4-CCB5-4976-AA49-047725D8F1D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3b8c13d8c46c314dfbddd00cb0db389fb82ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1137858,"id":"Q1137858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$83351526-32FD-47B5-858B-79EA916E3186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37074100decec1567b589117b5998df7e079ec","datavalue":{"value":{"entity-type":"item","numeric-id":3667922,"id":"Q3667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$DCE5227E-702C-4963-9C31-5EDB37B42FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$94AE2CCD-9A1A-45A9-BBF1-2FC8A521458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbef57cbe8c15dd793b26a85da7c2693b27faf59","datavalue":{"value":{"entity-type":"item","numeric-id":2546376,"id":"Q2546376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$9056ED8E-0460-406B-A5BE-7541715B1660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080645$E61538E3-F00C-48DB-BD8D-94B81A9378EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df6badd336cf1f695460d2f7ce64bb3098a44bb8","datavalue":{"value":"https://doi.org/10.1007/bf01187560","type":"string"},"datatype":"url"},"type":"statement","id":"Q1080645$30FFCC3A-D2F0-4D6F-B24D-3B685D3E50CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df4de039d6afb2b281ce52dfa5294db5a1dad8e9","datavalue":{"value":"W4243369599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080645$DC37F657-8E3F-4FF7-BC7F-8ADF733836FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163cf70ab024920f9b89106bcf4fe0ca5473f63","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76463dc7b674fff9e36ad69abab2f4ca34ae488e","datavalue":{"value":{"amount":"+0.7962438464164734","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":"Q1080645$238F5028-11BA-4E46-9F15-45269AB89F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eee38321cd31510f345a6ed6690e7410e2f107d","datavalue":{"value":{"entity-type":"item","numeric-id":3817577,"id":"Q3817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850a45dc0422bf3ba73b3084d7625b0aaf2aa44d","datavalue":{"value":{"amount":"+0.7931233644485474","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":"Q1080645$6F35C193-4471-4A1A-AF21-945981E0AB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feba14b74fe5f89599b22f1de042491c60b63d0","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a1ccd52ed849f419fb9bcbd124996f090667e4","datavalue":{"value":{"amount":"+0.788125216960907","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":"Q1080645$5FF523A4-D577-45A0-8C9F-55376758C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e379b6cef30b444a5d608fd37ba484c7f150f97f","datavalue":{"value":{"amount":"+0.7848404049873352","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":"Q1080645$ED76A045-493A-4BA7-ADD3-285133C93F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0038ca3ee98317548980447d6302caee10aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76d24d082f2e5d05408154739c3db720a1fb672","datavalue":{"value":{"amount":"+0.7647773027420044","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":"Q1080645$5B45E0C8-5852-4801-91FA-9DDC2E936473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Guard modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Guard_modules"}}}}}