{"entities":{"Q2695356":{"pageid":2706100,"ns":120,"title":"Item:Q2695356","lastrevid":44638764,"modified":"2025-11-24T14:42:27Z","type":"item","id":"Q2695356","labels":{"en":{"language":"en","value":"Relation-algebraic verification of Bor\u016fvka's minimum spanning tree algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670521"}},"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":"Q2695356$E072FCFA-55A3-47CE-B3C4-0CAE792070E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8962a1b1aeaf6db7b7ccbcba888e43975094f2b0","datavalue":{"value":{"text":"Relation-algebraic verification of Bor\u016fvka's minimum spanning tree algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695356$41110EE7-098E-45FE-A13A-F2F952E46212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3111636e696e555b144ef60ff48261058b4c69b8","datavalue":{"value":"10.1007/978-3-030-88701-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695356$62C17031-2D9E-4DC0-B6AC-D72F6524F1E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed69aaebbce1b2394bce597626494f1caaec9558","datavalue":{"value":{"entity-type":"item","numeric-id":299187,"id":"Q299187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$D75FF7E7-44E3-49D6-938E-CD77D4FE50B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c6725d2cbc16fe694c17048076fb9e04fe20e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2695355,"id":"Q2695355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$8AFD717C-765E-43C0-9E41-7FFB0E901F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695356$6000C2B4-B8A0-4EA5-B41E-107DE6838A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695356$A7EA976C-90E7-4AC0-8AEC-588D8BC0C7E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cd9f40302153761207114ed722b858b586d0161","datavalue":{"value":"7670521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695356$7556F5D9-8216-44EE-9A65-438FC9821FBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3526ac0922110120a06bfac7d0ed47ac7182f08","datavalue":{"value":"algorithm verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$130C8771-CB01-4E80-8CBB-AC76D3160AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$30650BB2-7DF7-4FB6-9FB9-F8B38759F97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$8CFD15B9-FDB9-4AC9-BF7B-BB30E21D6141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$031467C7-7D38-40F9-9CB7-9297D4FE6D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5796cde3c5d26d7494a3519ab26a8daf878706ff","datavalue":{"value":"stone algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$14879B31-62C4-4E6C-BBA7-31AA613F4B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d5d1526cb2202ec3865572751e759db97b7c5d","datavalue":{"value":"weighted graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695356$BB61E78A-31D6-4986-A81D-3B58140FCB70","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$DF19E095-A4AD-45F1-BCC0-13368B29D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$35A45E50-5F69-4132-A868-B85E1B95664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$EB107DE2-0579-45E4-BBA0-8CD009690380","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":"Q2695356$91C79E37-ACA0-459F-829A-064315A045DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1c749f3eb2176c708ad548a9a9a340c4414935c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88701-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695356$07E7C086-8F43-4DD1-957D-E236389A6E9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f596786612c88805ce00f682c68de3414bd1cb0","datavalue":{"value":"W3209152073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695356$04867192-FA27-4406-A0B6-E01DEA106520","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$1A09EBAB-C045-4E46-87A6-A45A2DA8FF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b00fbb135f376803d5eb08d289fdbd34b5c680","datavalue":{"value":{"entity-type":"item","numeric-id":4213376,"id":"Q4213376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$CC5596EB-AE4C-477F-9F5B-A5A7F50153A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2f8743d02e4ef0bf3e5a127b17baf880757fa","datavalue":{"value":{"entity-type":"item","numeric-id":2253612,"id":"Q2253612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$09007D20-31CF-42EE-8F81-6186B3EBD0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$C3BAA08C-D900-4ECD-A722-49066BB527BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71596b590b9e507dbe401bab2879e617c812ce78","datavalue":{"value":{"entity-type":"item","numeric-id":4406298,"id":"Q4406298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$B437AEA0-26E8-41A0-8288-DD8F8794891F","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":"Q2695356$8D003715-7773-498C-9CAE-8B189B2AE223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf7da99e8aabeb974fee8ed37260948918c025f","datavalue":{"value":{"entity-type":"item","numeric-id":5810356,"id":"Q5810356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$723F7175-A4FC-4D8A-899E-7AA157C112DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51ea257c0c789966c28caebb09ed1d044d2dd25","datavalue":{"value":{"entity-type":"item","numeric-id":4779256,"id":"Q4779256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$DD59D746-E52D-4A86-B1A8-D324D52AC542","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":"Q2695356$D89D8AA4-3231-46AE-B3CC-8E950D48E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81951e897710188eb28a701280cdee54aef3bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1786562,"id":"Q1786562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$BA543F18-C0D2-4E72-AE35-C61489497AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f1737076dc313cc8310424628d232438f7012e","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$C78F0640-38A3-4F18-9500-0FA0BEB1D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291e0dbd4186449a9afbcb03d1cbdd8bfa7bbb86","datavalue":{"value":{"entity-type":"item","numeric-id":4369866,"id":"Q4369866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$EE345DCA-2881-4DD2-AEC0-71A16C4306A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacf1068d56d3690e2f4cea0d0cc9f44ef1a7e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1742609,"id":"Q1742609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$FDEA3574-B316-40DA-A733-4DBADA94AB84","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":"Q2695356$FD3119FB-D42A-487A-B751-36EE4491A409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c35c3c18100f10a76a9ef0d730325b542a65e7","datavalue":{"value":{"entity-type":"item","numeric-id":115238,"id":"Q115238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$07022A39-F59A-4BA2-B148-4AEF28E8AE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f817c25e678d90420f00554ce09d160ef2c5bd73","datavalue":{"value":{"entity-type":"item","numeric-id":5875432,"id":"Q5875432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$5664264B-E61B-4F9E-B24E-6E4E919ADA99","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":"Q2695356$3A05130B-DDE6-4601-9BC9-FB847EFCA082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2dd397e6a6cf4d03acac1069f23f8962b690f5","datavalue":{"value":{"entity-type":"item","numeric-id":5936015,"id":"Q5936015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$165319C4-D5BD-4A5E-8EF7-2C611C526EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$242F0624-C5F1-44EA-9F37-0F6B764FCCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$F25898DE-61D5-4175-97B8-F223927118F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$CED1F186-532E-4F05-BE6C-F5E16F1DB8CA","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":"Q2695356$F843B777-491B-4601-B3BB-DCFDA28BBB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6e689ca9104617943bd76b284824e0c9ceb6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3707420,"id":"Q3707420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$6B1E3187-B4B0-4861-A4F0-E9D80F17CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2926d545828cf2546c04394eed0338b9412faa2","datavalue":{"value":{"entity-type":"item","numeric-id":1218265,"id":"Q1218265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695356$DD22029F-02C1-4E82-AC72-070AA7063A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2695356"}}}}}