{"entities":{"Q2111109":{"pageid":2121852,"ns":120,"title":"Item:Q2111109","lastrevid":55428838,"modified":"2026-02-17T16:11:42Z","type":"item","id":"Q2111109","labels":{"en":{"language":"en","value":"A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \\(\\Sigma_1^1\\) collection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7637214"}},"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":"Q2111109$B0486FC7-EA8F-4B72-9CE6-4B197F493AB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac6d8578555ce25a2127b66eff425bf0103c154","datavalue":{"value":{"text":"A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \\(\\Sigma_1^1\\) collection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2111109$33BCA139-0A40-44EC-91BE-5C0BC2742A7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a662f6b5100ada57435ceb7f809f265febd4cb20","datavalue":{"value":{"entity-type":"item","numeric-id":481872,"id":"Q481872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$CCECA3C9-5054-4AB4-ABC1-B1C58B94950F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$DE38549F-605C-43CD-8EAF-1CAD7D1CBE6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1537575f03e8afd6ff1d5e3ce7ecda1d92d2aa3","datavalue":{"value":{"time":"+2022-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2111109$6B84D37C-9C12-430C-A08F-EED82117DF98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$9BC2A8FA-30D8-456C-A169-1F5BF51A151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$0078DDE8-D5DA-4DE2-9F4A-411FCAEDBA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$8E5C35EE-5740-4484-9C3B-976A10E0E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$64D3C5CA-84B9-49C6-82B8-0EB592CD3BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$373EBEB0-2A8F-48DF-BC0A-2A41792B878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$83741C3F-82C8-4244-9D0C-FF61F6B81241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"970c13ae6dd5efbf516559206990a859843ec755","datavalue":{"value":"7637214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$392232FE-6516-4C25-9F21-7C36B9DA40FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb2f493cd8f24d6de4a74e3c0a70cb1c46a569a","datavalue":{"value":"\\(\\Pi_2^1\\) conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$E0DE771B-DAD3-4AE4-88FB-F3D9AE8F0CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$32B15E45-BE16-416A-AE6E-42D7C3CD5AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6230b86aa5b306a928c4353cb2b48a5827fc889","datavalue":{"value":"intuitionistic forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$6E261D49-2F63-4F8F-9524-04A2D8C50953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$08B24C09-2D82-438F-95FE-594126BFCCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50bf2d20ca5b347c5f841045fb26904e5914c269","datavalue":{"value":"\\(\\Sigma_1^1\\) collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$B907056E-33B9-4DAC-8945-BFAC4719EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8c5e5013c1a5ff951e0ec98a38834b9a03348f","datavalue":{"value":"\\(\\Sigma_1^ 1\\)-DC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111109$4F227DCF-5F16-4267-90BF-5471EC6D271D","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":"Q2111109$475A2C54-D357-4453-B97B-C57BC9FE3360","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0297338e93e98793cb147c55815d98adc18d4fe","datavalue":{"value":"Q115221864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$7BE1D537-F1E3-4A6E-9156-A84341AC29E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb95211fe296b7ef10442e70889bd990ba203298","datavalue":{"value":"https://doi.org/10.1016/j.apal.2022.103207","type":"string"},"datatype":"url"},"type":"statement","id":"Q2111109$21A8DAA2-12F7-46FD-B190-6BBBAFBF6382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"746d0a13fd3f3d92d48432d993f83705b19ecef9","datavalue":{"value":"W4307726500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$2D4B2BB8-89D7-448B-91DB-22E1C689DEC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$95AD2CCC-E98A-4574-AFF7-00A4FBECF8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$064A8CAB-5AB8-4ED3-ACBF-666F339385EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$56DA9575-8AEA-4B9B-A68D-77A8C312DE24","rank":"normal"},{"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":"Q2111109$5894A9D1-64B1-4C34-A9FB-7127E50D28CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$7CD0026F-AACB-4BE2-8B0F-73F74D1FC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c136e23902c7276b951fdfcca3801593ff226757","datavalue":{"value":{"entity-type":"item","numeric-id":481873,"id":"Q481873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$C385085E-38A5-4380-8E98-BFA8480107F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18833ee5d6be366acf0e86e4da70da9a3f2df977","datavalue":{"value":{"entity-type":"item","numeric-id":5619071,"id":"Q5619071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$1CA6BB0D-DD68-4A12-BC19-8AE40DDDDB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$5643D5E1-39CC-4605-AF16-8BD65968F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8b96bec3fb8d9ce09c3d4d490cc54f52ee1612","datavalue":{"value":{"entity-type":"item","numeric-id":4692077,"id":"Q4692077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$0B46C7B1-1650-4A4E-8F3E-C4AC765FD1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1f7856b8b7a3320630526de761a863b8ae9bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5082051,"id":"Q5082051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$4CC7C013-AB43-434E-BFA0-9E71E691A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$748CAE60-9706-4CDC-8D27-40C2AC091E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fc8fa6520935c6d90927dd6487a3b56fc9c139","datavalue":{"value":{"entity-type":"item","numeric-id":5485403,"id":"Q5485403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$0835C725-DEB4-457D-9FB2-6A2F805B1A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26201bfb868d1f6aa004af0d5e629458e6624297","datavalue":{"value":{"entity-type":"item","numeric-id":882123,"id":"Q882123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$505E3EBB-992A-459B-9D4B-AE5C2CD8A372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec5baae32fbd66f0ed465305cdc4231b7e72145","datavalue":{"value":{"entity-type":"item","numeric-id":2922495,"id":"Q2922495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$829ECDC5-580F-4474-951C-DB92A7D16C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e0472347bb8670a3590a0076f254d7a323d3","datavalue":{"value":{"entity-type":"item","numeric-id":2933671,"id":"Q2933671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$C91E06E9-5AF5-42EE-9005-14ED68D85AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c01aacb1bd820fc7c2a246f1cfd4160d66b71b2","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$219F3BDF-B6CB-4C88-B651-547BC34BB5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8349b8fb0692e6afc09160ceafa4383999e7232b","datavalue":{"value":{"entity-type":"item","numeric-id":2344720,"id":"Q2344720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$5A1E4035-DB1F-4F3E-8636-CEFD49B08578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bc7e03466df814914fe2e8ca23858cb8c7f103","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$9880B82D-A21B-4456-BAC6-F56ABA263CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c3006824735693213028f4db3064a0f3da9063","datavalue":{"value":{"entity-type":"item","numeric-id":2285848,"id":"Q2285848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$4967BA5B-7180-48A8-A347-B9FC0E532096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5948c69d927afad963b493e9402917eaf3176163","datavalue":{"value":{"entity-type":"item","numeric-id":2144614,"id":"Q2144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$ADEE27A2-944B-4323-8F79-721D44896542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dcc21e567567138d292a3259bd20dc3c770c1","datavalue":{"value":{"entity-type":"item","numeric-id":476116,"id":"Q476116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$CE957CCA-CB56-4EFF-AFC2-22EE5E5F07B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69328b06dc1d26d5101867f67e70565505a5ccf5","datavalue":{"value":{"entity-type":"item","numeric-id":3069633,"id":"Q3069633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$A3E2D1F0-9391-4E11-A1E0-B23047F92194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111109$C34339EF-A297-4DE5-9C14-01BAEA732CD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24528b2a81017fde6286430b5f13e42d66ef1535","datavalue":{"value":"10.1016/J.APAL.2022.103207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111109$988A2E8F-B2AB-4070-91DF-1739A9E30B8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f17b541fb67166f1d2b5d879d2f351e9fbdc988","datavalue":{"value":{"amount":"+0.8012415766716003","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":"Q2111109$01388815-F7A6-420D-9D5E-3805A7B1CAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6f70a7675f656e388484fc22d0f1af31a54d67","datavalue":{"value":{"entity-type":"item","numeric-id":3029007,"id":"Q3029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc30c3cac5dcd636971e045d633249703cb9dbc0","datavalue":{"value":{"amount":"+0.7654778957366943","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":"Q2111109$89EB0B93-13E5-40A3-98CF-1AD50D3EBF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7cf2bddc1bdbbb99bc09afd6251963098d986d","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5955447cf410d128897ef8391b7f069e20daab6","datavalue":{"value":{"amount":"+0.757321834564209","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":"Q2111109$882AE3BD-83DE-476F-BB43-8D97B7F7B0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5596f4e7aa5c184f3689eee3edc81fa0596227e","datavalue":{"value":{"entity-type":"item","numeric-id":948908,"id":"Q948908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f931aec52af68c92571fdb78b8cfc025326b07ee","datavalue":{"value":{"amount":"+0.7564418315887451","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":"Q2111109$FD621590-7634-4765-92DB-1CF86F4E0CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ef37c0274cdf6a7c6e310bb9c6f6c94a08dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":4579817,"id":"Q4579817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c497a8c23c28311367fee9cad55368e309fc84d","datavalue":{"value":{"amount":"+0.7344048619270325","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":"Q2111109$7CD42481-0CEC-428C-AEE0-3F6D286EC772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2111109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2111109"}}}}}