{"entities":{"Q4876321":{"pageid":6905900,"ns":120,"title":"Item:Q4876321","lastrevid":41590768,"modified":"2025-05-06T04:07:54Z","type":"item","id":"Q4876321","labels":{"en":{"language":"en","value":"Minimal readability of intuitionistic arithmetic and elementary analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 872667"}},"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":"Q4876321$95B7A956-767B-491A-9E02-D4181A26D5D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4e7431938caf8c8bb5304b852fac0ccbac1ca24","datavalue":{"value":{"text":"Minimal readability of intuitionistic arithmetic and elementary analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4876321$F51274DE-469B-42E0-BA8F-0ADC7843C2D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1d6da9f2cf7bb91916bf965a28746c91a5ba351","datavalue":{"value":"0854.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$60AE41AA-B020-4C8C-B628-0708E08E7C27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2c249c8567e9a57e26e11d7be15184a573c5a6f","datavalue":{"value":"10.2307/2275884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$2AD1EA1C-FE79-4709-9056-11BA1C86E1BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796c111fd27e4430cfa0e927bbe0e21aa71a1280","datavalue":{"value":{"entity-type":"item","numeric-id":190297,"id":"Q190297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$3E0524EA-6C0D-4EBC-A81E-ABB165DAA527","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":"Q4876321$722EDF4D-44AB-4C74-85ED-4582C12BB919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4876321$53856C5A-64B0-4A90-975C-600D672EFC57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$432457E8-56B8-4BF9-817A-FBB7949FE03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$D9E36D48-271F-41E2-BE7A-859ADAB00848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ed1007c48b6c2bf639c1c50279c6adf537827f6","datavalue":{"value":"872667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$63538815-1225-427B-AB20-06D96FA79988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165ab55eec1c2e688bdefc36a5e808f1318f1d1c","datavalue":{"value":"minimal realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$C5B712E7-1CCE-4CF7-AF81-CCCA22C3562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35afb24aaae354b38e675b5c9e498530dbc66b1","datavalue":{"value":"definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$15EEAF63-6EC6-4E55-9491-C00610370104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$5C3EDFFE-48E7-4A6F-A23F-164C4A0FA313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$656F2673-B0BF-4AAB-8973-00F53AA259B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$3A260A03-B7ED-42D6-ACEA-CAC198AA0A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$53AE40BA-FFD2-4765-8615-CABE63D98E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579c90d9461ff747e07ae89b6add2f2600155a03","datavalue":{"value":"intuitionistic finite-type arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$7C206E73-4CAE-4E30-B216-49D5DC47F6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5161e560b844d8b0f8d0d1251c34393c2789c248","datavalue":{"value":"elementary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876321$A19DB22E-0827-4056-B625-797C509B4C2A","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":"Q4876321$A59A850F-4320-4143-A405-D75D66877306","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fa986c69abc77da7f539b1e15f351bad3bc3c0b","datavalue":{"value":"https://doi.org/10.2307/2275884","type":"string"},"datatype":"url"},"type":"statement","id":"Q4876321$87C44622-2A92-4068-8F89-B43FC9D11945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc18b9c6b730bbec875e695467d9004759959a8b","datavalue":{"value":"W2133713329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876321$8F4AC227-3ADD-401C-B8E2-1B8DD8350498","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$3BF2E02D-D397-4892-A607-E4FA9B0892B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$6B4773AF-0643-4E33-9DD5-A8264517AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$3B89BD19-A9E9-453C-B396-B48EB1BD027A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$CB6F705A-8748-44F2-9482-E7294393B836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$CCC21A8F-B49F-4424-A324-DF74732B5B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356bbc8d0ebb4f5fda517f9c0b898acaddccec63","datavalue":{"value":{"entity-type":"item","numeric-id":5676207,"id":"Q5676207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$24059B63-0251-4506-AD8C-71E8079EB15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5037c04c9c92c64619d5eb9e67e54d8bcab3371","datavalue":{"value":{"entity-type":"item","numeric-id":5635436,"id":"Q5635436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876321$ACE31DCA-4B17-46BD-B412-868A959EDE46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfacc80ecd655cc1d57511fa5965298f1c1ce26","datavalue":{"value":{"entity-type":"item","numeric-id":3362546,"id":"Q3362546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f295f46578e4b6cd2d31b1311ddd16912b1c3896","datavalue":{"value":{"amount":"+0.9254123","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":"Q4876321$E3AD4008-1B04-4D24-A91F-B0A08A33AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc7c60cb4fb4d14aeed5b252e81cbf043dda78b","datavalue":{"value":{"amount":"+0.9068012","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":"Q4876321$76C9D7F1-B834-4FDA-9136-6E5DA6044934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60ab17b613d293b1cf126d5d07e697b37cd4f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1204675,"id":"Q1204675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc97ff84fdd46ad13c3e533aba9958feff49a3a1","datavalue":{"value":{"amount":"+0.9062799","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":"Q4876321$4FAF812B-7220-4951-BF55-51C9529C189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff9ddc6fe1a55941c90677f589ce0b4da36c7df","datavalue":{"value":{"entity-type":"item","numeric-id":4944901,"id":"Q4944901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162239a955a6ec2a83b54a5f40b7249a82403f0a","datavalue":{"value":{"amount":"+0.89733934","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":"Q4876321$EC7AD970-D780-48FB-B9A8-83FB3627A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79061c00ce1833d4910fa9028e8906785b53f0dc","datavalue":{"value":{"amount":"+0.89646167","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":"Q4876321$400B3DEC-77BB-4E91-84EF-27AFF2C5291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c042ce8e69a8c3ca5e86d1eb4cd4d3f1e680467","datavalue":{"value":{"amount":"+0.89267784","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":"Q4876321$327D1AEE-4FDC-4453-877A-745C9E468244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a471a906cf9d4d870efb5f050bc56bed85055e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2362860,"id":"Q2362860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ed2ba6b8e27ca861c114d3a86633158f004c0d","datavalue":{"value":{"amount":"+0.8919655","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":"Q4876321$8D74E7B4-B1D5-48C8-B649-6B29A8807552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322c25a07d67ac33ccad0db6096ff048ee49de4a","datavalue":{"value":{"entity-type":"item","numeric-id":4527909,"id":"Q4527909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2655bab425f3cfc807ca510a943834843afe79c","datavalue":{"value":{"amount":"+0.8907561","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":"Q4876321$9A7758E2-878F-456A-87C1-0C96B8475EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff9be2f672154f428a8802a689fc5a30d1f5d86","datavalue":{"value":{"entity-type":"item","numeric-id":810502,"id":"Q810502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8dd2e046bee969cab1ea142e0d99d3250ab1ac","datavalue":{"value":{"amount":"+0.88873506","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":"Q4876321$4F855B44-9707-44F5-B0FA-E84DBE17A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1077f7bff3d16676a04b45d213b72467f00843ea","datavalue":{"value":{"entity-type":"item","numeric-id":3773862,"id":"Q3773862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5b7ec8512b54fe81607dc116a5ac1833419f04","datavalue":{"value":{"amount":"+0.88848895","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":"Q4876321$F81592B4-93AA-4A4C-81B0-FF6A8FF60F21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4876321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4876321"}}}}}