{"entities":{"Q5881255":{"pageid":7910806,"ns":120,"title":"Item:Q5881255","lastrevid":101836910,"modified":"2026-06-06T02:58:46Z","type":"item","id":"Q5881255","labels":{"en":{"language":"en","value":"Models of the Weak K\u00f6nig Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661628"}},"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":"Q5881255$EDB70866-76FE-4A7E-9DB7-013FB82DF790","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd59d47e115767d984d7d65bc65f7dbdafbbd62","datavalue":{"value":{"text":"Models of the Weak K\u00f6nig Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881255$85F41950-0480-4E44-8552-070E7C5F4AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be711cba153273318bf8acd29c1142bac0af155","datavalue":{"value":"1506.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$27C8F623-EB2D-4BAB-A13D-59DE3C18E2F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e343647324d24e95cab6cdd0a07fe0feaf1a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":334990,"id":"Q334990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881255$917D0557-2D52-4FDC-8F8A-087111A15E44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881255$4D2CC851-38BF-4EC0-A18D-6B8E863D9FCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881255$80325711-B7E9-4D69-8A38-67E1452631EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$C260C87C-79CC-43DE-A88C-F4FBFF9DF2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$C1C267E5-ABFF-4802-B5D0-7BA088167AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$DB279C98-6B3A-43FC-8827-A8A11DD5ED27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b415c3d1497ed95cef0f125a6ef22c90af6073dc","datavalue":{"value":"7661628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$478DB171-84E7-406D-B1F9-7BF6C4F07542","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854744c822e720a254399fd5fc7d80d07631821e","datavalue":{"value":"weak K\u00f6nig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881255$834BED94-AC31-4712-ADB3-051A4DA504C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecd5d5ed1119c112efd7b4254829ba8a9740b77a","datavalue":{"value":"Kazuyuki Tanaka","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881255$01B432A6-D8B6-4EB8-9FE1-24BD745A0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf81b5063ed91d3309fb94e357132ec26f62692d","datavalue":{"value":"model theory of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881255$A789885C-5324-4B9C-BA8D-6D53C566C583","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":"Q5881255$E7A07193-8233-4AF3-B3E1-2BA0D460952C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b990918831aa300b8965e12dad3313d956749e8d","datavalue":{"value":"https://doi.org/10.4288/jafpos.25.0_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881255$D73599D0-8D19-4973-A735-327E23ED8A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1982e2653ad88422828c16ef22de83706202839c","datavalue":{"value":"W2751004311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$ECB6AC9E-9223-4314-81DC-33ABFE3BA177","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"be30940076ec8d729891b660e407f043253eca60","datavalue":{"value":"Q124858477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$F8D1B849-1499-4679-A6BB-52B29A047F66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69b8d6bd8cd4f2ea9eafd613226d94a2653330c8","datavalue":{"value":"10.4288/JAFPOS.25.0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881255$A0E10ACC-06D2-4C2C-85EB-806BA2EC1E37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbabb7a7a9a1271342ff4a7b9ae5f4ee66bb3337","datavalue":{"value":{"entity-type":"item","numeric-id":1849864,"id":"Q1849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1755b819ce054a1411b0ca9428c65d43e27ff7c","datavalue":{"value":{"amount":"+0.8223704695701599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881255$BEF011C6-9522-434D-A8BB-8C140822F1E9","rank":"normal"},{"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":"d1755b819ce054a1411b0ca9428c65d43e27ff7c","datavalue":{"value":{"amount":"+0.8223704695701599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881255$BF7E4872-F816-494F-9DF8-C2F3F6359400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604c142f91f0083f7bf930e69676737dd6ea8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5222077,"id":"Q5222077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f114c30f767b6d542eb75302ab106ebc6727ee40","datavalue":{"value":{"amount":"+0.7889633178710938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881255$78EED627-A3B0-4779-95C2-5A6218FE9A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d53218fc51240b1b3244cb0bd795b0e1375e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2204369,"id":"Q2204369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1005a831fbc3c5befe9ccb39b8cee29af8f9d54","datavalue":{"value":{"amount":"+0.7882754802703857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881255$6C9D2F36-B16D-4270-AEFD-0301DA92470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb62292746aebcbcf85ddb8996c32c2d399f590","datavalue":{"value":{"amount":"+0.7783054709434509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881255$6B1DBED6-F45A-4403-80ED-B2399C847A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of the Weak K\u00f6nig Lemma","badges":[]}}}}}