{"entities":{"Q6482849":{"pageid":13978996,"ns":120,"title":"Item:Q6482849","lastrevid":104428894,"modified":"2026-07-10T19:39:26Z","type":"item","id":"Q6482849","labels":{"en":{"language":"en","value":"K\u00f6nig's theorem"},"de":{"language":"de","value":"Satz von K\u00f6nig"}},"descriptions":{"en":{"language":"en","value":"theorem showing that maximum matching and minimum vertex cover are equivalent for bipartite graphs"}},"aliases":{},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"55b240013bf861f917173a92d3ed224e019b70d8","datavalue":{"value":"/m/0dn1zp","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482849$1F35E7C8-932B-4FB2-AD79-1F8F84D09764","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482849$3D97B194-7FE5-477D-B6F0-54C5D329ED6B","rank":"normal"}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"2518498ac58ea85f13b65bc16bab7521bbfaf707","datavalue":{"value":{"entity-type":"item","numeric-id":6482848,"id":"Q6482848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482849$50618E6F-103E-46E9-98D7-CFA427655D7A","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"cfd8e04628ec23ab03b7133339a6ed84cd9311a4","datavalue":{"value":"Koenig-EgevaryTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482849$A87495A9-7B07-4E8A-8B20-124842342909","rank":"normal","references":[{"hash":"d70677073f98d7382dfdf177a48383c33be13c11","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"32e08acef214d0b1e07dc62593bddad94fbead0a","datavalue":{"value":{"entity-type":"item","numeric-id":56520,"id":"Q56520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"cfd8e04628ec23ab03b7133339a6ed84cd9311a4","datavalue":{"value":"Koenig-EgevaryTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"dfa4419ae79cb3070ae2b87286c71e2e2ce40d81","datavalue":{"value":"K\u00f6nig-Egev\u00e1ry Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6482849$FDC2C1D9-AAA7-45B6-B5F5-B894339F412E","rank":"normal","references":[{"hash":"d70677073f98d7382dfdf177a48383c33be13c11","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"32e08acef214d0b1e07dc62593bddad94fbead0a","datavalue":{"value":{"entity-type":"item","numeric-id":56520,"id":"Q56520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"ff55a0a0d045d0002581ffc5b8a3adda36b1ba08","datavalue":{"value":"topic/Konigs-theorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"b0c47e584f77bbf690a6b7409aa92f39b7b415f2","datavalue":{"value":"K\u00f6nig\u2019s theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6482849$39CD1685-ED98-42DD-933D-9B0447276FC5","rank":"normal"}],"P1576":[{"mainsnak":{"snaktype":"value","property":"P1576","hash":"66ec55c74fd2eb105533d9145b0e0b8165bba72c","datavalue":{"value":{"entity-type":"item","numeric-id":6482848,"id":"Q6482848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482849$EC205E7B-FF69-416E-B21E-ED86CACEDD92","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6482849$BDCCDDC4-EAFC-4DD4-946C-E49FD1790992","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d6b8d276290e33e2f9984d530725a63e022d285b","datavalue":{"value":"Q897769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482849$9CED7FCD-FB55-4570-8EE9-DCDE2A885DEF","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"a6e340c7710b41cf608360ee90685180466e99ab","datavalue":{"value":"\\nu(G)=\\tau(G)","type":"string"},"datatype":"math"},"type":"statement","id":"Q6482849$37BFCF0C-1DC5-4364-8AE4-01F4DC26B92E","rank":"normal","references":[{"hash":"706a41b75a9d07172b1157428bb98ef002c77528","snaks":{"P56":[{"snaktype":"value","property":"P56","hash":"d8e3f5618d7071f8b84d03d37d920fd0a86f216b","datavalue":{"value":"https://homepages.cwi.nl/~lex/files/agt1.pdf","type":"string"},"datatype":"url"}],"P69":[{"snaktype":"value","property":"P69","hash":"7a7e785e1fbc9019bb5b9f70a29aea4d97d1b772","datavalue":{"value":{"time":"+2024-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P56","P69"]}]}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"0e1b0fb24ecf5babad3e9d6922fde0b5d31a9bd9","datavalue":{"value":"\\nu(G)","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"5e0618cdd0922cb37560a53a27b696e7126d5c59","datavalue":{"value":{"entity-type":"item","numeric-id":6672198,"id":"Q6672198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482849$43503993-D751-4681-993A-B06749F4F454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"50c0e31ea84481331bbc63eda5a37d646dde7c80","datavalue":{"value":"\\tau(G)","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"067005f5ff7680fb5b2bb3f6dda1cbf00266aacc","datavalue":{"value":{"entity-type":"item","numeric-id":6672199,"id":"Q6672199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482849$3AC4694D-BB18-4628-BBE4-A6F73EE4BAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"a6277c867019f6b8d7b0a4a0cb46007b09072f85","datavalue":{"value":"G","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"d5528895545c6590f5997f8060083f447d42ad11","datavalue":{"value":{"entity-type":"item","numeric-id":6672200,"id":"Q6672200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482849$29FF6D8C-B28D-49BD-995B-45F5743EC13C","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"1c46f38fe95631ae1867ee42b0338b0ccbf73b1f","datavalue":{"value":"konig theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482849$3965579F-9939-428C-9EF6-B349262CF739","rank":"normal"}]},"sitelinks":{}}}}