{"entities":{"Q1849864":{"pageid":1860606,"ns":120,"title":"Item:Q1849864","lastrevid":82013210,"modified":"2026-05-06T19:53:34Z","type":"item","id":"Q1849864","labels":{"en":{"language":"en","value":"Some conservation results on weak K\u00f6nig's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1838867"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$B4EE9899-5748-4372-9241-B5367253B053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b7f9f50706afe9d06508974d15b6bac7be75295","datavalue":{"value":{"text":"Some conservation results on weak K\u00f6nig's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849864$43EF3C75-D1A0-428B-9C89-CBF310928235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdb0996c9dbd5b9c46786de156cef55f51b092d","datavalue":{"value":"1016.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$DC55207D-05DD-43DF-91DB-185D1E83BCEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b690226be5b21e10c294a4064e4b278609801ad4","datavalue":{"value":"10.1016/S0168-0072(01)00121-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$FDA0DC27-E41F-4828-8E4B-06B0483AFC30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$B3EBFD5D-1887-46AD-9064-25E6C9C2CA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$E492A7B7-7B5F-49EF-AF5F-615C80DFAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6bb43a942f467a7751dad22d578372df9f5bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":527336,"id":"Q527336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$5C71D531-A54C-4464-BB42-A8C8C2D91472","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$93DC8920-452D-486A-AEDA-2A567858C33B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82ac30fadc544187fd268bb88e1da4be75a5ee8c","datavalue":{"value":{"time":"+2002-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849864$FCACCFDC-073E-4D6F-A164-380BC0A50406","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c24ed312d743b9ded5b8105fe23d730e3db73fd4","datavalue":{"value":"The main conservation theorem of this paper is that if \\( \\text{WKL}_0\\) proves \\(\\forall X \\exists ! Y \\varphi (x,y)\\) with \\(\\varphi\\) arithmetical, then so does \\( \\text{RCA}_0\\). This result extends some of the previous work of \\textit{T. Yamazaki} [Math. Log. Q. 46, No. 1, 105-110 (2000; Zbl 0942.03061)] and \\textit{A. M. Fernandes} [Arch. Math. Log. 41, No. 1, 55-63 (2002)]. The proof technique utilizes forcing and the fact that for any countable model \\(M\\) of \\(\\text{RCA}_0\\), there is a countable model \\(M^\\prime\\) of \\(\\text{WKL}_0\\) such that \\(M\\) and \\(M^\\prime\\) have the same integers and the intersection of their set universes consists exactly of the \\(M\\)-recursive subsets of the integers of \\(M\\). For a more extensive treatment of advances in models of \\(\\text{WKL}_0\\), see \\textit{S. G. Simpson}'s ``\\(\\Pi^0_1\\) sets and models of \\(\\text{WKL}_0\\)'', which will appear in the forthcoming volume of collected articles on reverse mathematics which he is editing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$29207607-603E-433F-9162-7A3E3502473C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$6D474D73-6E82-4CFC-816C-FA4B85AB97CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$5344570C-38BD-4FC1-8212-28AAFE3D6B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$E86029EB-11CC-408E-A82D-0CFC3FACA36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$CD6513CF-8215-4FC2-B250-CF48409A69BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f6e43af30f99bfa6bdaa57c7cee2da98967d67b","datavalue":{"value":"1838867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$1B1B6684-4088-4413-A2EB-A46078503C7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$7A4FC1CF-DF9E-4AB8-9DB2-93DE2A80DFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$36D38A6B-B6B5-4E73-B726-5CEAB183EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f38329c7c9576b3e9a713283e042de93f64d916","datavalue":{"value":"hard core theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$A3E57E06-1FDA-413E-B2D1-AAE977DB41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3eacb6402dc1c15cbfc288880acbbf47422a0fc","datavalue":{"value":"productive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$387BFAF2-83C3-413A-80A5-ADDF42DB5D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$84ABB495-DB04-4773-AFEC-F644F1008F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70bb0874327037da65ae1403298e810b678e2d8f","datavalue":{"value":"universal trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$F20562EB-18F0-4207-BACE-A9CB4E337295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c6235562dc0eab11f092f0fd132bb65aa6d603","datavalue":{"value":"genericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$34282687-BA62-4C86-BAE5-FD5143B1409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822f596f48a653a7b9c68e66015eb02d5f951d05","datavalue":{"value":"pointed perfect trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849864$B71F602A-5BC6-4940-A39D-EF63180E9993","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$ED1B535B-4E20-4C1E-80D8-7510B271A732","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$EE81876F-60AB-451D-A971-3C428786778A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3338dfb145ec0dd8cfded02827db78233cb44dba","datavalue":{"value":"Q124849533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$3CE30ADC-5082-430E-BFA9-53B1C89DC571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$A0F81D06-98D9-4556-B486-B3934C23D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a4a9c098f73670148a6fc6fae88695881c530d","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$1FE5EFE2-5E2C-4818-A9B0-77A8B522DFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$EA41E4D3-6DA1-477B-A304-09D6DE86D284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$AADB31B2-0779-405E-8008-2E528B36AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$9DC0F6D1-74F2-4303-A0FF-F7B430A83175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be7e7575326e176489e7e8e8b0922b28875ea5","datavalue":{"value":{"entity-type":"item","numeric-id":688431,"id":"Q688431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$B6A390D8-2003-4DA3-B4F8-562A37CC5247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f68c295c755ab62bbefbc028e75cb15692d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5561954,"id":"Q5561954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$EDB6B172-A403-4CC8-9673-967F448A1106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$86C63224-76BE-4CC7-8659-532F6138E7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5992230684d7346455bcace0e73849af283b1321","datavalue":{"value":{"entity-type":"item","numeric-id":5632568,"id":"Q5632568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$046B7BF9-4DC9-4B2E-ABD1-01C54E0AC8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$1F63FEB8-76C1-4D74-804C-2D96836909DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3644ad65e365a5947b8c8fb8084c83665aa59c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4939405,"id":"Q4939405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849864$0343A235-07E4-4F1C-A9B2-5447F84E2F78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dab44ad2c060751e4922f114204064421f1cab3","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00121-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849864$C4A2271B-B67B-48D2-83E7-783511F6E039","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76b0442c7e4ee64230f65b21fe6ace2777e25ce6","datavalue":{"value":"W2134006590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849864$8EFE5D54-C34A-4F81-BE42-7F07030B2A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f367c129f098e59b690e7d301431418b7e3dd231","datavalue":{"value":{"entity-type":"item","numeric-id":5957854,"id":"Q5957854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b262b1039bc94128f0cdf7ff43eaaa9fcc94d601","datavalue":{"value":{"amount":"+0.89918137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$91701566-4470-4A96-8E1A-45D981504A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf89038f1ddc8165ab4b5ea346cb0133e6a7288","datavalue":{"value":{"entity-type":"item","numeric-id":3617370,"id":"Q3617370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215075d394de4e8d064865033f20a553ca583b59","datavalue":{"value":{"amount":"+0.89362806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$457A76F8-C67C-434D-89A4-A7C87E1AC3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47fdfadba96c5e035646097ffaa67b86462de5","datavalue":{"value":{"entity-type":"item","numeric-id":4254634,"id":"Q4254634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddeb005285bdca72529b6fd67264a70bd8737a3","datavalue":{"value":{"amount":"+0.8651161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$995CA547-5CA8-42AB-B471-9EA4FC7792AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8623ac4d6a40c4e2d8a8644495d905414d8c3b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1728703,"id":"Q1728703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e168ee522eaf0a387a4d547c254c9d67ad1fe3a","datavalue":{"value":{"amount":"+0.8630511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$FC28A411-1A53-44B1-BD7A-4DBCE6635D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ebdab13a85254bfd63443d5dc3f0ef1eabc65f","datavalue":{"value":{"entity-type":"item","numeric-id":2111115,"id":"Q2111115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5effa409e2036249d39d3550bd08d07888555aa","datavalue":{"value":{"amount":"+0.86069566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$C1954329-DDD2-4557-8A68-1DBB54A12977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9287ca92a63f510437439acffc0d4c2c14671f96","datavalue":{"value":{"entity-type":"item","numeric-id":5222079,"id":"Q5222079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99d2075354a3083a4f45412fd0c9830629b9d85","datavalue":{"value":{"amount":"+0.85890174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$305428CA-DD36-4EE2-97ED-27734F5C0B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6724c54ec625901c79f2a27a3faa80cbc65cec8","datavalue":{"value":{"entity-type":"item","numeric-id":532951,"id":"Q532951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc05ee16f7f79738cbbe8f6b62f78775b431f7ce","datavalue":{"value":{"amount":"+0.8578369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$D1EDCFD1-D8D5-424F-B0CC-B0A76CF85361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13082ed675a72ec435a8e50495da0a3f8efd9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b965ff0c71fa88bfb6276154bfd762a4754db7ae","datavalue":{"value":{"amount":"+0.85729235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$74CB3EE1-6009-481D-AA36-8B43DE01979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ce32751f6894ad3001e9c08f6f340fa5ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":424539,"id":"Q424539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865478218829b94fcad8eca6254e7112f3f60303","datavalue":{"value":{"amount":"+0.85532236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$847C8AB5-840E-4DF9-AD48-C5719A9A6685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33b61dd677764684e5ac62ffc61d034b557d23c","datavalue":{"value":{"entity-type":"item","numeric-id":5881255,"id":"Q5881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d78930d932ee04daf0ad23cb4ac76a98c4b2d5","datavalue":{"value":{"amount":"+0.85455734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849864$4A8B8B75-A1DA-4D7E-ADBB-5A439CE30E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some conservation results on weak K\u00f6nig's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_conservation_results_on_weak_K%C3%B6nig%27s_lemma"}}}}}