{"entities":{"Q53714":{"pageid":53770,"ns":120,"title":"Item:Q53714","lastrevid":105429410,"modified":"2026-10-09T10:11:58Z","type":"item","id":"Q53714","labels":{"en":{"language":"en","value":"MFMC_Countable"}},"descriptions":{"en":{"language":"en","value":"AFP entry MFMC_Countable"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ca350e0e59e85f8aa29a63abd2cc0ce42a26b860","datavalue":{"value":"38014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$4D2BFA44-CBF7-42E9-A13B-98CCB1B3B522","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":"Q53714$32C63F13-89A1-436B-B76D-1FD4CC2E3739","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1d08a373f025ec8f4a417d4e1ab44df6ca057c0e","datavalue":{"value":"https://www.isa-afp.org/entries/MFMC_Countable.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53714$971C96D4-81DE-4A95-9179-0BD88EAB4A76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$464B96DD-E19A-4598-A9C6-D1B2046F3132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$685FD249-1BE3-4A2C-A9F9-DB3457523DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$C88B8822-F269-4C2A-AA87-64D853E1E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$CC29BD44-3677-43C3-85F2-74F6D654E6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$D2D2475D-5D4E-4364-9C93-3FB46D0A16FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$318162F6-7426-4090-84BA-BFC6DD03FC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb68336c6ece13b86917b0c80051f1685885b843","datavalue":{"value":"60.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$B877B452-842D-42BB-93C8-E4B191F9EA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$AB456C3F-DEA5-49C0-B997-0BB327950555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca6833d3c12e329e13f5f7a45eb21803ac988009","datavalue":{"value":"91.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$C21FB4AC-108E-4A19-8091-FECD2526ADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7b2d196cb181e838b342f41804d522dff44830","datavalue":{"value":"94.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53714$91F3B80C-EE16-4A17-8D8E-54D6E7A93F87","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":"Q53714$C9224CF4-4972-4F9A-99CC-52EDD84E305C","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":"Q53714$AD99F7D9-88D4-4CAE-8BD3-5A8D255DAB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a9edbd2c1b6a0c50c92b404a365a164e64c40f5","datavalue":{"value":{"entity-type":"item","numeric-id":53713,"id":"Q53713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$5DD91842-07D1-4539-B7A9-253C5A213CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$8523F49E-D7BD-4E04-9F98-215D7AEB3E3B","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":"Q53714$745D3928-435C-4350-AC34-DBBAB823853D","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":"Q53714$9F2289B5-F30B-49AB-BA86-E681898AC5E9","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":"Q53714$BFE91C83-81E8-4EDB-8540-A1EA58DCE337","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":"Q53714$32E9432D-0FD4-4B75-B82F-5C06E71F1ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63dfdf554f26dc046bc1cc284387a8f2b7ee925b","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$F3C027CF-902D-42B8-ADAF-4F3F0B5186B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"826b53166301e7f2710fbb9ac0613992a63d1b43","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$C2D89B8A-9012-471C-8934-DEE59E70C279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$C4C336C3-498A-4349-B21B-A39943E07C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$A0278079-8DEC-4A25-B86E-715DB2A20842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$ACCC4CE5-8745-41E9-BCF2-AC2018693B07","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":"Q53714$FFA08AF6-4C0A-449C-A07F-4BEF138120B7","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":"Q53714$3A76AA7D-B599-43B7-83A4-E33A96124A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"92f1e12a373225f3cd6d33d504cb4800a78d2adc","datavalue":{"value":{"entity-type":"item","numeric-id":53715,"id":"Q53715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$F8842B90-31B1-4266-94F3-10866197D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3f9d192df50f24767772f5b218635cb7747b820","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$EB822574-1EB5-46A5-B8AB-7E7135D49DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$D50A1951-C9AE-46A7-AFA5-7985E176DF69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5939acf7b85225d76ac25a87c921ab84a7181cb5","datavalue":{"value":"https://isa-afp.org/entries/MFMC_Countable.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53714$49E3717D-AF2F-43B1-B308-39FC605CA8EB","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q53714$C86096C4-0683-4709-B44D-572CF12E5B4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3881c09f014d59a581638c49969d20d826aeb62","datavalue":{"value":"This article formalises a proof of the maximum-flow minimal-cut theorem for networks with countably many edges. A network is a directed graph with non-negative real-valued edge labels and two dedicated vertices, the source and the sink. A flow in a network assigns non-negative real numbers to the edges such that for all vertices except for the source and the sink, the sum of values on incoming edges equals the sum of values on outgoing edges. A cut is a subset of the vertices which contains the source, but not the sink. Our theorem states that in every network, there is a flow and a cut such that the flow saturates all the edges going out of the cut and is zero on all the incoming edges. The proof is based on the paper The Max-Flow Min-Cut theorem for countable networks by Aharoni et al. Additionally, we prove a characterisation of the lifting operation for relations on discrete probability distributions, which leads to a concise proof of its distributivity over relation composition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53714$C689EA0E-4DA5-49DC-A685-C1ACAAF60CC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cf0e70d1b0e0120d4cd76af6ef1e475e638723","datavalue":{"value":{"entity-type":"item","numeric-id":594106,"id":"Q594106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$102020BC-D3C1-4104-A12D-747DA225F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03b10f7e874d00935cb146b30cb8dd54c21227e","datavalue":{"value":{"entity-type":"item","numeric-id":618031,"id":"Q618031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$9E993731-AA3D-43F0-8EC7-884AE1F65DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bfb4cfac567a097f2a651df3bdc8285a6e2cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$542893FB-0E34-4D76-A791-004D4E0F4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806af6d4a7d997393e2efdebcdecd0d6d80df65d","datavalue":{"value":{"entity-type":"item","numeric-id":2394806,"id":"Q2394806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$1279AE73-3FEF-4827-9C78-4184FDA939CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5bed0c4e58e149f0de6217b7e76f74031a1108d","datavalue":{"value":{"time":"+2016-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53714$D63FACF7-DBAE-460D-8D2F-05CA914B3A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43c0e6412e73076e006881c88b7c2fe1ea10aacc","datavalue":{"value":{"text":"A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53714$589B0BCB-269E-4E53-BD70-4DB3F7D1ABEA","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":"Q53714$BB174231-BCCF-484E-901B-19C8305C6D24","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"fd9b97e90076e983b757315f71351b9e7f35e086","datavalue":{"value":{"entity-type":"item","numeric-id":7361143,"id":"Q7361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$0B59F5C8-8EAD-4206-9267-AA458C0671BD","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"f3718ba60fb3ca54d1e75bc16696ddd7ca207e99","datavalue":{"value":{"entity-type":"item","numeric-id":7360827,"id":"Q7360827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53714$4855565E-3DF9-412C-BEC7-17927CB6A521","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MFMC Countable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MFMC_Countable"}}}}}