{"entities":{"Q651324":{"pageid":653173,"ns":120,"title":"Item:Q651324","lastrevid":63324273,"modified":"2026-04-11T12:06:15Z","type":"item","id":"Q651324","labels":{"en":{"language":"en","value":"Generalizing realizability and Heyting models for constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987971"}},"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":"Q651324$A6C86201-D9CD-4B34-9684-3ADC0F061A65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7edae0fcddf44b7b679d7f316da4d4e95612c84","datavalue":{"value":{"text":"Generalizing realizability and Heyting models for constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651324$280350C4-78BD-4F2C-9552-19AA58981B66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a54a8994245b383b139536e55f14fe854769e6","datavalue":{"value":"1267.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$E3605F6F-A1BA-4D76-9075-9647FB6537DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b522f7dd94da436087871e649f7a8a3cd1240fc0","datavalue":{"value":{"entity-type":"item","numeric-id":651323,"id":"Q651323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$B1E47627-9F36-41F2-B8B8-89D3EC4E70CB","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":"Q651324$E9CCE492-0018-46FA-9801-4472E8CBF499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c499612d352adb9bf630a964e4498c3cb854f6a","datavalue":{"value":{"time":"+2011-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651324$3ACC0FE0-FA6E-426B-8EAD-4CF74A9BA001","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a232b73e2cf775035a212cd35bedee8d17d775a3","datavalue":{"value":"Is there a common generalization of Heyting models and realizability models for the case of predicative constructive set theory CZF? As is well known, CZF includes the axioms of empty set, extensionality, pairing union, strong infinity, bounded separation, strong collection, subset collection. The main result of this interesting paper is to offer a positive solution to the problem, by introducing in Section 2 the notion of applicative topology. Roughly, an applicative topology consists of a pair of structures, that is: (i) a formal topology \\(S\\) which is a poset with a covering relation; (ii) a subset \\(\\nabla\\) of \\(S\\) which essentially forms a partial combinatory algebra, where the equality relation is approximated by the covering relation. The core of the paper is Section 3: there a realizability universe \\(V(S)\\) is inductively generated -- provably in CZF -- which crucially depends on the applicative topology \\(S\\); if \\(e \\in S\\), this allows one to define the relation \\(e \\Vdash\\varphi\\), which makes use of the covering relation \\(\\triangleleft\\). Subsequently, the author shows that the realized formulas are closed under intuitionistic logical deducibility (Theorem 2), while the main theorem asserts that all CZF-axioms are realized. The proof requires the verification of suitable lemmata (3 through 6), the most difficult steps being those dealing with strong collection and subset collection. In addition to more efficient proofs of results that are accessible via Rathjen's realizability method, the author states in the conclusive section that his own method yields additional interesting results, e.g., that realizability with applicative topologies allows one to check the absoluteness of the so-called regular extension axiom REA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$D7C05E2D-4336-4C57-87A1-CA6523584B9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5634ed46a52c7680a2cf61c8cfb118a9c5e1d936","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$8C051006-56E5-439B-89C0-191811E1CFD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$AAC1A5D3-F7CE-4B7A-9A55-8E773A7172BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$B2E1C0CC-60E0-488A-A4E7-7CD8197721E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$BE887653-0B8F-419E-8477-A72BF62FB02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$DD01C718-F44A-4BED-9178-0F0653506B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$BE598A16-9361-4C13-892D-F5F61F6740D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"075309da500c16b9b27cd363f85848f79e1349ba","datavalue":{"value":"5987971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$ADD77C14-8ACA-49DD-B63A-90293E105733","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$9248CC8E-4364-43A2-BFC6-D8B42D289815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121c0e7c8eadf27528909a6de22bd2bbe83a6f6d","datavalue":{"value":"CZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$7259CD3F-65F7-4FB6-A085-9EB30A77D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$6A8BF29C-0BC1-45F2-AF6D-400DF5C69B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653da115143ddcef1d20a493e0ce12911736a376","datavalue":{"value":"Heyting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$4EC72456-FFFE-4131-BC6D-6EDD7A7A1CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$98875FC3-4AFA-4200-9F49-87CA007E9769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f5aaa8ff3a0b7c104204f559272decabeb95e2","datavalue":{"value":"applicative topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q651324$FD58A39E-A76B-406B-8BE9-CC9F97846FDD","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":"Q651324$2416C706-90C2-4E7A-9B24-25B69C6CD893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65297c6c84e41cfb9bf3a248b4f278feef60d576","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.06.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q651324$45766B09-A136-49C2-8091-358A7104BD52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b61704c670efb499ef60f4852fb44fe79890228","datavalue":{"value":"W2032794985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$FEC4ACD4-3384-4C30-BD4C-8BA8A2BBA348","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$CEFD12F1-0C86-45EA-A55F-B28C0F730CC1","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":"Q651324$A18CE42C-EF48-494E-9320-84F6587698E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb968eee2def3bd19a576e8c6ba5dfffc39154","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$BA9C96BB-F725-4F44-BA69-55F0F7CFC5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$485D13AC-D59E-44D4-8FCB-7689F2F33FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$B4E2DC23-D0EA-4FE0-8D4D-7385C2943571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$42B61306-9953-43EF-B49C-9D8AC959987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d831d0361c8f7ce222d772611431eca23123669","datavalue":{"value":{"entity-type":"item","numeric-id":4010362,"id":"Q4010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$D9426099-AE64-4FB0-9BC3-274273174198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$8EBE24CB-5F7F-4E55-A519-1A11AA00E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$4A5B567E-CD2B-46C6-969C-0F24A6EF4B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$8C8BD09E-98F8-45D4-8667-125FFC51114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8335c4d9cfa350e9089d9fe819cf6cedcbfdd0","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651324$9D2BC6CB-FF09-4066-9EFA-6C98695DE41E","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":"Q651324$0F7767A5-33A0-48B7-99E8-96D8A7D752CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c22a553d08ce0c936aafc1d87d5068fa2c258ca","datavalue":{"value":"10.1016/J.APAL.2011.06.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651324$DEA62272-A22F-4C1E-BD97-81A5396A77CE","rank":"normal"}],"P1643":[{"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":"396f03d2333d72c1457be218cb99ae655b570a33","datavalue":{"value":{"amount":"+0.9226632","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":"Q651324$D29EE364-5D17-4651-9E5B-E5C4A5A0BEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0385868f50fd2c9ab1e92bbf2e229a409f9d72ec","datavalue":{"value":{"entity-type":"item","numeric-id":2403574,"id":"Q2403574"},"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":"Q651324$3AAF2397-5337-40B5-8E5D-41432210D6A3","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":"14d2797069f91329c3131ec4ca8ca32975576784","datavalue":{"value":{"amount":"+0.9131423","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":"Q651324$A130EB12-C063-4094-A466-F660CC5990A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058ff2953fc9a277810313515d4a6bab075c9984","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777ce75184eb72f2e5992f1c57e6729db11e8bcf","datavalue":{"value":{"amount":"+0.9074809","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":"Q651324$CEDC3CAD-4CE7-49C1-AC30-F2C3854898D2","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":"3566457d8c7ae4f637343295d92aa0e969cf26d4","datavalue":{"value":{"amount":"+0.90620357","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":"Q651324$EA7E5DF8-5CD6-4639-89B4-F4D27877CFB1","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":"6ff4808f382ca301d772c9220b330be048a34593","datavalue":{"value":{"amount":"+0.90116894","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":"Q651324$4C5E0069-EF07-46AD-96FE-A4AF3A8B9EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b811cf4c0cb2dac863c6cb610bcaac1301e3ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ba6b414a2ace45d00edde8ea38af210f50c607","datavalue":{"value":{"amount":"+0.89794314","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":"Q651324$9185C4C0-2065-4699-857C-D58B83B8AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c2eca8b57c9084a4918332c184ab71d90172ee","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0422b3c2c7d503a465f3d81d2b64291e5dc62d3a","datavalue":{"value":{"amount":"+0.89690596","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":"Q651324$CA61ED6D-D188-49AC-B34A-3EF7A9029678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c7278bfe50cba94c119e945b5bb3a359f5831","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9160912163d70b29f3200a292a792f5791e3a6d5","datavalue":{"value":{"amount":"+0.89604485","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":"Q651324$045513B7-261E-497D-94FA-0D0CBC1C06AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db462fc5791bf69359bedea0a6db74a40abe68e6","datavalue":{"value":{"entity-type":"item","numeric-id":2344624,"id":"Q2344624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf663c8276e792feddead3e77de3f34001f36a50","datavalue":{"value":{"amount":"+0.89593214","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":"Q651324$59C2CBEE-FB42-4D76-B616-5B4814AF1BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing realizability and Heyting models for constructive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_realizability_and_Heyting_models_for_constructive_set_theory"}}}}}