{"entities":{"Q2498896":{"pageid":2509639,"ns":120,"title":"Item:Q2498896","lastrevid":73275138,"modified":"2026-04-14T15:14:28Z","type":"item","id":"Q2498896","labels":{"en":{"language":"en","value":"CZF and second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047216"}},"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":"Q2498896$81BE0A1B-E311-4B14-8162-98566E16B9A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64c7133eeebea2ab1f4ce76c321ff6f818563a63","datavalue":{"value":{"text":"CZF and second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498896$1A7858DF-24E8-4B46-B4DF-BC21AAB64291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c935326bc2365ee3e099dbf17e0b2ce58b00d80e","datavalue":{"value":"1094.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$95066CCB-0DD7-40BC-90D6-600A7B8850BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$FFC107F8-F7A6-417D-88FC-2989985E2644","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":"Q2498896$61F75D8E-7CCA-45F4-9080-550671D24C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498896$0BC4D588-953E-4C9B-B638-C389FA279CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"719cb120c309214eea248881d5d55aa30ef19e92","datavalue":{"value":"https://arxiv.org/abs/1510.00469","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498896$6EBA2F91-8268-4075-AF68-43C1394D0FC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$DB4FFBD2-FA14-426D-9FFF-02073F3D21EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$FA012D59-6AE9-46F5-8F8C-E3769669FE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$513B426F-7142-49A5-90CB-9482D9919E94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e214eb96412e73d2b7c1d56a7cdcc73216e7bf7","datavalue":{"value":"5047216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$16BAE01A-E012-4E89-9389-C663A5C8A6DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498896$6413420B-7017-45BB-AA52-A6F99E11A6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc69d0521f0be6c639e519b48339bd7290ba7b","datavalue":{"value":"recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498896$100EC1C2-4D96-473B-B9EF-919AC4777C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75541e345a61190625de7713a8f4c6c8c96d9d6c","datavalue":{"value":"equiconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498896$852F6B7C-1776-4BD5-A29A-3BDEE1FFF5AD","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":"Q2498896$D2C3322D-8EB8-4F20-B530-56971628A478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d37689e77c53f3e40fdee78c5759dce42b6eb54","datavalue":{"value":"W2963504323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$A6C7948D-5AD1-4678-AD37-335A44944DE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$82BC032C-2FC8-4882-8C4A-05B68408FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$42DA7293-B6C5-48EA-9EBE-E0BDC81CB994","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":"Q2498896$524A6471-6E67-4549-9F67-E50CD91166AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$AB841DC6-EBE0-4DCB-AC71-FA77EABE6601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcefe534b5a5b835ed3c83a0316c73efae25b819","datavalue":{"value":{"entity-type":"item","numeric-id":5718693,"id":"Q5718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$366DEF1F-BC88-4E13-9F03-9109682FD26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356176b4c2fc289e7fbb7b270efe9a342ccd0395","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$52DCB3F2-7B7E-44B8-BEEE-C985F3BEC4B6","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":"Q2498896$FE008EBE-A114-438F-AD43-406998D0C0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$7EED8836-AB9A-495E-89CB-087191340E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3a7eafe52e56bd4d106cc98c2bef8a475cab39","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$F89408A7-21C6-4410-B158-E6E55DE340EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9f3dfde8ee69d10b8cc5f70a9d616428a2aeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$0CD7B9BE-64A8-48EA-B3C8-CD5FAC4C68A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498896$34C9C205-692C-4E9C-85A2-EE0D7549B74A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14f01811de63d05eca1d3923e6b8b1d733ec31e2","datavalue":{"value":"10.1016/J.APAL.2005.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498896$251800AA-23FB-4AE6-BF07-8A66CA170CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CZF and second order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CZF_and_second_order_arithmetic"}}}}}