{"entities":{"Q7361137":{"pageid":31518950,"ns":120,"title":"Item:Q7361137","lastrevid":105363179,"modified":"2026-10-07T13:34:46Z","type":"item","id":"Q7361137","labels":{"en":{"language":"en","value":"Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra"}},"descriptions":{"en":{"language":"en","value":"AFP entry Prim_Dijkstra_Simple"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1ececf6e2093d9354e862e307d86736466f6eb","datavalue":{"value":"https://isa-afp.org/entries/Prim_Dijkstra_Simple.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361137$5B82CEC3-C1FC-42A1-8827-D3ECC52D14B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-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":"Q7361137$F7F694BA-7960-4BB1-970A-AEC743AD1091","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361137$8ECE15DF-5486-48A6-898A-53CC8FB1E1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361137$6BA682CA-77C1-4898-BBF8-A0682805386A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ada435271c619b4e4eaa228a6a4d83caf86c3fa1","datavalue":{"value":{"text":"Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361137$9A1E0EDB-8882-486A-BE21-A86B43C8E132","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b2d53a053285ebf7d9ceab2e647ca5383cafd0e","datavalue":{"value":"We verify purely functional, simple and efficient implementations of Prim's and Dijkstra's algorithms. This constitutes the first verification of an executable and even efficient version of Prim's algorithm. This entry formalizes the second part of our ITP-2019 proof pearl Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361137$6D67870F-1CCE-4338-A38F-DB832A46927D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35cfc212c85aaa97598370541cd17cff268048b","datavalue":{"value":{"entity-type":"item","numeric-id":4436983,"id":"Q4436983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$B7D272F8-55F8-4D80-BDDD-E3D352D9CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$26576E69-91AA-449A-9357-D96B6440A863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$DCB6089C-6B77-4425-862B-717CBD7CBB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$F9FFD057-61D5-4511-887B-7937A76F4D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$8A00724D-AD6B-44BD-ADA7-701761F23AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$C5DB8251-CDFB-4F83-A079-7F3FA6CBAF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c337c73bbdd8c0af97b41ae34298f7432cd64a","datavalue":{"value":{"entity-type":"item","numeric-id":5746215,"id":"Q5746215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$968A0F2C-0C80-4D0E-837E-6672A8121135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb064f7edd1f7f72eb4f24ad6649850942aeb52","datavalue":{"value":{"entity-type":"item","numeric-id":5178002,"id":"Q5178002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$C82D92D0-935A-4A74-BFB4-2EB72E65D1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0fb76487e24faee4c3ae84f3bcc85fa12a2976","datavalue":{"value":{"entity-type":"item","numeric-id":327098,"id":"Q327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$25E6C34A-F165-420B-A87E-F244409A5009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52923ce6b0d0ff62a58dcf078994b6da4f6f1e77","datavalue":{"value":{"entity-type":"item","numeric-id":1339988,"id":"Q1339988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$B1AEE2DF-C253-4565-B0CD-2C69D1FC120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e99eedd77af0f5fa2fe26be582621b78682d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1407695,"id":"Q1407695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$86F87276-5908-406E-8DC3-9C25A4B4D89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$DFAF679F-89C0-450E-B574-719C46B55FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$75029582-21D3-4701-ACEA-EE9A435C0101","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":"Q7361137$9B055458-5D41-43B7-917D-91EF0A0C2240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$580B6C89-DA49-4276-B57A-2C4D219DB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$41422B5A-DC98-4D06-A666-EA172FAACD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81006327d72d2859034c6eecc92705ccc5770eba","datavalue":{"value":{"entity-type":"item","numeric-id":3377461,"id":"Q3377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$58C53E1D-E62D-46E5-96E0-E3338F136886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$4F831FF4-DC66-42FA-B1B9-32C4E0B0BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$3E6A9B66-ED53-4892-A944-528495CAF29F","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":"Q7361137$1691689A-01D8-4654-9FE2-D09B002F5688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$68354656-AB8B-43EF-905B-C73D6FD84CA4","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":"Q7361137$48A16DC5-65EA-44CC-A573-0821B25DE3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc80085f51274788196b5be4e7f9615585e8b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3678686,"id":"Q3678686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$B8D6A061-90A6-4B44-B287-EB1F57F568D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$C69452FF-4238-4C04-8639-4D1E6D7E1D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd712557cb33f4408f7f319583701e72d7ca321","datavalue":{"value":{"entity-type":"item","numeric-id":5168921,"id":"Q5168921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$2F57EAE2-5D0A-4CF2-994B-B82FCFC6D9CC","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":"Q7361137$F325676C-B40C-46C1-B6F9-322EF957F24A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"158b50d82776e9f131fef83d3eb49325d4ea3d22","datavalue":{"value":{"entity-type":"item","numeric-id":7361385,"id":"Q7361385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$10FD872F-A5E9-4BE8-98C9-EA8A3336A4F9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"0cb214ba14504ce52502380598f813a3d010fff5","datavalue":{"value":{"entity-type":"item","numeric-id":7360777,"id":"Q7360777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361137$DF03D82B-BBD4-4B49-880B-C9CC55AE711A","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":"Q7361137$754FE471-DDCB-4E92-BBA6-FB96004CAE14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Purely_Functional,_Simple,_and_Efficient_Implementation_of_Prim_and_Dijkstra"}}}}}