{"entities":{"Q2403574":{"pageid":2414317,"ns":120,"title":"Item:Q2403574","lastrevid":44026659,"modified":"2025-11-19T03:33:36Z","type":"item","id":"Q2403574","labels":{"en":{"language":"en","value":"The semantics of realizability for the constructive set theory based on hyperarithmetical predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773486"}},"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":"Q2403574$47CDECC8-03AB-4179-9E4D-3BD617C386D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ead0d801cbd68369541b4f54470bec75ed0bd7f","datavalue":{"value":{"text":"The semantics of realizability for the constructive set theory based on hyperarithmetical predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2403574$F4AA5222-DCB4-4FFC-BD20-FAFBBE54AC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d512118170a96fc6741359341ecf44bf721b281b","datavalue":{"value":"1423.03247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$239D2187-6487-4D5A-8834-41013572796B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c21c635ad8160c467145c207c05285c6167dac2","datavalue":{"value":"10.3103/S0027132217030068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$64E2763A-396B-4056-A2F9-6DEA3708B362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403574$EA981511-4B76-415D-86FF-3F6DB8472055","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2403574$DC9CC4B0-398D-4274-987C-459635D17F1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$253459CA-8561-447A-ACC8-2DE75D420B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$E480A887-D539-4635-A74E-FEB8CD1827F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$70F4A7B4-9ADE-4345-B60C-6AA3013C3030","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa88348a91916ec7676712cf13271e04f666cbb0","datavalue":{"value":"6773486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$1AE2B66D-6B7F-42C5-8167-370C14E852B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403574$ADAC82AE-A420-469F-982C-DF9E7AE6A01D","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":"Q2403574$AE5FDD8A-FA13-479D-8948-2100559DE3F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403574$5535701D-046C-4C19-AD28-C7C43D781E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403574$211B2859-A5D9-49E6-BC19-0FE5DCA69FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"374a96673b37c23b81816be37e6665d7cc9e5fbe","datavalue":{"value":"https://doi.org/10.3103/s0027132217030068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2403574$559B82F0-410F-4CC4-AA38-432F33946447","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95ce302d242b2f3ccb1e621f127768d0e107486b","datavalue":{"value":"W2724860650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403574$B5921C52-7EF0-4109-8582-BE45AC04E194","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c1837a5f245b2fced9182e4dcc76b4b4ee086","datavalue":{"value":{"entity-type":"item","numeric-id":651324,"id":"Q651324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498e14b8ae3ce56414bc1c8cd9251c1d0b22aa7e","datavalue":{"value":{"amount":"+0.9185885","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":"Q2403574$D4CCDB8F-74CF-41FF-82CB-308605D91602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec70ff52fc796e00caacfc9a4c85f6c74c9f07a","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778f8b7a9050e151530653f3dfaa763ac2fd682d","datavalue":{"value":{"amount":"+0.9092862","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":"Q2403574$A96AF813-E11D-47E8-A8CB-95DE4E9EACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890e9521c95d9c18330ceec1e5848abf373694f8","datavalue":{"value":{"entity-type":"item","numeric-id":2700803,"id":"Q2700803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec217b20ccf8ea8cf93a19f603db1c1b18999c2","datavalue":{"value":{"amount":"+0.89971864","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":"Q2403574$5A90F02B-7B6D-4FA0-97B2-366D05B5563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882c742186c44e767e75b590b882b1a818a7efc","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3edae8b76ea1807719e8a1bdb4b9904046314f6","datavalue":{"value":{"amount":"+0.8989626","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":"Q2403574$460FFB48-4C0C-4252-BCFD-E1191AE9AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7e2dedd9fa58f3b7c9edeac6ca3b8312e15bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5858137,"id":"Q5858137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24c932c92f019fc6e97a7395da2eb9fe540095a","datavalue":{"value":{"amount":"+0.89468765","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":"Q2403574$AC3E07EE-520B-4ED3-8E7C-B25DDD5D7ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac307fddb62d2762c8212227c24e5c41695744e4","datavalue":{"value":{"entity-type":"item","numeric-id":2989969,"id":"Q2989969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfc079c2b5cef7fc419975d41e9a78c7dfc6f12","datavalue":{"value":{"amount":"+0.89293873","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":"Q2403574$D5E3F2AB-AD07-436C-8C11-112EAD81478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c2c644251ae04f627bb49b5a42cd23284ef8ca","datavalue":{"value":{"entity-type":"item","numeric-id":3416116,"id":"Q3416116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4645170847ec4ab45eeb50a5a149c83ac07c26dd","datavalue":{"value":{"amount":"+0.88759565","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":"Q2403574$0616E21D-3852-4372-9826-2C4635E50269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee6b781474ff4b460e1d7e7ef10fcb01fce4184","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c39746d928e976d5bb06879f9d2358f04f7bca","datavalue":{"value":{"amount":"+0.8847771","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":"Q2403574$D1251515-95B5-485B-9982-6857B96390EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87769249be4f419bd31557379ee5381ae8453d6","datavalue":{"value":{"entity-type":"item","numeric-id":1015381,"id":"Q1015381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5ca6f1fd10cfcb73494fc56f7a70f84692a93d","datavalue":{"value":{"amount":"+0.88333654","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":"Q2403574$4A400FA4-F805-4694-B699-3EA1EF95E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66070aefaffb11ed36e95c85c16be10c2ae90620","datavalue":{"value":{"entity-type":"item","numeric-id":5099782,"id":"Q5099782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2747959755a11b41e4096188825d75c02814f7","datavalue":{"value":{"amount":"+0.8828355","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":"Q2403574$C1D70B96-D301-4BF0-A54B-46756B59BA5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2403574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2403574"}}}}}