{"entities":{"Q7361926":{"pageid":31521317,"ns":120,"title":"Item:Q7361926","lastrevid":105370457,"modified":"2026-10-07T13:39:10Z","type":"item","id":"Q7361926","labels":{"en":{"language":"en","value":"Stone Relation Algebras"}},"descriptions":{"en":{"language":"en","value":"AFP entry Stone_Relation_Algebras"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e13570f57d68421d9cc65b6f6c97a91234bfdb04","datavalue":{"value":"https://isa-afp.org/entries/Stone_Relation_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361926$22CE3C8D-AAD9-44D0-BCD9-EBEFD1836AAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f5598da38e5abc7c85a2d1789026ae36e393d1","datavalue":{"value":{"time":"+2017-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361926$0F83EFDA-9773-4A93-9CCE-DBBD49A6F275","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361926$CE52C380-04F4-4C35-9F2C-96DBE257B773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"443191fa00cb238ea0f211b4b8c1e0ef219ac3a9","datavalue":{"value":{"text":"Stone Relation Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361926$DBEE7088-756D-434D-BCD0-639425F5D558","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"461b840a807a9d188996b6a8fdd81751b8d73557","datavalue":{"value":"We develop Stone relation algebras, which generalise relation algebras by replacing the underlying Boolean algebra structure with a Stone algebra. We show that finite matrices over extended real numbers form an instance. As a consequence, relation-algebraic concepts and methods can be used for reasoning about weighted graphs. We also develop a fixpoint calculus and apply it to compare different definitions of reflexive-transitive closures in semirings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361926$D0AD55EC-C678-426D-84E4-48D1BBEFF4D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a4f6072e925fb869a77af60d6d91dffdbacc31","datavalue":{"value":{"entity-type":"item","numeric-id":647324,"id":"Q647324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$F9DEA1A9-0039-4C07-9763-9FAA29E4FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78367b350b4f6c6e72110c9b53483229f74224d","datavalue":{"value":{"entity-type":"item","numeric-id":3145863,"id":"Q3145863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$0164C99C-335D-4D49-BC2B-7A40CAB24280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0080f49973577c35b4d5098e8c4f56cbda21bc","datavalue":{"value":{"entity-type":"item","numeric-id":3460617,"id":"Q3460617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$6AB4A8FB-55B8-46B5-9375-AD04AF811E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$20DB3577-6201-4B31-93F8-99E474EC65DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f5ec6f0768ee3845af05759180e71738caf1fb","datavalue":{"value":{"entity-type":"item","numeric-id":4170775,"id":"Q4170775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$FD877679-6B44-4F8B-90E6-C6AEA0E45A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260b277eb07571fe346af35adc562c933c9b0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4273425,"id":"Q4273425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$416D4F9C-DAE7-40FD-B4E8-3B9A7381B116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$6A5ADCCA-4CBF-42FC-AAC6-D7EE927705FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$18E930CF-D1E9-4939-AB2F-808FBF839CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$6BD11287-C853-43A7-996B-2C924E9D7DAB","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":"Q7361926$52F447DD-3ECC-4847-9699-7AA42AAD642A","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":"Q7361926$31E72B80-C1F4-4B88-943A-63FAFF6BB84F","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":"Q7361926$F9E0935C-DAF6-4507-80CB-7A4D1AD2A18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$4AAFB761-28B5-404E-9D9C-B1DA7F28FD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe88c645020029ec46d9ae1db76daf25b62c333","datavalue":{"value":{"entity-type":"item","numeric-id":2844116,"id":"Q2844116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$301DAD4C-4B02-4AF3-96A1-0B42C75C61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f637f77312603427e8d99278bf032e52917154","datavalue":{"value":{"entity-type":"item","numeric-id":1961868,"id":"Q1961868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$BB10024C-A9BE-4E02-BFE6-465A7D082E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ccaeb75a4a06146511408fcab920e4b77b6f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1350513,"id":"Q1350513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$23E1EFA9-06C2-45AF-8450-019E358EE122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$4AC66758-A6E9-46E1-A916-8E777CECC4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$231B544B-E827-4565-9271-3B129FDC1CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56086f6d2a7681712908b00a7a68c6b468d9e769","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$3A26C6BF-0F97-4D80-A53C-38F17559457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae211b6518a726d0a03751578ea6102e5ee3b204","datavalue":{"value":{"entity-type":"item","numeric-id":4892369,"id":"Q4892369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$4C3D5C7D-5BE3-4FBD-AB4D-3A444583676E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$AD5B72E3-084C-4B77-B1A8-35842DC10293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd7875a3e438e4ed33c8fa5a116cda1b69814dd","datavalue":{"value":{"entity-type":"item","numeric-id":3060335,"id":"Q3060335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$BC5F0DA0-3ED3-4D5B-96ED-00F768E7DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$A3EC7151-15A0-4224-87DD-0847CC223EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$A9CFC215-16B5-4016-B966-1EE450FEA905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7567bd0a6ed8c9aba25e73fac852692a5fc8815","datavalue":{"value":{"entity-type":"item","numeric-id":1602557,"id":"Q1602557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$9F0F97AB-C819-401E-ACD3-E73AE1C6523D","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":"Q7361926$9344204E-85A9-4A6D-B421-B7159E4A625F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c3a1f00ce63bd58846507672771e4d1861f00566","datavalue":{"value":{"entity-type":"item","numeric-id":7361864,"id":"Q7361864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361926$E4B5C6A0-A960-4EC4-8B6A-C319054CC2A0","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":"Q7361926$B8C4A47E-A4A7-4679-BD74-26A2786DF28B","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":"Q7361926$2418364A-CA8C-457B-9F41-C4CBA7303FAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone Relation Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stone_Relation_Algebras"}}}}}