{"entities":{"Q2344624":{"pageid":2355367,"ns":120,"title":"Item:Q2344624","lastrevid":57866841,"modified":"2026-04-02T21:06:26Z","type":"item","id":"Q2344624","labels":{"en":{"language":"en","value":"Models of intuitionistic set theory in subtoposes of nested realizability toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6436027"}},"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":"Q2344624$E6FA537C-7AED-4D6C-A86F-60793DEA998E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89295e4cacda6cd5704f5453de25dd5dac258468","datavalue":{"value":{"text":"Models of intuitionistic set theory in subtoposes of nested realizability toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2344624$4C27A6D6-13FC-425B-8077-6AF8BD485E1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfeff26ca3d5808fea5d35be36093a5b3828044d","datavalue":{"value":"1371.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$5C483769-34A4-4933-B68A-24F4F921B361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6081bfbbb83793d494afc06884c66bee72821c4","datavalue":{"value":{"entity-type":"item","numeric-id":1756494,"id":"Q1756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$4035DE40-5E4C-4BC6-A6C3-92066D425713","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":"Q2344624$76789554-B5FE-410B-9D7F-4C39EC793875","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":"Q2344624$9B995CFD-1791-4D34-96BB-3EEB4A46E292","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbf952640c9564cc8f88b43811f9c73ebed585c9","datavalue":{"value":{"time":"+2015-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2344624$5D346261-7A91-404F-9E82-3DB29577BA2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46683269ebf2c8658b6734ae6f6faade0779fa83","datavalue":{"value":"https://arxiv.org/abs/1407.2287","type":"string"},"datatype":"url"},"type":"statement","id":"Q2344624$F4763935-A16C-45E5-8D90-5056AA15A0F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$8E7EB9A0-3927-485A-B33E-580EBD948844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$3646CCA8-AD0D-4ABB-A737-FBE6F2571A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$9770C5F5-4DBA-4DCC-9BB2-1D7AA3F2E2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$3566BE60-44EC-44A5-B617-7514E97C40A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0da054d57fa2ac982bb1f9a13a877b0d363bf20a","datavalue":{"value":"6436027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$BA017B7E-8F12-4E20-9F8D-4FEC835C9859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344624$C86AC5DA-C9B7-4C6F-83C4-30ACBA6660B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344624$1CA2A4DA-C692-4CBF-B50E-40A0D46E7FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8822e517623ef93cb782b4fa2dd26f502db9c44a","datavalue":{"value":"generalised realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344624$21BF943E-2EBD-40E7-8851-6073627544EA","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":"Q2344624$8A53C29A-3738-4E91-8704-6E30A380AC39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8362f905593a0066d4df74f53b7a7c8c8515aaf","datavalue":{"value":"W1987689608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$D952878F-FBBB-4BBB-83F4-A496B8BADD21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da73f76b6bfc84494ca2cb82fa33f8e416d9775a","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$BEF5918B-4443-427C-9CC1-40341007D0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323041d450c8be119127dcf747a7ea70b03a53fa","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$93BA6292-4393-45B1-B9F9-4A262EA4DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05811417c5ee1af827cc59c118b37886d2c8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5891131,"id":"Q5891131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$D639CA90-0F6E-479F-836B-F72566A3F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54891f86cbca57f8a8d1ce37326037a87c38a8e","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$01E6FE05-3E60-4E97-90BE-7684F4119EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$6AEC7CF1-84BE-47F6-8E55-8A53F35436C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$3AB22D92-037F-4943-951E-1649566EB85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d00faea8d391965b4e73225a490c177fb6948ff","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$57D07CA0-70A0-4C72-8512-2773C3BBF2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$83015A88-29E4-468B-973F-31E0AB2FE431","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":"Q2344624$030FDD20-4F88-4E38-809F-90EE63477DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da0cbae496ddbe6b2e3c3a687f33b6e77fb833a","datavalue":{"value":{"entity-type":"item","numeric-id":5659520,"id":"Q5659520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$50752B44-3C9C-4C03-9490-F98DA3C521EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9f17f6e274de37f6b4f47157fffc1375f6057a","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$D6A65F31-65EC-4C6E-9886-6AF471A61529","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":"Q2344624$6352D77D-5BD6-44F8-B3B3-1F47F3D0A13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebffbaf957cdf17571259395f86a4620d88c4598","datavalue":{"value":{"entity-type":"item","numeric-id":3671153,"id":"Q3671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344624$E85CCF4F-384A-4BBF-97B6-8ACBDA5B30D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00fa6de1984ae8073cc69bc7382a55b4bf6c94e6","datavalue":{"value":"10.1016/J.APAL.2015.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344624$1D59E7A5-3465-43C0-8F1D-3B26EDE4DA2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb616af9c4d1325aae416ff96c7caa6d92bc877","datavalue":{"value":{"entity-type":"item","numeric-id":5898861,"id":"Q5898861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f5cba276a1454d2d930dc0874d35d8cbaa4df7","datavalue":{"value":{"amount":"+0.7799451351165771","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":"Q2344624$BE4DB51E-4BC1-4288-83E9-B3E99230AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103bd4c9dd0bc95ae7a2aac812824b74dc5c8be","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0fc7e839ca1902ae28ddc7d6c55083f5275d85","datavalue":{"value":{"amount":"+0.7509363293647766","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":"Q2344624$F6C2DC86-9AF3-4DA3-B50D-53A3945433E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb7a6926b0fb3bc5f3e5873fa9c6bae846dbd6e","datavalue":{"value":{"amount":"+0.7490553855895996","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":"Q2344624$C2213F9F-7BA5-4348-ADEE-5EB1549B81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa971499527defc8c3c59ee2f05dd76d0fe0abf","datavalue":{"value":{"entity-type":"item","numeric-id":3146245,"id":"Q3146245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb7a6926b0fb3bc5f3e5873fa9c6bae846dbd6e","datavalue":{"value":{"amount":"+0.7490553855895996","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":"Q2344624$84403ADE-3C7D-4F7A-B238-4145DC26C94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e67b080f0d038da58295fad977676248862d99b","datavalue":{"value":{"entity-type":"item","numeric-id":5718693,"id":"Q5718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04a0c9724bae04db5f01b4e4b89c5c22d222431","datavalue":{"value":{"amount":"+0.7379475235939026","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":"Q2344624$55FB223A-F43B-4F41-BA6B-C4A02BAE62DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2344624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2344624"}}}}}