{"entities":{"Q5425338":{"pageid":7454912,"ns":120,"title":"Item:Q5425338","lastrevid":50211956,"modified":"2026-01-13T13:11:57Z","type":"item","id":"Q5425338","labels":{"en":{"language":"en","value":"Unique Existence and Computability in Constructive Reverse Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211266"}},"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":"Q5425338$5B43118D-3ED5-4FCE-9E03-409585620C5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4007f6f013245b88cada4c8ee84d2b1b83a72810","datavalue":{"value":{"text":"Unique Existence and Computability in Constructive Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425338$3713C3B6-1201-46A6-A548-1A341E520CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fa2d218e8d2153eb4bf1472126be393479703bd","datavalue":{"value":"1151.03351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$2254FAE6-6EC7-4162-9722-E70C108225CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8becc976f50de5209f1a5ccbd0d6c5bac56c670f","datavalue":{"value":"10.1007/978-3-540-73001-9_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$F8073C9B-756E-4593-A3CC-23B0A3EABBC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425338$FDFEB384-A892-402B-A7D7-CEEB2FC64480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425338$C62839DB-B91E-4CDF-BFA8-004E1CA36649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425338$E4EE6041-A51E-4051-8703-7B8AE66CFBB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$035C5BAB-A661-4D67-AFB3-3D31BE2DF0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$F004639E-0948-4E4D-A159-0B10579448A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cf47faa018be8f3d7db5289e995a1a1c9548aa8","datavalue":{"value":"5211266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$925D326A-344A-4E70-8745-0ED0B95CFBFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd772b7b860aebbcaad2f821ee7aa2d2dc0306a","datavalue":{"value":"unique existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$F454969C-6096-450B-BA89-805D44335620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$96EE71B8-65F5-4C24-A807-6E0D7CDDD7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c28b62d95a62843757a63aa9c7c6add7477f7","datavalue":{"value":"Brouwer's fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$528EA525-31BB-42EF-836C-38C1FB83C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854744c822e720a254399fd5fc7d80d07631821e","datavalue":{"value":"weak K\u00f6nig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$B375956F-361E-455A-AC12-BEB58CF16CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$C221C59F-4E0A-41AC-8416-2BCC788856D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425338$DD1649F0-9F33-4E6B-990E-B92A4E57F067","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":"Q5425338$3EA4E019-E51B-4563-A646-D1892B0114DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca995af3924cef278ef8bf7abfaa7c9e8a433ec7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73001-9_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425338$795E167F-8F7C-4C19-90D6-7FCB8A0278FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bff1c07cf47e2fda63cc2b0a52d58a20f1cdad8","datavalue":{"value":"W1507261115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425338$7F4DDCB9-C02E-41AF-BD61-642103BFF9D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b72bb87b4b1d3dde88bd498753bea2a6086782","datavalue":{"value":{"entity-type":"item","numeric-id":5462988,"id":"Q5462988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec54876d2a2e3fc1e309760a99ea1689e2bbb93","datavalue":{"value":{"amount":"+0.8190110325813293","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":"Q5425338$D78F00C1-ECA9-41B9-ADA3-B283D7AD0B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96ca71ebd1bf40f0e9ae420799f041969b7fc71","datavalue":{"value":{"entity-type":"item","numeric-id":5480634,"id":"Q5480634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3140ee3e456c2e9ef4dea67245a52028e3ba79","datavalue":{"value":{"amount":"+0.7923853993415833","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":"Q5425338$B4BE7EA3-26E9-47A1-ADE2-10D7B525C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89610b54c2925a71593ae44b7b52878023aa442d","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ae918b41e1f0ab7a30a1e38c92ef8b65982973","datavalue":{"value":{"amount":"+0.7769342660903931","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":"Q5425338$BD78BA1B-5496-4A55-9D41-74698E7B85F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee30db651c647c143bbd3bdba44d80d49c41507","datavalue":{"value":{"entity-type":"item","numeric-id":4981453,"id":"Q4981453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ee7b3a2000c25e613546ae10d9f64e789277eb","datavalue":{"value":{"amount":"+0.7548831105232239","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":"Q5425338$E57972A4-4F86-4854-A19B-E44C93D0A987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e76ec88b3a92c6c8ddaf8f64b3c8677bcf4d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4458700,"id":"Q4458700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f77f1f89f0d7cfa7719c14f0f6f25780c588d08","datavalue":{"value":{"amount":"+0.7548788785934448","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":"Q5425338$A321884E-CAD4-44ED-819E-B36D6581774C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425338"}}}}}