{"entities":{"Q40313":{"pageid":40369,"ns":120,"title":"Item:Q40313","lastrevid":105427301,"modified":"2026-10-09T10:07:18Z","type":"item","id":"Q40313","labels":{"en":{"language":"en","value":"Stone Kleene"}},"descriptions":{"en":{"language":"en","value":"AFP entry Stone_Kleene_Relation_Algebras"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"da46d192eb6418613c29d89a8127de19f47e2cea","datavalue":{"value":"28599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$DAAD6F32-DEF1-4347-92CB-A4675C96BCC4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$C8124293-2E88-4ED8-B073-3BF1D8AA9897","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"fded243e000b01c56e2e91ff511c55c9deed9c87","datavalue":{"value":"https://www.isa-afp.org/entries/Stone_Kleene_Relation_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40313$8BC06720-5227-4050-B90B-9A0115A4F13A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$627A1BB7-001E-4048-9E36-BB9A85E4B797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$428CD9BD-A0A9-4F1E-8C80-967F2E07DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$814C40DD-D560-495A-9283-8E30C2B59E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$D5E54E27-9706-4EAF-9448-CD6FCD61532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$11D74C46-752B-4C9A-BCDB-2C8E1E041B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40313$C346654C-F062-4DAE-9934-9A21DA425FF6","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$F911FA53-F48B-4E8F-9A84-73665E3D0BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c40ffea6bb23c071d9036451e5684911d5c616f6","datavalue":{"value":{"entity-type":"item","numeric-id":40314,"id":"Q40314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$0B36C642-0A3F-4575-B906-B0E1A031493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"65cd7f06de3fe4515776b59789e3a881f448c551","datavalue":{"value":{"entity-type":"item","numeric-id":43913,"id":"Q43913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$A2682E46-436C-4811-9C3F-49511D7AD74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$324C9615-BCA5-48DD-BCC3-BA0DECE33BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$BD6F2B67-C24C-44F8-BE0F-A3CA6F9D6B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$1EC044D3-9FF5-45FA-AEBF-A0041FF7FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$B35E0BEA-9877-45D8-8C59-59FC737B27D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$9242E501-6439-4005-A2DD-E1BECDF62A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3780eee939d0a6e96d45e65c74bed949cc1565b3","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$50C060E2-A409-4F3F-91CA-98AEE834EF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$3A302D82-1941-44A0-BB56-BA9697449504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44725cf49c752106e3cdb343c0a00259b21f1aca","datavalue":{"value":"https://isa-afp.org/entries/Stone_Kleene_Relation_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40313$2F4F6AF4-61BB-4CC8-98A2-35B46530FF9C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40313$7C42B47F-2388-4A65-8238-3DADDF76A534","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0dcb233c9c0391ed691065ffd0828aae2efc40c","datavalue":{"value":"We develop Stone-Kleene relation algebras, which expand Stone relation algebras with a Kleene star operation to describe reachability in weighted graphs. Many properties of the Kleene star arise as a special case of a more general theory of iteration based on Conway semirings extended by simulation axioms. This includes several theorems representing complex program transformations. We formally prove the correctness of Conway's automata-based construction of the Kleene star of a matrix. We prove numerous results useful for reasoning about weighted graphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40313$FD4DEF5C-FBD3-47EF-A2EF-00EE5620C8FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$D335DF20-42FD-4536-8864-E38FE02C52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$498A183B-0B69-4672-B4FC-67B7FBAA7210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$93F205EE-D391-4324-95AF-6B3E85B267C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$661D38F7-DAA2-48D4-A4AF-A7BDA69047C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466de9108e83281686b0a7a7ad213d23accf5e39","datavalue":{"value":{"entity-type":"item","numeric-id":715050,"id":"Q715050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$8DA6D4EF-7A87-4787-82E9-B441310D8249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bef23118bf98d63fdbb00d06eb4b6e716d89399","datavalue":{"value":{"entity-type":"item","numeric-id":3179390,"id":"Q3179390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$286EEB7D-A2CF-4296-A418-FCE3EB8C37C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f90f806ec855131eca87c74808613deb28bd72","datavalue":{"value":{"entity-type":"item","numeric-id":5283207,"id":"Q5283207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$0F313E71-8A61-42D6-B448-E2D8C171DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$4A0FDCB7-53F5-4950-BF7A-4D1ED4E58855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$B672784E-D763-4318-A921-6F9E1DD29341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34404c0dd71cea0fb6cf11f6ae82eb9a7b74b654","datavalue":{"value":{"entity-type":"item","numeric-id":5184910,"id":"Q5184910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$2CD45747-A8BC-4EB9-8241-6D5551A79B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$6C4A17AF-BCF5-4D2F-B820-F92E16395B7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7c9d02f6a4a594410711d22dd1a021deb4336e","datavalue":{"value":{"time":"+2017-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40313$545667B9-1604-4259-95A5-7B1097EC1331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a0f0955379ab0be5f07eef720899d3da73fc32a","datavalue":{"value":{"text":"Stone-Kleene Relation Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40313$A97A1FC3-95DC-47B2-A482-221BC0F9C728","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$EFF3C766-6105-47E3-BE6C-D8A7DFC6FCF9","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e6472d09a115dcd67020e341541771551b904fb8","datavalue":{"value":{"entity-type":"item","numeric-id":7361926,"id":"Q7361926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$D252A442-3645-4B29-9069-D1420A568A87","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40313$4D17F154-6748-437F-9AEB-13ADD602D839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone Kleene","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stone_Kleene"}}}}}