{"entities":{"Q1646607":{"pageid":1657348,"ns":120,"title":"Item:Q1646607","lastrevid":71078553,"modified":"2026-04-13T19:20:15Z","type":"item","id":"Q1646607","labels":{"en":{"language":"en","value":"Monoids of non-halting programs with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6894045"}},"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":"Q1646607$4BA1D4F3-BF68-432F-9A22-17A4303476B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee023aa7dcdd4b4afc71b09ee270349f3262a06b","datavalue":{"value":{"text":"Monoids of non-halting programs with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1646607$4D484E1E-9D5A-4EAD-9CC0-4F03CA1925CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e158c7263e025e68b867f9633af9339115322e","datavalue":{"value":"1400.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$0CF0B1B8-4228-4ADC-97F2-81C7234596D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53255bd22b5553843b3b4c1a51d83b6732157f4","datavalue":{"value":{"entity-type":"item","numeric-id":1621571,"id":"Q1621571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$EFAE258F-5D23-42F1-BFAF-867524850C74","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":"Q1646607$94A3CF37-B6C6-4106-BE6E-474630585BE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7eb804138ac6b125feddd580efb694a34508093","datavalue":{"value":{"time":"+2018-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1646607$11A036E7-B92B-4871-B51E-B84C311E57B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a3d711da5e947a3198b3801e40ad9cfac730c39","datavalue":{"value":"It is customary in the theory of computable functions and programming theory to consider the C-algebras of \\textit{F. Guzm\u00e1n} and \\textit{C. C. Squier} [Algebra Univers. 27, No. 1, 88--110 (1990; Zbl 0701.03035)] as algebras of possibly unhalting tests. In order to axiomatize the \\texttt{if-then-else} construct over possibly unhalting programs, the authors introduced in [Int. J. Algebra Comput. 27, No. 3, 273--297 (2017; Zbl 1365.68165)] the notion of C-set. A C-set is a pair \\((M,S_\\bot)\\) equipped with an action \\(M \\times S_\\bot \\times S_\\bot \\to S_\\bot\\) satisfying certain axioms. Here, \\(M\\) is a C-algebra of tests and \\(S_\\bot\\) is a set of programs with a selected element \\(\\bot\\), the error. The present paper extends this model by including composition of programs and of the programs with tests. The C-set \\((M,S_\\bot)\\) is equipped with an additional action \\(\\circ: S_\\bot \\times M \\to M\\); moreover, the set \\(S_\\bot\\) now is a monoid with zero. The resulting object subjected to appropriate axioms is called a C-monoid. The main result (Theorem 4.1): for a subclass of C-monoids (where M is a so-called ada) obtained is a representation in terms of functional C-monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$6A2E6353-A9B2-4A0D-830B-DB73AF8BC6FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$35580887-4E7B-4EE2-A456-D14687249EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$6FFE78D7-292D-4A8B-9081-F7D778EBBB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$DDF828F5-B9FF-46EA-96C3-C135AD54AF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$77F9482C-191A-44EA-908B-B0A660FC1289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$1FE111A5-9059-49FA-9E3E-A3DA544049F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f9f49b3cee289121642fbdc8e9dbcf717eddd20","datavalue":{"value":"6894045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$57920EA5-6506-4245-87A9-AB7B22AAB5F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c3d49c47c22b6694cb50b20905e354e9b4bece","datavalue":{"value":"\\(C\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$399AA1AF-5E52-483E-90F6-15A07744F390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c026899277f7346675d127156a0ff445cec0ef6","datavalue":{"value":"\\(C\\)-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$95A24760-EFF8-4468-AF2F-1D85149E8A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0effbd1ad15e3c0ad2206672e057492399352998","datavalue":{"value":"if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$A37ADE06-9436-430C-8EC8-A99B27C58F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001e66b3d0f793608c67cf78728f1d7869ed22dd","datavalue":{"value":"non-halting program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$D8F9FF9A-5ACC-4598-8CD2-DA0136D97BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf8e3f5e6777b99c18ea13e8b8559a678cccf5c","datavalue":{"value":"non-halting test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1646607$8E5E5EE0-664C-42E0-8E21-E6F9F5C3E44E","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":"Q1646607$546C370D-6B23-47BB-9499-F909F8D8B9A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e0920c46a93d13ffe105281a2d4c649f627539","datavalue":{"value":"https://doi.org/10.1007/s00012-018-0490-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1646607$2ECC87AB-24DE-4D25-B94C-D88212238644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1246c12ed6494151dd294259dba18829d63e53d9","datavalue":{"value":"W2797333242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$A824C1BA-7F50-456F-9C9F-52C349E84A12","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":"Q1646607$6EFA915C-5805-486D-9074-074EB3DFE8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144a5268eae262c43efb3957ac8ed30df1e00038","datavalue":{"value":{"entity-type":"item","numeric-id":3984365,"id":"Q3984365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$BA1E09B1-6935-4C40-94BB-F148B7BE8BDD","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":"Q1646607$B5A97FF5-AAFF-4C29-AF4F-E5779A96CB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771fb0f6d668005d21d3bd885bd59710936727a4","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$8C363E2B-5355-4DAF-9F33-12D0ABC9DFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c9d0d67c2f80493f5ff1d22671474150009cb1","datavalue":{"value":{"entity-type":"item","numeric-id":3651509,"id":"Q3651509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$7ED35EB4-B811-47A3-8F50-29ECC3C77006","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":"Q1646607$39821DDB-99D6-41B4-B497-7663D755AD4C","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":"Q1646607$DF841DAB-DD6F-4EA6-9576-351DFEF69F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d98fca7b981f9a3158a7e014f8c920cf517620","datavalue":{"value":{"entity-type":"item","numeric-id":5660505,"id":"Q5660505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$1E8B24A5-6108-4F47-BFF0-2E6E852371DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25022099616c01fd1ce096c7694be7b15810f0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1406756,"id":"Q1406756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$3800BD92-4BD9-41C0-A005-2029289634DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1324cdb38d67151f6177b6eac45bf55aa313fb92","datavalue":{"value":{"entity-type":"item","numeric-id":5850783,"id":"Q5850783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$9BD0D593-19EB-4959-BDEB-431A4B5DB70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fe793efac56b49267e28a4907cc8fbc39fa05b","datavalue":{"value":{"entity-type":"item","numeric-id":2258843,"id":"Q2258843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$185FF5AC-4267-4B4E-B6F8-25FF386F6F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b7a47cac74013c32653abd35999898a6c3fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1150684,"id":"Q1150684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$68F50A75-625E-4C5E-8E8A-D06849B8ABC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$D33ED9F5-2C9B-4168-B09A-E4E601C05D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f549a7436f3696702f1952515395548235a606f","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$6AF9EEA2-9B61-41D5-B3D8-F180B1C06E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96247a9a1c31ccd65848f13f60e32792f41deefc","datavalue":{"value":{"entity-type":"item","numeric-id":913480,"id":"Q913480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$69F31FE4-A04B-432D-9D2A-FCFC9FFE5FD1","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":"Q1646607$3B667549-89EE-46C0-BC3E-0EB547892187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0833d3744787a3721151977f0969cae4a50c51df","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$C74F5694-D33E-4B72-A44B-C924D1C6B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944941144f534b9a70b10c5267161aa677f3f3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4170197,"id":"Q4170197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$1DEAAAF5-6EBA-4585-81D8-0D650DF5D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e9d623818d1cd6053d3867fce3f160ca84a76a","datavalue":{"value":{"entity-type":"item","numeric-id":1966134,"id":"Q1966134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$6D522E3E-7374-42DC-85EF-AB33588F2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4f2d5a4c1aef4541dcdd0b617756a4ead94df1","datavalue":{"value":{"entity-type":"item","numeric-id":711608,"id":"Q711608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1646607$0E9AEC11-8666-4419-8A8A-4BE3EAD999FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11a8e39ed435e68be56ef15745f9b42a2908a562","datavalue":{"value":"10.1007/S00012-018-0490-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1646607$8FD7D523-6C1B-43F0-9073-4447DCFC47FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ee75e5f70ac5f9cc0d88a903b9f32dc7bc4568","datavalue":{"value":{"entity-type":"item","numeric-id":2258843,"id":"Q2258843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ec3202ca407275cb5c728be8b68dad0bdf3435","datavalue":{"value":{"amount":"+0.8499910831451416","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":"Q1646607$D2ED1323-6A78-4C83-BCF2-CAA58190D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e962fbe660f3ba1736c0da387f5d62c88349d174","datavalue":{"value":{"entity-type":"item","numeric-id":5850783,"id":"Q5850783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06090e3f6957869e9882ff9949191fc9b2c34e9c","datavalue":{"value":{"amount":"+0.7778341174125671","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":"Q1646607$01842989-3B2F-451E-9150-192B7F8C9914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426254c0a4b61d246be83e3d7410b234c864806","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3d309e0c3d42c968e6b6a66dcfa762f754dfd7","datavalue":{"value":{"amount":"+0.7769796848297119","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":"Q1646607$D3D96235-0FDA-4BBB-9F09-B254AA8BA5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f350b631213d3c66a06119e47ce3756d1a3017","datavalue":{"value":{"entity-type":"item","numeric-id":1122664,"id":"Q1122664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185e00172f9ccfe70f862951a69bfcccbb52cd80","datavalue":{"value":{"amount":"+0.7683268785476685","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":"Q1646607$1C0E7D2F-9CC0-4C43-ABB8-29159E51E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7572389fd8e287e19897e54c34d71d71ec53ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":4968241,"id":"Q4968241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60337e9b552a1615108a84cf9c50fe4acfa9bd2c","datavalue":{"value":{"amount":"+0.7580254673957825","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":"Q1646607$4544245A-BF85-4BDF-99B9-2FDB306C3A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monoids of non-halting programs with tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monoids_of_non-halting_programs_with_tests"}}}}}