{"entities":{"Q714714":{"pageid":716563,"ns":120,"title":"Item:Q714714","lastrevid":51573227,"modified":"2026-01-18T20:39:06Z","type":"item","id":"Q714714","labels":{"en":{"language":"en","value":"Realizability models refuting Ishihara's boundedness principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092964"}},"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":"Q714714$64E453E8-FA43-4847-8B6F-B3A4E6F41D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a43c21d3d0364fc5aa3043ece876e2df967bcf31","datavalue":{"value":{"text":"Realizability models refuting Ishihara's boundedness principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714714$27C73FCA-76F9-43E7-94BF-7739D93A3A40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b7949bf52889b3692a017450d11e5a40f09255","datavalue":{"value":"1251.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$E8157174-2E0A-4B8D-A097-CA3BAB75E1E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ed42438ad55cf52af258d5cb58a4fd9ac2caee","datavalue":{"value":{"entity-type":"item","numeric-id":714713,"id":"Q714713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$8C0C93D3-CB43-44E2-89A9-EAE38141C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$FF427F29-FA7A-4A01-B81D-88A6E69D3E2C","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":"Q714714$F62A027F-8789-42D0-BE34-B280DD806A04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714714$01BE63C9-4F78-473A-8E13-E2DF7885C4DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$EAA9331E-B618-4310-926D-5BF0DBCF8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$6DB2035C-D425-458C-ACD8-5FA305AF7F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$0D35A120-2060-4099-A3F3-C2ABC1DA6D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854b3d3823feebe971e244806ce13c033d5eefaf","datavalue":{"value":"6092964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$F807810D-0F28-4EF3-BD84-CEF8C7E1928F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$1A15052C-046A-495D-ADDC-7E3AE95B94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$8473646C-C76F-40A8-9A9F-C231C1773A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3411aa82b9afc3f210d9df9123146516fcbcd5d","datavalue":{"value":"independence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$D6D51A90-ECBF-46D8-9205-FA97BB62A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fbcfdc93f355741bd029aa6fa2833672283ac2","datavalue":{"value":"boundedness principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$93C6423B-6943-4EE7-95D6-B547E9015F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$D56D0631-FDCA-4AE9-A63E-A170BFE38E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$5F835C87-84E0-4621-AB1D-0C5387386FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$A6D297DA-0F51-4AA2-93B4-0BF907875566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b62c8dcd09ed72eb1a8f02cc3a91e67d4af8f0d","datavalue":{"value":"sequential continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q714714$E07088AD-64BC-4331-A9F6-B4FD8267BDD4","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":"Q714714$D4CD1F36-AEA5-42F1-BB30-097D89672E12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5068e320edf1b8aad354cf01b93bb7d63a054f5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q714714$0FD86074-30A3-46F9-9A3A-D01A373B9FCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0cf0613e6b366f268bc7879724f227159a0b568","datavalue":{"value":"W2046266057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$7AFC9826-B1E4-48E6-88C8-ECF739AD3970","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61239ba529f827fc1866ec0612b74272b8591532","datavalue":{"value":{"entity-type":"item","numeric-id":3159421,"id":"Q3159421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$684AA35E-CB57-4C8A-A674-86BC215AC0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650b5ae1facfbeea3cb646034d4643f8ddd98980","datavalue":{"value":{"entity-type":"item","numeric-id":4075443,"id":"Q4075443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$C8DA8BBD-85EF-4FDB-B60D-EA96E3A6CD9E","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":"Q714714$DDB52F63-721D-4265-BDAD-A8DF467E6BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527d80c98a2d008f7500cf71fcaeb3b5dad680fe","datavalue":{"value":{"entity-type":"item","numeric-id":2573727,"id":"Q2573727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$A5160272-018F-467F-B298-94BD2C9500E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$04089832-732C-48BE-B33E-D515FC80323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfed934ac51f952ecc56c29826cf4400615d2ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2752138,"id":"Q2752138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$2FE9278D-DADD-4A55-B966-4A5CE945FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$CC179FBD-53D5-460A-B912-606B63A6A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c691c2905b2d8f8434f9c6d2df145233d79686c1","datavalue":{"value":{"entity-type":"item","numeric-id":4681810,"id":"Q4681810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$3F9BFFE0-D599-4DB6-9454-6A26BE989038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5615baaf2fa4ab29b7b6e484d9e591aee63e17c2","datavalue":{"value":{"entity-type":"item","numeric-id":4934283,"id":"Q4934283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$0AE1BB4F-6034-404E-8D7A-5101AD0E6956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$1DF43F16-9733-44C1-AFFA-B19604CC7E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$F30E4BA7-6BC4-4655-B8CA-4F6C5E0792D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$02E160A5-1F0F-4222-BB68-5936C1396A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$B25A8821-C565-4A77-AC6E-0DFC557F7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714714$B62ADF7F-F8B3-4791-81CE-A9A4B9DBA3F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56a3912edbeac4427f881b578b8c2d7cd3db5305","datavalue":{"value":"10.1016/J.APAL.2012.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714714$F15700EB-37B4-4D30-B7A7-A9807A9DFE22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbba6a549142fb019b8626d2ff7f126c12b20c51","datavalue":{"value":{"entity-type":"item","numeric-id":4916541,"id":"Q4916541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49cf309781a96ca55990800100df666ac8260e5","datavalue":{"value":{"amount":"+0.8516592979431152","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":"Q714714$0C931BA2-7BF8-4E54-ACC1-433B9AB10216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd16f541c749ee0b7171509416f0c866121328d0","datavalue":{"value":{"entity-type":"item","numeric-id":1433041,"id":"Q1433041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85233f3f10a123fa1fbab9891bec3f3db6c13e1e","datavalue":{"value":{"amount":"+0.7866414785385132","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":"Q714714$1E52AC33-738C-44C9-9F39-4541413053E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71caa880916d09b8e9ef342beacbbcf346fc457","datavalue":{"value":{"entity-type":"item","numeric-id":3075214,"id":"Q3075214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986b6b9e0d2e0f050fdf1f6262815dce37e8f8d4","datavalue":{"value":{"amount":"+0.7623327374458313","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":"Q714714$4031E846-C788-4AD5-8FA7-149E04C927CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b6cbe2c60bf98f14861aa2a48eeaf05e609781","datavalue":{"value":{"entity-type":"item","numeric-id":5505139,"id":"Q5505139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3dd9a43d8415019c0605459afe0a3893c750078","datavalue":{"value":{"amount":"+0.7615106701850891","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":"Q714714$BDA0E5AD-81D6-464D-8D4C-A9DA7CAD0156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f1455a99360a2051c1896dd988fc7e88d9c81b","datavalue":{"value":{"entity-type":"item","numeric-id":5502822,"id":"Q5502822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8ab95c89042c3812239d1008f9ba581fcbfea7","datavalue":{"value":{"amount":"+0.7594348788261414","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":"Q714714$FD6E2ED9-707C-43B5-8FCE-3BF78E3D5E39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714714"}}}}}