{"entities":{"Q2117809":{"pageid":2128552,"ns":120,"title":"Item:Q2117809","lastrevid":43523498,"modified":"2025-08-18T07:53:00Z","type":"item","id":"Q2117809","labels":{"en":{"language":"en","value":"Constructive mathematics, Church's thesis, and free choice sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495191"}},"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":"Q2117809$7CD76BAD-F743-4B91-9ABA-B1C56A459F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90401082ea68bae0c538d0a38f0e009fd0c3b1a2","datavalue":{"value":{"text":"Constructive mathematics, Church's thesis, and free choice sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117809$1B374707-9815-4574-91B9-87796034B934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80c192201910d08d2e8263adcbb54ac0c44666af","datavalue":{"value":"10.1007/978-3-030-80049-9_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117809$F0767392-0682-49A0-8D77-D71E99DC0576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$FE79A0C1-5F60-477B-A40D-0930508D59B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117809$2FE0F1D3-E2EF-4F98-95C5-6F84BB7DEDF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"998546281e0e4b092344beeb0e5ef5cd9ee015bf","datavalue":{"value":"https://kar.kent.ac.uk/88974/1/turner.pdf_nocoversheet","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117809$A928F3AB-A2A7-4ACD-B87A-04CA63D9C31E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117809$0A499198-B9B8-455D-9A42-4A5072ABDF24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f618a35d7104a7193e3c10eed7b2d05527dad7bb","datavalue":{"value":"7495191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117809$19FB0A24-D2D7-4003-BB53-D11D4C681D4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117809$8641BBA0-DC8E-46F9-9DDF-219699C7B363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117809$D38F8DB8-DAC0-4225-91DA-DAE59A892C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303f4048f16f54b10bc4f38716a97d55eb018295","datavalue":{"value":"free choice sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117809$776C86AF-7B73-4942-A945-6BA31C358164","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":"Q2117809$6B89D38C-E795-4513-8CC5-8793F7D45E81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f08b954ad72d5e7692a5f86cdf6f43ba647d451","datavalue":{"value":"W3186014528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117809$1FFE2C88-87D8-4C2F-A6F8-AA2A22D7353F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$B15259AA-A106-48DE-8CDC-7AE7B69D1FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$635E5AE1-C4C1-4F72-A0C3-CD324C826AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$8647E0D0-DDB1-4815-8D0D-CC11BE77E67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$530530A1-C403-4590-A0E5-FEE31FF942F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce029bf879fdaed2d64cff89d2bcfe4c552ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5760328,"id":"Q5760328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$412D30F8-378D-4AFC-B503-03E003B8EB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$CDB54FAF-E774-48B6-9BF8-3DD133BFFECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$06FCD1DB-D24E-41F6-A412-7A2D47321348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$57F92E9D-E859-491E-844D-77A719B43552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736056ecf41fde121bb39af5b399424a55f27153","datavalue":{"value":{"entity-type":"item","numeric-id":3916562,"id":"Q3916562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$3CA18456-7FA1-465C-BC75-3F6417B41CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$F06B3A51-F941-44B8-9341-480B96664FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f0f64e099ed08492dee9b81253e4aced2f9618","datavalue":{"value":{"entity-type":"item","numeric-id":4594264,"id":"Q4594264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$EA24AF89-F23D-4712-9D2A-ADD313AB4DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1c6e0b58d9995ff0cda77eb8aee02dbdd3b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5493748,"id":"Q5493748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$0783DE34-A622-429E-815E-D86DA8D52E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$5BC25629-667E-47A4-A327-78A6ABC59E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$855E4884-BA7C-436D-BA56-442AEF92A465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884b2288794186fcd5db1b7c432bec22716f989","datavalue":{"value":{"entity-type":"item","numeric-id":3157873,"id":"Q3157873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$EDD87475-C5B6-4859-9F43-93A7A2122A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ff756d3c964d59c7c0664d05a4f5577b719791","datavalue":{"value":{"entity-type":"item","numeric-id":4594250,"id":"Q4594250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$E5ED92F3-B5E1-4A8B-87DC-FFA18E841D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$100C3238-8C10-4503-95E8-96F280EBA7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117809$6948A9FA-5C81-45D7-8AEE-98A8CB227F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117809"}}}}}