{"entities":{"Q800396":{"pageid":802244,"ns":120,"title":"Item:Q800396","lastrevid":48748858,"modified":"2026-01-05T18:53:13Z","type":"item","id":"Q800396","labels":{"en":{"language":"en","value":"The inverse semigroup of a sum-ordered semiring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875358"}},"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":"Q800396$1B3DD0AF-2122-4E4C-A86E-3F7BB961FB04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bc9175a8b198e7fdc0306e2a33447ebc35933c7","datavalue":{"value":{"text":"The inverse semigroup of a sum-ordered semiring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800396$0EA30F3E-CE55-4BB2-94C6-A46A17BE77DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd477f523ebfb2f5965a3fd44d149d54b396f0d4","datavalue":{"value":"0549.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$855F65E8-E25F-46B0-AE93-0237D810C344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b5d64eb7fab4c48a68cbab07b40830eacc5b47","datavalue":{"value":"10.1007/BF02572645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$146AC4AC-D5B6-414B-8C42-774CA6EBB0CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$D3937C87-3B87-480E-8252-BAFD475C9AB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$621CCB85-8D94-4A2F-B6C1-D39D2ECDFEE8","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":"Q800396$7391261B-9212-451A-8061-32F97F5FE4FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a2853e16c9f6b598c3f6387325147bdd40e3910","datavalue":{"value":"https://eudml.org/doc/134742","type":"string"},"datatype":"url"},"type":"statement","id":"Q800396$DFC3D641-227F-4573-BDDE-86BA0FD9DD1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93e1e26325059459cda8c144366a84dc287f07ff","datavalue":{"value":"Computer scientists are interested in methods of transforming a program to a more perspicuous form without altering the computed function. There is a recognized need for an algebraic theory of program transformation [\\textit{J. W. Backus}, Commun. ACM 21, 613-641 (1978; Zbl 0383.68013)]. Toward this end, it is well-known [the first author and \\textit{M. A. Arbib}, Algebraic approaches to program semantics (to appear)] that a wide class of programs are described by an n-by-n matrix A and an n-by-1 matrix B whose entries are in the set Pfn(D,D) of all partial functions from a 'data set' D to itself. This paper initiates the study of sum- ordered semirings, ''ring-like'' ordered structures which abstract Pfn(D,D) and some of its cousins with the above motivation in mind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800396$71403519-7D3E-4EFE-9A28-0F725AA1FFF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$B14D69A2-73E9-44F2-8CEE-13FF511B8E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$210DC7FD-CF9A-42D2-A03D-51E702653B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$448A89BA-0392-48CE-8F97-7F29ADEA1CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$95979119-A613-4086-A1C6-222391AD87E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$F6FE3624-E2FE-4E8D-9A7F-DE174CA91093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b90d5085a9c2a859fe34cd0585dc4a1d7daef5c7","datavalue":{"value":"3875358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$8DE6EEC4-7C0A-4C8E-926A-EDD6932464FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e73fda35903fa23c823ec0710812afeba5cbc2","datavalue":{"value":"algebraic theory of program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800396$A0B78634-C8B5-4644-868C-9A186847FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q800396$1BAF09A8-3AAD-49D0-9903-78160B5A40E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc406098e5a22485a4e9382f2bc8de982ff8c98","datavalue":{"value":"sum- ordered semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q800396$956543A5-70D6-4229-9D50-DD091812C2DE","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":"Q800396$A0836E90-BF17-4263-87AC-1A01B0CA8EB3","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":"Q800396$D90B8CAF-9DEF-4434-8FC3-D102877A5CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25471e433ccc7132cf3bc9bb0afab7bc3de34135","datavalue":{"value":{"entity-type":"item","numeric-id":3936172,"id":"Q3936172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$2C8879BF-5311-4D73-B0B6-92154F658927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$6C45530C-E1D9-40CF-8C93-4C81C7BA8D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$2CE16771-AA1C-4A09-AF7C-A5A50EB0DEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b099b2dabc4703b0c686b83e1dcb834018d5c10c","datavalue":{"value":{"entity-type":"item","numeric-id":3216847,"id":"Q3216847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$EB659DD1-2721-42C7-A1A6-5692CD2207E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$A66A3FAF-FEE1-44C0-B602-DD111D2D1020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08554f9b730cae9c215e66a4a7e2a1ae81ae73d","datavalue":{"value":{"entity-type":"item","numeric-id":1170604,"id":"Q1170604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$0F21BE6A-7DFB-4669-BBF1-4E62D21A34A6","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":"Q800396$D0304237-F198-46CB-8B10-285609AB98EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$47EB7496-D29B-40E1-ABA8-E12F70E5F8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23795b979992cf742d77c6445d871c520a784be","datavalue":{"value":{"entity-type":"item","numeric-id":1146700,"id":"Q1146700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$DE584A35-F720-43C0-BA7E-75203E14822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4b6d3aabc228fe14a2b0238d9d1023809d3f22","datavalue":{"value":{"entity-type":"item","numeric-id":3915177,"id":"Q3915177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$07A22F04-F444-43E5-A830-18CFC83CA95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800396$28D1CB34-1AA6-47A5-9A62-D615705BD10E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b22cef1c9b817864438a610f7fe9cb9bfe003f","datavalue":{"value":"W1968129403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800396$F6E0DBAA-AB08-4443-9DEE-6FA14411BE18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bded071c7eac8b4443824ac1c7c80546032583dd","datavalue":{"value":{"entity-type":"item","numeric-id":4520822,"id":"Q4520822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e28c2dc5260a91ef437bed39b6cef17ac98145c","datavalue":{"value":{"amount":"+0.7501972913742065","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":"Q800396$F8FEF7CD-F04E-4B9A-92C1-F0360DAD1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fac12bbbe1a5b7b196893df52f8b7784dcd89e","datavalue":{"value":{"entity-type":"item","numeric-id":2737571,"id":"Q2737571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711a10ef2f143c463d3e8166100cbf03bfca5728","datavalue":{"value":{"amount":"+0.7381996512413025","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":"Q800396$8D39C6E1-7EB8-4C16-9D5F-AC6FF33D78E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f8b72b08a847478cc127faae8e40c37676150c","datavalue":{"value":{"entity-type":"item","numeric-id":1206779,"id":"Q1206779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab5cad869a7e00c31506f9271b8c8374d6f6059","datavalue":{"value":{"amount":"+0.6988351345062256","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":"Q800396$C869B8E2-3FB0-473B-8953-6112DDA0B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798aea0d69733ae1b3b6e846d962c736b3f1ee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3998075,"id":"Q3998075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a10b4fcb05cea03718c24b8d5eee1ce28d0c1d","datavalue":{"value":{"amount":"+0.6980768442153931","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":"Q800396$64D260D6-6D65-4783-999B-B5ED1B50A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35caf33e7a25148cbe8a2bc4f1dd8009ef853939","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080efbcfb21e5693e9e305698c79c730ad733146","datavalue":{"value":{"amount":"+0.6965578198432922","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":"Q800396$13CE977F-DC76-4A4B-8231-937DF4484149","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800396"}}}}}