{"entities":{"Q53730":{"pageid":53786,"ns":120,"title":"Item:Q53730","lastrevid":105428675,"modified":"2026-10-09T10:10:22Z","type":"item","id":"Q53730","labels":{"en":{"language":"en","value":"Prpu_Maxflow"}},"descriptions":{"en":{"language":"en","value":"AFP entry Prpu_Maxflow"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"6170dcfa08058e23fca4cb214b7b7e8c64377466","datavalue":{"value":"38030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$3CE1E0C5-426E-42AA-ABF8-1E886B46A09B","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"5a00de2356cf174e8841dc2e10b8e594d7c72b43","datavalue":{"value":{"entity-type":"item","numeric-id":1722647,"id":"Q1722647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$AA489B72-1261-4E46-987B-C43F338C3A47","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":"Q53730$BB42C36F-8434-41F3-BD42-3D5FB890B652","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a729bdc80f62f1bbc8f1495650037fb3dc1aa0f0","datavalue":{"value":"https://www.isa-afp.org/entries/Prpu_Maxflow.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53730$3A4B59D3-698B-481D-AF50-58F857E9B308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$E28A82D3-6FE9-4BF9-B06D-929461146E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$F7A34A59-22B6-4A06-868F-D875457DF392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$D66750EC-6463-4CB2-A1E0-825133815486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$5853082F-A44A-4ACF-832C-1B5C5D94EAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$8E68B035-C736-42E0-827E-A3DD5C38449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53730$27156133-DEBF-4DF0-B13D-37656BD88AC0","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$D217B820-7C25-4552-A9E5-A2BBB25DD3EB","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":"Q53730$53853F86-AA83-4E9E-8E59-F7CC26C1B3C4","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":"Q53730$DB3D6A0A-4EE1-4A51-B559-6490F162EF6E","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":"Q53730$067C0BFC-819C-4821-ACA9-6554DB319293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"73bdf83b845075653e4f87bf9bebb10f97ebc7d2","datavalue":{"value":{"entity-type":"item","numeric-id":26832,"id":"Q26832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$49C13E22-79EB-4E04-9DF7-282E3DD8A78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b5e72f2deb298634832a8f6e584961bf96d562bd","datavalue":{"value":{"entity-type":"item","numeric-id":40266,"id":"Q40266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$716E8932-AC8D-4A7B-A4B2-AE0BE523CF48","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":"Q53730$27E7D921-E774-4826-9BC1-4F213B3BC5D8","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":"Q53730$9C1176D4-0B23-487A-A4E8-6088FCB08540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"246d8bcd4bf1600a7c6d2b07f9f11f8689d33486","datavalue":{"value":{"entity-type":"item","numeric-id":40320,"id":"Q40320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$4249A4C3-E749-4154-A0A1-5F253052BA05","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":"Q53730$D9E0F467-FA41-4F44-AA65-66F68E154250","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":"Q53730$E87E915B-6477-4DF7-B20D-B21A6CE8BA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccca80b6de24b80a4ce2a4ab4e48d31e9686f36a","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$05C6FF74-83F6-4F7F-8719-9C259558043A","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":"Q53730$19B60572-3698-4496-A952-A6BAF0B47060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd43a5fa11aec31808a250cca5be1ab84f4bccbb","datavalue":{"value":{"entity-type":"item","numeric-id":17313,"id":"Q17313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$2405FB63-6AB2-44A6-A48A-60264D5716F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$8C2EE325-E194-487A-A8C1-F7C921D17797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e09694fe3792b5d00306e3d52d45d5816179ce38","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$E87CEBD4-5702-4F43-95A9-C83EC7AB1C37","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":"Q53730$497D7C26-A897-4A99-97D3-5597D490AC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0a1440c031278a8f69dbeeb43ad704028362b37","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$FBE106FB-60FF-44EC-B4EA-2E8C324C3850","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":"Q53730$B0AB2044-80E8-4AB8-8183-1F2784F246EB","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":"Q53730$06BD102E-211F-46C9-8F04-1F9A4C22669B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac6ce0b92d5bf57fedba3137f71adb79f31751eb","datavalue":{"value":"https://isa-afp.org/entries/Prpu_Maxflow.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53730$57BE8B81-F1D7-48D8-BE0A-5EDB41CA9D89","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q53730$6C4F956C-4299-4A5D-AEAB-4D07770D2660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bd7c6c31d61f45a261be518c8f677cec7b19e4de","datavalue":{"value":"S. Reza Sefidgar","type":"string"},"datatype":"string"},"type":"statement","id":"Q53730$0E8358BB-1648-419B-AD0C-0DDDB0D2E072","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c44bf5160d381e7e87d4c257e4b60a43572cf04","datavalue":{"value":"We present a formalization of push-relabel algorithms for computing the maximum flow in a network. We start with Goldberg's et al.~generic push-relabel algorithm, for which we show correctness and the time complexity bound of O(V^2E). We then derive the relabel-to-front and FIFO implementation. Using stepwise refinement techniques, we derive an efficient verified implementation. Our formal proof of the abstract algorithms closely follows a standard textbook proof. It is accessible even without being an expert in Isabelle/HOL, the interactive theorem prover used for the formalization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53730$852D6544-B0B2-4664-9D99-FBC3C9C405D1","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":"Q53730$1BAE39C8-ED48-466A-951F-C951DB299D4C","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":"Q53730$8CA3A64F-5ECC-419A-B782-120CAA0BA25A","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":"Q53730$0A1EFCC5-5FE3-4F9A-B690-869DECA84A5A","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":"Q53730$EB0EF172-353B-418D-BFCD-54E508C51FF5","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":"Q53730$1ECFF35A-44B6-4C85-8BFD-EB763B9189AF","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":"Q53730$2C950501-5573-42E7-87D8-FB363730BD0D","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":"Q53730$6FE71BB8-7E03-4FFC-A10D-AFFD47171D3A","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":"Q53730$588A0071-198B-47B9-84CC-AF9959827DA0","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":"Q53730$58FFEC3B-86C6-4ED4-83B6-882F83D8C2D1","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":"Q53730$14E1EEE6-CBC8-4FC5-A532-EE90A4FC37CD","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":"Q53730$1A2DCAA0-7224-4C92-A94E-7388669E0EE5","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":"Q53730$5FA37051-CA9D-43CA-8CF4-687B31E4933B","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":"Q53730$72F46907-7BBD-4ACD-8105-90D763D58731","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":"Q53730$A8F32B09-F57F-42EA-8D22-A503885069B2","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":"Q53730$EA46C0FC-FF8C-4EC5-9D74-397D916AAEB5","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":"Q53730$F08BD6B4-C31B-43D1-90F5-669FA24D61CD","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":"Q53730$FE6AD98C-A28D-4C6A-B16E-6C70AE8DBDAD","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":"Q53730$CC436DBB-9153-493B-9DFA-3F7F64578AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5036e4b1ac3c0bcc766679cf51fa757d2c361848","datavalue":{"value":{"entity-type":"item","numeric-id":1386767,"id":"Q1386767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53730$61848374-6EEF-46F2-B0F2-D0211B1A9502","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":"Q53730$4E632515-E45A-46D1-9296-FF592C24DEAF","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":"Q53730$5E127FD9-565A-43FB-827D-585465B5345B","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":"Q53730$84DC7033-ED5F-429F-85C1-61A7FBC14B3B","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":"Q53730$D6318645-6A1B-4CBC-B729-43639361ADE5","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":"Q53730$C8CADCB5-97DE-45DD-8F0D-A0580B1AD8E3","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":"Q53730$6CE23933-28B0-41D5-B6EB-7C7FDEAAA1BD","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":"Q53730$D881FF68-D201-4D53-ACA7-7C2D961BEC01","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":"Q53730$9D81A1BB-6A11-4BF0-B31A-C8C5CFE6DF44","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":"Q53730$A7ABB799-D7F3-4C12-812B-F0DD623C8583","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":"Q53730$D2468928-74CB-4929-8BD4-16E1F214614F","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":"Q53730$006555CA-02F1-428B-87E8-6004783404CE","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":"Q53730$DC1467D1-D73E-4DDD-A498-74DFF2A997C5","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":"Q53730$604D2885-991A-4811-8D24-C55F8735D20D","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":"Q53730$39A88ABB-804D-47A1-B469-7FAFFE303986","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":"Q53730$24607F5D-7A2D-4495-B833-27C801190229","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":"Q53730$1882C181-C063-4C75-9AF0-32DBE3EC14F2","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":"Q53730$C7A14CCD-DB51-4273-8E8E-F4AC47A944A0","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":"Q53730$3A5DA7D2-FC30-4590-9694-ACC2266FF89D","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":"Q53730$5240EFBB-CCD2-4DAA-A4F3-99FEC30B0141","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":"Q53730$B66521D1-C115-467A-8725-A93C99E874D9","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":"Q53730$A061240B-624D-4617-B20B-322B97443D59","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":"Q53730$164559AF-4223-4653-9F17-AC4BC76FEB56","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":"Q53730$C2C50B56-74FC-4233-8C2B-E7C66EA7C50D","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":"Q53730$8C74E2C5-5D04-4BB5-B091-C2CEA5D78B74","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":"Q53730$64214F93-43DE-45FC-B902-2E389571AB77","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":"Q53730$9C92711F-0D07-402E-A991-6488580EE3D8","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":"Q53730$B58DB0D6-E966-4B8E-AC0E-AF6E6C096048","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":"Q53730$7CD4D0DC-A323-43E1-8761-603723C3B24E","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":"Q53730$93DB7133-5D9D-4CC1-9AB1-65BC7565C408","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":"Q53730$C12BC985-A756-4769-9B63-6A8D26CD3CA9","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":"Q53730$ADDFBF1A-3C5B-4374-8FC6-F041A42E7E73","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":"Q53730$E6AFA418-2F3F-4C70-A0B0-48343DD039D3","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":"Q53730$17D8CE13-810C-47A5-B97F-2BF94DDD0C0E","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":"Q53730$7B42AED2-233B-4CC1-8997-BE050A9C954A","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":"Q53730$2526FBE5-D828-4558-9D5A-DA47AC9B084D","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":"Q53730$9F603484-9918-4FB6-8C5A-8E917FE4E00F","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":"Q53730$B0ED7D69-85C0-4733-9623-D2F8A76F39BA","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":"Q53730$E92F1AE7-9D9A-401A-8296-A8FC1451C685","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":"Q53730$500FDE2F-AA79-456C-B571-4DA43114C74C","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":"Q53730$F603F051-0FF4-4897-B2E3-26D15ED164FA","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":"Q53730$0AAF4F65-27C9-40AB-9371-763B5B6FF240","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":"Q53730$8F9528FD-139E-471B-8A23-F13DC1B34567","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":"Q53730$3C4B6DFC-EC27-4E3B-AD05-2C209CAF87BD","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":"Q53730$E4A0DD3F-85AD-4AFD-8660-A93D55B55210","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":"Q53730$0EC8D7B7-A009-480C-8F20-A66D2DC8DEBA","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":"Q53730$AC1714C2-BA49-4CD6-B719-8003D22DC783","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":"Q53730$C0921AD3-43C9-4A8E-95A1-EAE0438DADF8","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":"Q53730$BE1C565C-25FB-4147-8629-AF3022DE0F2E","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":"Q53730$B7290450-ECCD-4D77-86CC-8F016A46CE98","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":"Q53730$1798DC65-EC92-41AC-B7F5-5D1111C51888","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":"Q53730$7EB9203A-2C8F-41BC-A1A2-087AAC9C046D","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":"Q53730$FB512E37-D024-4595-BA65-C938D73097F6","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":"Q53730$31833B1D-C1D3-47C6-88A3-4E54A9B8ACD3","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":"Q53730$E1AB24C1-6293-4CD6-8D30-12B85A97F99A","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":"Q53730$76A756D0-1CBD-48CC-9A14-850BC9D5F140","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":"Q53730$6D7380FB-4994-4F30-8CC6-05B534F81684","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":"Q53730$39FB0F5F-B076-4A2D-AD93-0B2F8E4119AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53730$BBC1CAB3-3546-4F79-BFF2-F03024FD97C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a0a373dd31d1caae4437f4326b4107e923e1858","datavalue":{"value":{"text":"Formalizing Push-Relabel Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53730$CB7C8100-374C-486A-87F6-49838F32F169","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":"Q53730$1F5A11B3-7BD3-4AF5-924F-6BC22023DB37","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":"Q53730$FC9D6B52-8BFF-4C03-A70B-8C697F9864D7","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":"Q53730$DED3AB48-D856-43ED-A559-85A44350195D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prpu Maxflow","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prpu_Maxflow"}}}}}