{"entities":{"Q3734400":{"pageid":5764306,"ns":120,"title":"Item:Q3734400","lastrevid":50868938,"modified":"2026-01-15T12:21:57Z","type":"item","id":"Q3734400","labels":{"en":{"language":"en","value":"Church's thesis, continuity, and set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966070"}},"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":"Q3734400$9696C474-F99C-45B7-BB5E-C55894217276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59ed39d566f2611ea7d2b82ed5443d4c9427a9c8","datavalue":{"value":{"text":"Church's thesis, continuity, and set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734400$859E4F16-8FFA-4A8B-A6BD-3D9BB9DA940B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0e6ceb4dfb5edaa571a2c06b824ed785fd64c10","datavalue":{"value":"0599.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$1B440DE0-6256-42B2-B134-B5EEDA7F1A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e27304b8a0faed2b5741c4c33d09796f449d979","datavalue":{"value":"10.2307/2274195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$BFEC4D24-C7CB-4516-A960-C40EAD74E295","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$73E3707C-04D4-4466-95C2-3E3D4CDAFBAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3734400$DDC126EB-AF4F-4842-9DE6-260251B25722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$48492440-F0D5-4379-BEB3-1A18C2757A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$FB5506A2-FA37-4ABD-B5B6-22D9EA4C1765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$B8091EDD-F1BA-4A50-BD27-A2254C90020B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22ca028c133c51bee3d1f5241c77e3b4ecbc637b","datavalue":{"value":"3966070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$3705636F-43CE-4B7E-BD7D-BBBC3A463426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a45b768e97200d95a1fb8e2aa820e6647af977","datavalue":{"value":"Kreisel-Lacombe-Shoenfield theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734400$49B32F57-6014-44D3-B254-AE5EEC3ECC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c29a6eb28d1b3eab5a9baa15f25a8a027982f83","datavalue":{"value":"continuity of effective operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734400$5036445C-22FA-416C-91F4-1511C8FF4C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734400$5C6DB1BD-3A7F-4971-8C74-69AD87F2A15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734400$8C8BF782-3DD1-4F7E-9A3D-97521E530255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e4f4dc5c6a79e564649d623bbf42cc5eaf007a","datavalue":{"value":"fp-realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734400$3DC0BBD0-DD85-4DCA-B5BC-419E00543425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$F306DAA5-E7ED-4924-809B-DD22F976A69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$05753501-1D14-435E-B9F9-001EF76E37BD","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":"Q3734400$ACAB3F7B-4993-4188-BA99-6A62D2A9E1CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c60e46b0627dcf4d16a0f7cb51d9e3ad94c8ad9c","datavalue":{"value":"https://doi.org/10.2307/2274195","type":"string"},"datatype":"url"},"type":"statement","id":"Q3734400$F7549EA7-6A7F-4E48-ABFF-6C50A8FB2B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d1c70a6d697f884fff758511d77ac66db641be7","datavalue":{"value":"W2122841842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734400$257F7B12-DCEB-4D80-AA01-13D6EDE3980F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70f83e5fa07bdce2b0c918cb06905a61f457eec","datavalue":{"value":{"entity-type":"item","numeric-id":1224089,"id":"Q1224089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$A4F35A82-3DE7-4FC5-8E7E-3062AF72EA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$0DCA40B9-93ED-4A84-9791-0F06F7740DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$4107E954-5F8A-4B44-90A8-3D01B9E14EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9637344df4a41714e238b8368e42d44fac4a5b","datavalue":{"value":{"entity-type":"item","numeric-id":770786,"id":"Q770786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734400$4FCBB2A9-B9AA-4A6D-9F40-2AAFC23AF133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45491a2fca577637d7496448c082ff0f85b2bad2","datavalue":{"value":{"entity-type":"item","numeric-id":1102283,"id":"Q1102283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d49ddafac61b613963bd08669641020d515f34","datavalue":{"value":{"amount":"+0.8136195540428162","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":"Q3734400$E0961FDF-5479-4318-B2D1-5959411F761F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93aa6ee66066416c88c248fe1f1b0b2348238ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779633,"id":"Q4779633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd069da75b72fdeb4b140ae4678ea2d38f0b00c","datavalue":{"value":{"amount":"+0.794081449508667","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":"Q3734400$A118683A-5AD0-49E7-A700-4235745FF125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95deaef694e325acd1a6f50d7e15cc210163d214","datavalue":{"value":{"entity-type":"item","numeric-id":1901901,"id":"Q1901901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c653bd8f20187b0de42ee043a77e9da468c80e","datavalue":{"value":{"amount":"+0.7806475758552551","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":"Q3734400$3513F895-ECF7-48C3-8B59-3ED22FDFD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a866a3b7af6d889d1812dd7b39d7a2f2d9fe60ee","datavalue":{"value":{"entity-type":"item","numeric-id":1315098,"id":"Q1315098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c653bd8f20187b0de42ee043a77e9da468c80e","datavalue":{"value":{"amount":"+0.7806475758552551","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":"Q3734400$EDD22AEE-9A11-43AC-9EB4-67E027C1248A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7d20230fdf27ae1d1414045f27f067549ab26e","datavalue":{"value":{"amount":"+0.7628180384635925","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":"Q3734400$C483C34B-609B-4F2A-A05B-C3F003440543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734400"}}}}}