{"entities":{"Q7361707":{"pageid":31520660,"ns":120,"title":"Item:Q7361707","lastrevid":105368351,"modified":"2026-10-07T13:37:28Z","type":"item","id":"Q7361707","labels":{"en":{"language":"en","value":"Formalizing Push-Relabel Algorithms"}},"descriptions":{"en":{"language":"en","value":"AFP entry Prpu_Maxflow"}},"aliases":{},"claims":{"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":"Q7361707$E55A0B84-F60E-4B0D-A1FF-9112EB9627AE","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":"Q7361707$3648C167-ED1A-4E20-ACDE-1E90AE6587D1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361707$CEDCD010-668F-45FC-8E04-BC25FEBC7809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bd7c6c31d61f45a261be518c8f677cec7b19e4de","datavalue":{"value":"S. Reza Sefidgar","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361707$585A7243-B4F5-4F58-A8DC-18692A456C70","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":"Q7361707$9800E105-B4C9-4022-891B-DFF9622343F4","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":"Q7361707$7BF6D4F7-193C-4EAA-8B22-EF899B581FB1","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":"Q7361707$653FCC96-02F3-4C2F-A588-6B8F54533BDD","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":"Q7361707$33B8FD94-1F4C-4CD6-A9C8-448EEC1C9E5B","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":"Q7361707$54475375-81E4-4783-9737-F184A0C1985F","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":"Q7361707$F790B740-745A-4795-BC9A-3BFD84A38D7B","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":"Q7361707$17A182AA-1809-417A-A27F-43B79710BBD4","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":"Q7361707$52AA813A-C874-4729-A77E-33C76DE276CB","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":"Q7361707$43D57307-BA4B-4397-9EF3-440F535606FB","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":"Q7361707$20FA2545-90CC-4D23-85D8-B2AFF65F6923","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":"Q7361707$A1CCC2C4-B049-42E3-BA6B-EC3C775D5452","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":"Q7361707$7DF27921-9216-4C6A-A3D3-CDEC360B3810","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":"Q7361707$1A3148FB-9395-41E5-8484-6E119BA45177","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":"Q7361707$5417F337-7C65-45C9-A7E7-0A6900E16FC5","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":"Q7361707$0AE438B1-CACA-4F48-80EE-867A14D8D2BD","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":"Q7361707$FE04CA29-B216-4181-9FDC-B4FFC3307E0F","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":"Q7361707$0A9ECCAB-087C-46C1-B73F-756FCFED6908","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":"Q7361707$29CD292F-A70B-4433-81CC-C356C36770CB","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":"Q7361707$039C3ECD-DD2C-42D3-B6C4-27FAB224D251","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":"Q7361707$B4960402-B11D-4EA7-B450-D93128C9B5AF","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":"Q7361707$7439CEAB-F82E-463A-9FB5-E5E261F6C969","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":"Q7361707$174AC11A-551D-4CFC-9E86-0483B5D4AF2A","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":"Q7361707$0E016A8B-C265-4524-B8E4-D0817DD130DE","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":"Q7361707$FD7B5688-511D-477C-A40C-D283BD7B652D","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":"Q7361707$6086BF80-1A5E-4D38-B359-FC00CD3C84D8","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":"Q7361707$7A239CF9-A8D6-439D-BDF4-E81C0A593698","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":"Q7361707$620D5928-EF46-4A6A-A3D4-DA042618D13E","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":"Q7361707$87F42799-A08A-4286-9F50-6456C269CCCB","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":"Q7361707$8FA5A9A3-D3F3-4F63-8580-7CAD80503E6B","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":"Q7361707$90225D34-9167-47C2-8D97-1A569F2B7318","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":"Q7361707$F9848C55-0DB8-403E-835A-6770303C6151","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":"Q7361707$AD28E830-52AE-469D-A32C-CF166D4C820E","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":"Q7361707$5309D8F7-F802-4712-9B33-CCEC7AE7FF74","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":"Q7361707$5CFC23CD-470F-4973-8E4D-882A92F56B7C","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":"Q7361707$5BD1BD43-E3DC-4411-9721-78A28D769C28","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":"Q7361707$B786D962-8584-4049-A359-E4A1396845FA","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":"Q7361707$F817AA0F-69AE-4216-BF62-130A416977EA","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":"Q7361707$754F1E65-14BF-470D-A4FD-E48844310643","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":"Q7361707$06EDACCC-6E90-47DE-A21D-79E8D257372A","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":"Q7361707$502B4477-963B-4B14-BDCB-1FE9664D45CD","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":"Q7361707$C3C860DA-6E4B-4479-8BAB-7C010A042047","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":"Q7361707$2DC6FDCD-00B1-4564-9922-EEBE3961C168","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":"Q7361707$DA636CDB-3EBD-45FC-873B-F2D02C0D3213","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":"Q7361707$828221ED-AB52-4D4D-A670-6951E525E065","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":"Q7361707$84C76563-13E7-435E-9CA9-28CEFBE449BC","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":"Q7361707$42E8A45F-FEB9-47DF-B984-A5ACCC8CAF59","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":"Q7361707$EAF56E5C-0BC9-431A-8133-36DD7923362D","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":"Q7361707$6C8B9F35-EEDD-4F80-813C-0CE23430BFFD","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":"Q7361707$5093FD24-9D48-4C2E-90EB-6B4761836A20","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":"Q7361707$793CCA56-6BC5-493C-BA66-BB1EE09B2DFC","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":"Q7361707$131AFD3F-CFE3-4DDE-A83E-2A6957854E51","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":"Q7361707$5D4583C1-7877-4155-B6CF-CEE16E9D0915","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":"Q7361707$D351B3A7-6453-4C83-930D-5F3D3FEE8589","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":"Q7361707$FE377870-CFB8-4156-B97B-939525D2C82F","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":"Q7361707$501328D0-E074-499A-AADE-F89626816F58","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":"Q7361707$80276E09-D975-4DEC-BF8B-C3B7F47DC0F5","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":"Q7361707$7792BE6C-86B3-44E2-9E98-DDA2BED1DFE2","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":"Q7361707$B368768E-549E-4182-A574-64E9AB0AFE52","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":"Q7361707$79F2D8BA-123D-44A2-B75C-FF185F4C18FC","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":"Q7361707$7766AC26-FF1B-4456-90BA-302AA4467176","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":"Q7361707$F3CF7CA9-9E45-4F18-B220-9BCA45082EA7","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":"Q7361707$195D7668-B98C-44F5-A0B3-BDB8DC3FD22C","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":"Q7361707$8BF3DE22-98E9-4BD8-9ACF-26347749BD94","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":"Q7361707$E75A399C-FD7C-4B73-8263-B1447DEC592B","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":"Q7361707$0EB0BE96-6334-4379-A8E6-E03456A37EB2","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":"Q7361707$9471FDFE-0D3A-4B42-97C0-A5DDBFD74B86","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":"Q7361707$D22ECC3D-45B7-42DA-B1F9-05E911EBFD5C","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":"Q7361707$6B32FCFE-70BA-4337-8483-220DCCE05B2B","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":"Q7361707$33CBA810-FED4-4454-9807-FE2D28BCEAB7","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":"Q7361707$D5851A93-36FE-4E3D-ADDC-550CDBCA62D9","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":"Q7361707$4B12BD0F-3D9C-4640-A61F-0A96283C68C2","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":"Q7361707$F760C259-13C1-4459-82A5-01EC8253FFC1","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":"Q7361707$C4E8FD3B-0A65-48EE-8D7C-86EB73A40E0C","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":"Q7361707$B56C52AF-BFAE-41B5-93C1-3DFCD5065090","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":"Q7361707$7CCD6E19-80C3-4719-87B0-7C69127843A1","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":"Q7361707$736E24AF-EC27-4509-8AB2-DAC8AB649209","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":"Q7361707$7F13EA20-5E06-4BB1-8AB1-1F267ADF981F","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":"Q7361707$FE984879-20D9-47BC-B9FB-6B382565E181","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":"Q7361707$6AC633AC-8E99-4155-9338-51B9850D1C9B","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":"Q7361707$9E9C12D5-64A3-46F5-B2AD-882EA9BD6EE4","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":"Q7361707$939C12DC-6BDB-46B8-81B4-060C752BC079","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":"Q7361707$5A2BFCB7-60E3-4678-B9B8-1F03FF4C29C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Push-Relabel Algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Push-Relabel_Algorithms"}}}}}