{"entities":{"Q5202185":{"pageid":7231756,"ns":120,"title":"Item:Q5202185","lastrevid":41845533,"modified":"2025-05-08T23:31:08Z","type":"item","id":"Q5202185","labels":{"en":{"language":"en","value":"Constructive validity is nonarithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193665"}},"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":"Q5202185$10FC97E3-363C-4636-AF53-3CFF03AAF604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d109e1e8aaa27c0069a01c357d9315423039153d","datavalue":{"value":{"text":"Constructive validity is nonarithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5202185$6603B4F6-633C-401E-91B9-2039F5C43590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af778b8a84d89055676a726661335a7df709a3ff","datavalue":{"value":"0724.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$A62A4443-43AA-46FF-B7F8-32F2418FE446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"847ccf201befab350e449928d22ad43fae78e9ce","datavalue":{"value":"10.2307/2274603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$6DFBB6C2-F040-4585-8DAB-7575CFE6F125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d6e27545f5ff87bd8e85f58155ee9385c69934","datavalue":{"value":{"entity-type":"item","numeric-id":595650,"id":"Q595650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202185$EF01E6F4-DC78-401A-8332-EB306AD71C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q5202185$9ADC21A5-9BF3-4AAD-AB67-59A45DAE1C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$B34E543D-F46C-4E93-AACB-A45510741C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$8C54CFC4-6F96-49C0-9C48-3E758BDE7D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$B19E9666-B073-432E-BC4B-7D558CD12C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$720F4C9A-33C5-48A7-B2E5-79100F4DA3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$42D06082-3528-48B2-995F-BEB7607F693B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37491e78fcf27973a8588af4caa6be30b40e4884","datavalue":{"value":"4193665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$1FFEBB5B-DFEE-45F8-BBD6-F651CFBF5C8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ea78b85a168d89b4a423ad6ba6f4b1e7afaca6","datavalue":{"value":"arithmetical definability of logical validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202185$D95EA340-BF47-4901-98CC-76AC49951150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d2c4ec9a970d94febd6e5bdb1a2c6d777b68e9","datavalue":{"value":"Heyting's intuitionistic second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202185$C8F379B9-6BE2-4DA1-A94E-A78E08F4D061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1028605681bc0f1a3529a6a566859aa944f37170","datavalue":{"value":"Kleene hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202185$3ABA0406-44CF-4C88-BCC7-5B702F319313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202185$2ACD5AB0-C344-4484-82E1-9EA01DCDAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4640db1ef774127f186aca69beca28a88a397dee","datavalue":{"value":"recursive models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202185$7C298A14-A890-4C3B-B836-50EF15FF0B30","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":"Q5202185$3A4CAEC9-339C-478F-B3AF-7DA1C3B5A810","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef658138f6741edfddb33d880ca8fe6d451feb44","datavalue":{"value":"https://doi.org/10.2307/2274603","type":"string"},"datatype":"url"},"type":"statement","id":"Q5202185$4E4EC9A6-817D-41C2-A73C-44B7D18A8D82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17ae07edd54642161a56ee7dc4b7d168c7b580e5","datavalue":{"value":"W4239436968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202185$EBB3672C-6ADD-40CC-98E5-4DD337003B36","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":"Q5202185$C90CF2CA-13AC-4B8F-9D2D-D0BEEC6DEF97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d6a3a495ae3640c5c5ff88439d896b5aedb4a3","datavalue":{"value":{"entity-type":"item","numeric-id":4732469,"id":"Q4732469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b437956129b9f5f61a5c28a4dacc5e638189fa","datavalue":{"value":{"amount":"+0.8529001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$F5431A87-8BBE-4F0B-B6D1-C0C325529C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9fd63b99683e1a87bf3e9f56e6a3db2e841451","datavalue":{"value":{"entity-type":"item","numeric-id":5028314,"id":"Q5028314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75643c5669310ff1ed14c8da35830ca103075eca","datavalue":{"value":{"amount":"+0.85177875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$13A63C2F-C6D8-47DA-BA27-B2F483ADEDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e45cc13479e364c5d11cb0c0fa7ca79dabe7605","datavalue":{"value":{"entity-type":"item","numeric-id":5187277,"id":"Q5187277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c7db9498a00527598b5b13d714ed6a00920a34","datavalue":{"value":{"amount":"+0.84258115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$569E1810-AF48-4E8D-8731-1957FC8CC81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c86cb5e41480ddf7d3c17728a12e1ba008c7972","datavalue":{"value":{"entity-type":"item","numeric-id":2177579,"id":"Q2177579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aca7995beda1240f8b287700e6b82a803b8a379","datavalue":{"value":{"amount":"+0.8283036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$2C4DD029-CCB6-4B8B-B201-391DDFA8A71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2271db9b6408143e4962c750ff23aea84d243942","datavalue":{"value":{"amount":"+0.8268709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$8079CD0C-06E6-4EC9-8096-8DDD6BF56092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039ab2a5ba457d53807dd3dbe9a501dc03198de4","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dc7fcdd73c34c9919f540bf053649502fa3542","datavalue":{"value":{"amount":"+0.8255791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$B60BC2C6-21CB-43B2-9C40-59BE342CC623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68f9ccbc02f25e825828a966efa103e9dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":1313594,"id":"Q1313594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823ce5d03607ae75aa93f2522f2cc5d6908ebbb1","datavalue":{"value":{"amount":"+0.8255015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$3B900C96-3C18-40A0-BB55-3EDDC3929385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a9e916093923c1ab582cec6a5ba1479d0cfa69","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0828b844516b00ef1bff7f2ca8802130bd826c5a","datavalue":{"value":{"amount":"+0.82366425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$94A8CE60-F5D4-45DE-A8E5-DB5D66744283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce2d654026cda56e9082cd0e73177e90137d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4893100,"id":"Q4893100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e37f91a6393b935fcf6c0218334675d19c6e4f6","datavalue":{"value":{"amount":"+0.82324284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$8CCEC90C-B0D4-498F-AB76-80EBD9DFDDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99e03f2ff88983128551f254eecd90daebb3be1","datavalue":{"value":{"entity-type":"item","numeric-id":3755455,"id":"Q3755455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd858621bb77b9c2c4854cca072f59484749df41","datavalue":{"value":{"amount":"+0.8214431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202185$694F1880-8042-406B-A08E-53CA9CCE3A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202185"}}}}}