{"entities":{"Q3949046":{"pageid":5978951,"ns":120,"title":"Item:Q3949046","lastrevid":87861515,"modified":"2026-06-04T13:01:50Z","type":"item","id":"Q3949046","labels":{"en":{"language":"en","value":"Constructive assertions in an extension of classical mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767650"}},"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":"Q3949046$C5D2B54A-2514-45BA-9BEB-FAC1CDF18FC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4676de26c2e6e2dfcad531a6e251e3244d37fa96","datavalue":{"value":{"text":"Constructive assertions in an extension of classical mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3949046$EAE3F763-A1EB-4FE7-A284-78B1852C14E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5c323a6c8435360b2d256303695b7f5316a2e4b","datavalue":{"value":"0488.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$6AD1B3C5-467E-4385-A3D1-09FAC2BF51B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ed7ddd43d8316c2a01040c5420faee077255054","datavalue":{"value":"10.2307/2273147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$26651C85-BC22-4E78-AE0F-2D3DED0D0D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949046$A24D41AE-49B9-47BC-B3CD-4D91F8C7257A","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":"Q3949046$4A94D1DE-9B23-48B6-8B80-615A1F77F585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3949046$31736F1E-09C9-4A7F-9B59-7B2D811FDBEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$E0DA504A-36DD-4246-AF0C-D952F51DDC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$FBDB0B66-6DA9-4602-B675-ED604D00F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$22CAE7AC-C10D-4E6C-B36E-42F38F2F355A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d5349cc94fd741063cb1bf7504249c47afdc7d","datavalue":{"value":"3767650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$5411F1DC-2BA4-49DD-A8F2-1D7E4F30728F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a6c50a05b0d79b462fa816aa4fa216d7fbb91d","datavalue":{"value":"effective computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$F17A28C5-06CC-4142-83C6-4E6F3CFD94B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$D5A6FA98-2F0A-4AAA-ACF3-AA223C339CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77ad5cee9cd8bb17bd1b9b0f918117e110aa88c","datavalue":{"value":"additional unary predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$4E4997A9-943F-4798-AC21-CBA3AEE3D4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e472ee8702b10a9d907887a45d23503ffab81d","datavalue":{"value":"the number x is known","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$AFF81883-D7EE-4041-82C6-E1E94A4C4B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$05802154-2E17-491C-9EF3-6B787C51C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa9181d112c068f8d18e824c116c31b2add5085","datavalue":{"value":"selection axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$1D4674C8-0FEC-4597-B73B-7E9572ED0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f7b80f657e3f5a0883bd473a6e6ea080cc4184e","datavalue":{"value":"generalized Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$BB3BD252-E4A4-459A-9B95-82C914A2E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083bec1667a7dd20d8ceedadbe687d555d170cb3","datavalue":{"value":"uniformity scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949046$DEE6DBB3-BC99-4808-AF9B-9EC6BFBFC768","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":"Q3949046$2E815268-3D73-4997-B87E-6EA06DF0B53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aa5290be3682f5a3ca18f8e0150451362c56326","datavalue":{"value":"https://doi.org/10.2307/2273147","type":"string"},"datatype":"url"},"type":"statement","id":"Q3949046$E55CFF80-2E7D-4ABC-A588-D3D66423BC4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a84ac75c329c339221390d30309a4912952d4034","datavalue":{"value":"W2060215258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949046$A4D2DC1C-F440-4998-9A2F-AF33D80062EB","rank":"normal"}],"P223":[{"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":"Q3949046$5030FDAF-B0A9-4DCF-AAC4-1030727CD1E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive assertions in an extension of classical mathematics","badges":[]}}}}}