{"entities":{"Q40262":{"pageid":40318,"ns":120,"title":"Item:Q40262","lastrevid":105427760,"modified":"2026-10-09T10:08:18Z","type":"item","id":"Q40262","labels":{"en":{"language":"en","value":"Edmonds-Karp"}},"descriptions":{"en":{"language":"en","value":"AFP entry EdmondsKarp_Maxflow"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"fefec14684c0fd104abda251a579814de161bd47","datavalue":{"value":"28548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$A33C475B-658C-4F99-928A-3674917A7D62","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b293ccbedb27ec78dcacdc9a45178c2e4d1bfe29","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$0EF725BC-5B33-4AAD-BB1C-133A0CC73AA1","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":"Q40262$0F6AC58A-0DC8-4A36-8977-B0465526C49D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"77a474a026967e6222f0d5c11c94d0fe6af72c2e","datavalue":{"value":"https://www.isa-afp.org/entries/EdmondsKarp_Maxflow.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40262$38400DF3-9284-4E6B-BB04-7DD93272A3BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$D667A99E-44B4-4402-BCA2-9E40F93EEC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$A66D56B2-7062-4349-AD60-22B814825C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$6255079C-A74F-49A5-B4C5-FCF79410145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$6F87AE90-562C-4218-9C66-0C3BB676A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$C1124696-01A1-4D09-9D20-304246B080CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$1065949B-A605-40A4-913A-2A91B9BD0F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$0B65F9A9-FFCA-431E-8935-46697DF423BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb68336c6ece13b86917b0c80051f1685885b843","datavalue":{"value":"60.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$D2F86F3F-CCF8-4F9B-9B46-59469AA2F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$2802E2B8-D496-4BBE-B5E0-D9CDA97C19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40262$C2CDFBD9-C82B-47C6-A33C-91A38D11FE51","rank":"normal"}],"P1458":[{"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":"Q40262$CB2A62ED-C5A7-40A7-AC90-96B2C57E6595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$ABDBF4FD-2349-4945-9734-555B0B188751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$72DE6257-61BB-47CC-B736-1775B33DC4DF","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":"Q40262$29F29FFD-AB22-454F-9C89-9318B8BF200F","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":"Q40262$21BA32AE-B108-4563-85AF-94A2E2A07D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$BD2B978B-11A7-45FC-A6A0-1F434E8901C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F4227E3E-079E-4B07-8AA9-3A7774C53F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$1F44882F-E553-4DB5-8152-AF038C0F475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$6184EC68-702B-42E6-88FF-82C956F2094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e600fcf4c16bf9bbec6afc7a64801eb6824b335c","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$8CDDD5A9-3450-4BAC-81C4-F050DDA0C0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$C61A270A-392C-414A-8892-323F34D4769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab75a27745b95bbc51eed60e2ef7157b7c449125","datavalue":{"value":{"entity-type":"item","numeric-id":33768,"id":"Q33768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F2554C8D-6CA1-4330-B988-3C74D90D4FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F60C0395-7554-4D1C-A9EA-0E49CCE0836E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$06E0223C-DE40-4584-AE5D-22691487B6A4","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":"Q40262$B07F0B43-78F5-4E6E-B2FE-FFD34D3760F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$3CEC1B13-B199-4F25-A835-AAC8205B42FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$2A8F8BD1-8C6C-4303-9887-E2581F7751C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$216D9334-5E70-41E0-BE1A-C5CFE336600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce03adab3824b2bd8d40bfa76fbfa3ad461b08ad","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$BB493182-E9A6-4652-AF4A-7D064C55B279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B01647C4-5F65-49EA-B507-63625F660356","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6146d05edc28849b3939c476d646a157ec626866","datavalue":{"value":"https://isa-afp.org/entries/EdmondsKarp_Maxflow.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40262$23ED9289-C8E3-44AD-B099-1975050E7B81","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q40262$EE48F7B0-9E57-41B5-ADD1-7B778C43422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bd7c6c31d61f45a261be518c8f677cec7b19e4de","datavalue":{"value":"S. Reza Sefidgar","type":"string"},"datatype":"string"},"type":"statement","id":"Q40262$F4863D96-4479-4CDD-A27E-366E287C258D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a27af52b188d79bbe2f938eb00171b889a511ea2","datavalue":{"value":"We present a formalization of the Ford-Fulkerson method for computing the maximum flow in a network. Our formal proof closely follows a standard textbook proof, and is accessible even without being an expert in Isabelle/HOL--- the interactive theorem prover used for the formalization. We then use stepwise refinement to obtain the Edmonds-Karp algorithm, and formally prove a bound on its complexity. Further refinement yields a verified implementation, whose execution time compares well to an unverified reference implementation in Java. This entry is based on our ITP-2016 paper with the same title.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40262$BAD45E9A-1928-4EC3-812E-278968C934F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B549D12A-0D8C-4631-AB25-9B552FC06771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2258f52da9867c13c2b30df8aee56e4d4b64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2465040,"id":"Q2465040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$7856377A-FD84-40E1-990A-3114DFC94C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111a7808427e08170d10840401583f7fe0dcd941","datavalue":{"value":{"entity-type":"item","numeric-id":5757215,"id":"Q5757215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$E49B8C62-112D-4863-95A3-FDB00770194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B70CE5B4-587A-42B6-A8B8-A5FEA610ACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F70774AD-3966-4A37-9F2D-DD9E3F9A2E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$90FDA9E4-8BA1-46EC-96E7-7D267C20D476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3877a1f64445e2be38ffa92491ece3830dcf80","datavalue":{"value":{"entity-type":"item","numeric-id":916409,"id":"Q916409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$C40E591B-3FBD-4A69-B5A5-6AC3079E8FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$E003EF58-56F9-4D7F-AA7B-E9B5ACD4313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$00D6C6D9-A157-4B58-8FC6-A2DD63A56D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$AA279B1F-ABBA-4F80-8F01-C0BE12303323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$EDDE0311-4612-43A4-8C8D-06F40C6263A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386b5fe66c10b60fdc5677601973edb258b2366e","datavalue":{"value":{"entity-type":"item","numeric-id":672727,"id":"Q672727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$DE5ABFA6-7E12-4682-A4AC-4AF8217F9EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$228F7565-CCDA-4D35-94B9-437C35D61975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$FDBF8237-AE35-4EE5-8435-A142CB0B9398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$73EBA6E5-294B-4582-8206-958D0576820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$25383A53-F379-4B96-A697-DD286629D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18092ab083062e92326bbeef5a26dc16f6128110","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$BCB4C21D-800F-41E7-AD96-3465EBAFE551","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":"Q40262$FC1DB17B-ACA3-4AB5-972B-4F6D467C5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453fe0b2a68fa2605ac8b7e36de988055ad644ae","datavalue":{"value":{"entity-type":"item","numeric-id":1918989,"id":"Q1918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$17A32D73-4AF3-446E-90C8-DD1EA3E3B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe8e3602773ea9e598e3cdba50fee16e9c604f0","datavalue":{"value":{"entity-type":"item","numeric-id":5136975,"id":"Q5136975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$283BE0D3-9D28-418E-BF48-7961A5A0E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$71139BE1-FB8F-406B-BF1B-DBFBE471E50F","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":"Q40262$8B6C5F00-4745-4AE8-AD04-DD54FBF6606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe0af8a4efa9083d4ad87e1528ce98eecc84704","datavalue":{"value":{"entity-type":"item","numeric-id":7010308,"id":"Q7010308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$BF22B10B-74E6-4670-B3F0-5E45FC84C422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$1D566C4C-3FB3-4303-9CC8-4F6A7F6132CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de81687b9f4ca941d3d25c66765dcafd0452a28","datavalue":{"value":{"entity-type":"item","numeric-id":3183530,"id":"Q3183530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$604576F3-2C08-4E99-8C3B-3C54F903CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5b18e5a44e3c67c75b0887be40e31fe6fc87d6","datavalue":{"value":{"entity-type":"item","numeric-id":4080986,"id":"Q4080986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$CEEBA943-6C42-4E27-A5DB-1E42EA68266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9df03d940bbd4c025d80e4f6d96f2a49bffb4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3237973,"id":"Q3237973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$DF35CD4A-9781-4F8B-A611-AFF6FA214838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec3f4c34e322862b6f23d19fd68055d8d47c69","datavalue":{"value":{"entity-type":"item","numeric-id":294748,"id":"Q294748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$EE9FFD10-D8AC-46F9-AB0A-4A1CA5E05A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$6FB91D05-AED1-437A-8D11-FC0880DB4819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a67d59fa85feb3ac24487c4144fa2553626a829","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$26E5AACA-1666-4D52-9B2D-4940C22A0D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$7CEEF42D-8A6A-471A-9C60-2C6C447E36C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c925fe735c46759427f41d717bbf94e5f6fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3812009,"id":"Q3812009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$669A5F14-764C-4BC3-B1C4-DC8B164951D9","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":"Q40262$7F96F988-1F92-45B0-8D26-FB0B701DEC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b126335bd3120dafb51ce5954258f84323d340ed","datavalue":{"value":{"entity-type":"item","numeric-id":1470327,"id":"Q1470327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$E0AABC47-77DE-4E05-9A06-51EBCCD593A9","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":"Q40262$5B51B47C-A71D-45A9-A03D-E93A03D0C63C","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":"Q40262$434798A6-EBF7-40E1-BC4E-0C3884AAB555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$3AC0C315-9B9E-44AD-B4E2-5543714F2A23","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":"Q40262$81694406-9036-4781-A297-DE10CDBB97D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc149579e2c0f9cf6c6f1a082b600b053a6569c3","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B7CFF5C6-A6A1-48CA-81F9-ACE20976071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$E2AC21D4-4160-4DF8-8E8D-6417DF242069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$CCC9FC87-4A9D-4FD6-980A-AF7CBE60A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c21f7dc6f1a4b31896afb5d675fe5a2882d1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5894870,"id":"Q5894870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$0280A699-9837-435E-95D1-4EB38F07B439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbfcea2166cf55628dc74bb062db5b5b011195","datavalue":{"value":{"entity-type":"item","numeric-id":2914753,"id":"Q2914753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$9290E7F1-8269-475B-9DA5-F4399257EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$3662A810-C2E3-4FA8-9484-7104568D4B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$750053EB-3DC3-4AEA-9690-095C89B9DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$CBC9C6FD-FF32-4B11-BDF6-19B279C8EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0d02217708d84dcdcc681838d7558a420590","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$DD6FFE1B-58E8-4329-BCAF-A8BFC30259F4","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":"Q40262$21FDA5CE-B1E7-4181-A9D9-70025256DE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2395dd702f138e4eac8055f3110cfa61dc3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":3088008,"id":"Q3088008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$91EFC736-58A9-493E-B2AC-B88BA5EB4AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$627ACF7C-D297-4592-AE28-E52AA8674480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2895387b4be8cfed3fcb9f3a4627db95cd5456","datavalue":{"value":{"entity-type":"item","numeric-id":5428281,"id":"Q5428281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$A90C25E2-2322-4DA1-BB01-946A54C9611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F531435D-5FA0-41CB-BFA6-4CBE701EBD52","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":"Q40262$281919DF-0723-49EE-B828-0AA856669B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c4f754b554fd3722211419d83d8e37139cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3024879,"id":"Q3024879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$DE049C5C-C1AB-4051-8021-C90383C740A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed88d611b51da646bb2fc8559d85d64de3b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$1DAE72E6-1179-4924-9E65-FFE8FF7FE199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$812ECBAC-E79C-4824-A68E-C1288323C72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$74CB55D6-64C2-4080-8872-B8C685B0A2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$5BE30A95-0857-4B4B-BA8C-35FC1E15430C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c607a5c94b8428a7cef799300e9b3e6ed0c004de","datavalue":{"value":{"entity-type":"item","numeric-id":2547483,"id":"Q2547483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$8946C53A-AEEE-4A63-AF66-791834AFCE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ea0e0c2138e6478d85015201e9d2edc3fe4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3993347,"id":"Q3993347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$ECCCD758-A5D5-4B56-AB85-F59CD63D4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6791f3e085b5e70981abdc04d407a28ff0f651","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$2D6EF23D-BA40-4EAF-A333-0A7E4A0801F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff736e839f0888701774c765c625cde94f58c926","datavalue":{"value":{"entity-type":"item","numeric-id":3221388,"id":"Q3221388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$47E0304B-460C-4127-9AA4-3922223A2364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B920ED0A-E6CC-4C4F-86D3-3F867DA84680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eefcc0108b8e9311aa2dc9dff405d1efceebb34","datavalue":{"value":{"entity-type":"item","numeric-id":5588122,"id":"Q5588122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$BD375AC0-1774-4E07-9BC1-C16379EDB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5099ab243a66a3dee745c8725c6541869a436","datavalue":{"value":{"entity-type":"item","numeric-id":2870161,"id":"Q2870161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$935C59CD-5E88-4F98-B782-369D25A34394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$05841057-E5B6-4BF5-8E07-5FF03F04F126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2d092d6968083a4fed19c68d859d36b85e3127","datavalue":{"value":{"entity-type":"item","numeric-id":4250671,"id":"Q4250671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$12A81B59-8676-424A-BFB1-BB6C9E18DF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B27FFE3E-AD95-44F0-AF59-64BA6AC5D47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$C44982A2-575B-4C29-BCCB-AA62B38A8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$F1628DC7-8E7F-430D-B53B-9EE96AC17DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$346E415F-A260-4CF2-8DAC-E6F375895784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B2ABA3AF-E47A-44DA-A7CF-413BEC20C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$B16072CA-B0E5-485A-B805-D43FE01DC00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$436CC7CF-772A-4E7E-BD20-8089EB3CABAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7944b0457f1c1bfb433ad292590deb2f36e383e5","datavalue":{"value":{"entity-type":"item","numeric-id":672389,"id":"Q672389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$75D552BD-E40C-4E18-88D8-293F475D4253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea526dd38a2a6799fd52d7a961c9bf7f1ebbe581","datavalue":{"value":{"time":"+2016-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40262$DB4110EF-0393-43AC-9D63-641FA3B5C931","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfef04a21f7af85fcc2bb17b93da4fba462125ab","datavalue":{"value":{"text":"Formalizing the Edmonds-Karp Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40262$DF6AE806-0A4A-4E65-A601-D5DD27B4FC81","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":"Q40262$5A3F24FD-EB5F-40DB-AF2A-FA13C53050C6","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"9d85d10ac99669f81f23b1ba8db815ab43dcc737","datavalue":{"value":{"entity-type":"item","numeric-id":7361217,"id":"Q7361217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40262$E9007BA9-229E-45AE-9919-BD08701732BB","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":"Q40262$05D14D5C-965D-4BFE-8280-4F8993A5FBEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Edmonds-Karp","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Edmonds-Karp"}}}}}