{"entities":{"Q690107":{"pageid":691956,"ns":120,"title":"Item:Q690107","lastrevid":47206744,"modified":"2026-01-01T00:22:00Z","type":"item","id":"Q690107","labels":{"en":{"language":"en","value":"Adas and the equational theory of if-then-else"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446960"}},"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":"Q690107$28FACC0C-DD1E-4625-86A9-FECFC95AC4E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef54d098c9ddaf4aeeddcf59cc8851883e895949","datavalue":{"value":{"text":"Adas and the equational theory of if-then-else","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690107$8663ED76-82C3-4CE1-AD54-7EC4C51E80B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92669e20d42de72781531b821f5921a83731dd46","datavalue":{"value":"0795.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$6F1B9DB8-9C55-4512-8BED-1EFA130AC877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c11938106801eac8737bf1cc738c28c0b155a1","datavalue":{"value":"10.1007/BF01190447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$116E6739-1030-4DE9-96A8-130B2FAF0C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29f22b91570b5df6412beedfb2a04c45a3e1599b","datavalue":{"value":{"entity-type":"item","numeric-id":688646,"id":"Q688646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$E9B531C8-63D9-4D28-A84F-99C46BC5ABE3","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":"Q690107$58E9E74D-4CFB-4FC4-9E07-1170AA2984E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690107$5825F955-77D2-4569-9A8C-7044EBF6C14E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"329bb8e684fc9a93315de11b92f5cd44015ef0eb","datavalue":{"value":"The paper studies the equational theory of the ternary if-then-else operation. It gives results on the classical two-valaued and the programming-language-oriented three-valued interpretations. It adds to the previous literature a completeness theorem relating the underlying axiom systems. In the three-valued case, it also ties in the sequential connectives (also known as conditional and/or). Besides its value within universal algebra it therefore is also useful in programming theory. The equational laws of if-then-else are almost daily used subconsciously in programming practice. So the paper would also be interesting to ``everyday'' programmers, although they will find it a bit hard to digest.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690107$D8CD02D4-DCBE-4A99-A90D-C3568F64A40D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$0468D77F-2569-4A23-BCCC-190847BD3FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$B88E5BDC-00F6-44DA-9A0A-613D49E94B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$F7AB80B3-BE89-429B-9F28-6D5E16C17407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542eeedd3139fbc9b8fa3f67f5559b5a0b3e99a5","datavalue":{"value":"446960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$8536086A-161C-422D-AFBE-EFD529C307F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q690107$B8CD3BFA-BE47-476F-A23C-F4D6353B6FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d941fcd473053c0b2ea4443956f91845fc9f205d","datavalue":{"value":"ternary if-then-else operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q690107$2C49574B-21E9-47EF-9021-EB8B672A2409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q690107$119BD4FE-3A22-4982-ACC3-F306214B0C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q690107$2ED6BBD8-846E-41BE-AED9-184CBEBC3D25","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":"Q690107$D3E2E9BB-C47C-405A-BDE9-FE86C3E89EEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f7d12b94d7f2d80eddb8cb3738859c6cf7b8e7","datavalue":{"value":{"entity-type":"item","numeric-id":583355,"id":"Q583355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$A1582C93-1643-4117-80C4-EA8110CDE78F","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":"Q690107$E1ECBCAD-0C0B-47F7-A478-2EE23A64EBD7","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":"Q690107$3B5F2779-C504-4D4D-9AEA-28207BBD5D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d13d309bb695404ea8b0b45da686d4793346976","datavalue":{"value":{"entity-type":"item","numeric-id":2649613,"id":"Q2649613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$DD816684-0163-4DBE-958E-ED67CDF6FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b87a358fb9874225423c0bd3ce0f16ad5a8790","datavalue":{"value":{"entity-type":"item","numeric-id":2651113,"id":"Q2651113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$D4FAA021-12A6-4015-A023-BE1C335F0D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$363AFC16-ECB2-4288-B633-79B8377BCA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b5e85d1f50fd2a63b0a375b06a97f407e50e99","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$AB7771BE-266E-4077-8F07-B556D0C827CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09041749d2ab5531fddfd279ab58c42a5fde95ff","datavalue":{"value":{"entity-type":"item","numeric-id":913791,"id":"Q913791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$E28B6AC0-10C5-4ABF-9BF7-1B24A305A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$50EACE4A-8AB6-4094-BA08-9C798687F5E0","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":"Q690107$631574E2-645B-46C5-9E59-11693A3FC200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$147BC36E-A1CB-4BEC-8C89-01093D469AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$84BD33DD-AA02-4755-912A-099661E09B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c3e04e6d723f16c53e317637b9b7a29d4148fb","datavalue":{"value":{"entity-type":"item","numeric-id":1080645,"id":"Q1080645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$E620D2F5-EB31-45BF-9325-001777AB86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf27a943103b169908ad08360c79efd5ac50a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$0CC842E3-24BB-491D-8171-D4E8259E2691","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":"Q690107$A2B79E6E-FCE9-4A95-AFE8-A07F0E8C3866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$AFC3C534-F9D6-461D-853B-0615643421F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f79c3db56ad0b542a3c7d5e8b9ad6273a0d433","datavalue":{"value":{"entity-type":"item","numeric-id":2645874,"id":"Q2645874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$CEB4D118-96FE-4D46-B7DF-AF5656C1371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fe1dde5ef1db9efebbfff6a92aedf602f03722","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$FD028C3A-5570-4848-848F-3A3F4E20123A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$B3382BE2-84B6-4D4A-B015-027D46699CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$594B5E24-E583-4BDF-82C1-E24C9AAE53F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690107$CCCEFC08-21B6-43D8-A295-1678F69D92AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ecb4364de74895408ece90e48d889a4dc0b033b","datavalue":{"value":"https://doi.org/10.1007/bf01190447","type":"string"},"datatype":"url"},"type":"statement","id":"Q690107$A03FF5FC-0294-4151-92E0-AC6D83359092","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3f08d3f0f8085bc74eeeb03661d570c8d20d61c","datavalue":{"value":"W1965089427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690107$1535F763-4DCB-4CD9-9226-5B805B41603D","rank":"normal"}],"P1643":[{"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":"ee1493a8b4ccabb37e016209fe8dcbc494f5944a","datavalue":{"value":{"amount":"+0.8474829196929932","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":"Q690107$2BE2B15F-C00B-4B8D-81FD-D78D863F3C16","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":"9ee76fa326f451ad13a466484fbbb94a8ddde290","datavalue":{"value":{"amount":"+0.8426847457885742","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":"Q690107$B0DECC99-DC15-4653-9138-64E77641C70D","rank":"normal"},{"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":"6d753bbda6288b55daff6176e01d40302a6222b2","datavalue":{"value":{"amount":"+0.8351374864578247","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":"Q690107$D06B87F8-871F-45A3-A9E6-3423BEA2B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffccd44655ccb75472bfbb8f9a2c31f9320fc6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1080645,"id":"Q1080645"},"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":"Q690107$FB557792-1144-4820-84FD-B35F6645BD9D","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":"8851cf16c59c35c35d1de21b8fb5a02952e70873","datavalue":{"value":{"amount":"+0.7785126566886902","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":"Q690107$131A3874-C6DD-484A-B6A9-959E686C13F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690107"}}}}}