{"entities":{"Q2881077":{"pageid":2891797,"ns":120,"title":"Item:Q2881077","lastrevid":58040805,"modified":"2026-04-03T13:55:16Z","type":"item","id":"Q2881077","labels":{"en":{"language":"en","value":"Realizability algebras. II: New models of \\(\\mathrm{ZF} + \\mathrm{DC}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021327"}},"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":"Q2881077$27CA96C1-19BD-4AE4-B2B9-7B4EFF034D57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f510fa22194a0995786f5cd2aef791641ec99705","datavalue":{"value":"1239.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$512A9A16-EF5E-4BB1-B132-93EA5EEF3BEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f4ef243cb4bfef1c7eb2823f60aa536e94b862","datavalue":{"value":"10.2168/LMCS-8(1:10)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$72A39315-51E6-418A-B606-93D6FB3CB4BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881077$451322A9-476A-4254-82EF-3B43444ED6D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881077$813C1013-8E22-4E00-A906-227839FD0A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881077$813D3818-43DA-4435-B084-B6D33AD48477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef7443f05758b4342e7a91fcb8cf615cc01aa5e","datavalue":{"value":"https://arxiv.org/abs/1007.0825","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881077$5AC245C2-8FC9-40D9-8706-CD7BD0E519BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$D7493376-D6F5-4E8B-8213-EEBE64EB4604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$3D7B68B6-3898-4864-A316-5B3B55A4E057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$DEC16EF9-1467-46F6-9099-1F0099597DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$F9F3AE59-DF16-429A-BDAC-2977BB431BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3f2a56f226616f663dfbfca488088c8410d275","datavalue":{"value":"6021327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881077$47A8D2DC-268C-4D50-AB37-BE5C14092EE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$C850C551-D7EF-4B96-A16C-BC275430F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$1D9AA65F-9626-4F1C-80BE-BC7D7ED87932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$10E74FF4-3C3D-472E-83DE-2B1A3F1D1D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$1C854769-467E-4347-954C-6591B1AD8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$C21F6801-A028-4678-A4AF-C7E3D32CD77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881077$C0C2F987-271D-463C-9624-C0CF537DBA7B","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":"Q2881077$DD253494-5D6A-4657-BC3D-A653028AE4D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a511e67a553ab3bbe7bc65985c5c411bf7979c","datavalue":{"value":{"text":"Realizability algebras. II: New models of \\(\\mathrm{ZF} + \\mathrm{DC}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881077$1E9AA6D6-DCE6-46A5-B9C0-C632C886E0C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9244541800b44a4ac672899f4d91ac4fd040dbe","datavalue":{"value":{"entity-type":"item","numeric-id":4599612,"id":"Q4599612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd08ba348b843ee6a6cd00d1a05b7a8743e0f04b","datavalue":{"value":{"amount":"+0.9095085263252258","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":"Q2881077$F0E55BCF-5A65-4FB0-9FB3-C17B8E46B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085c8b493a54e3301ecacda6c1b26197aa9f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9c8342ab1640557f255277acffcc9c9fa358af","datavalue":{"value":{"amount":"+0.8263894319534302","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":"Q2881077$3B956948-1D05-4925-84DC-86638E10D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1af702972fd1a3a08f0f0a8b1a1713e04600505","datavalue":{"value":{"entity-type":"item","numeric-id":3224668,"id":"Q3224668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e057f1f0c0e04aa51f1b733c56ae478e719dfe1","datavalue":{"value":{"amount":"+0.7966916561126709","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":"Q2881077$52BE0DF8-37FF-402B-B13C-51D36589D45A","rank":"normal"},{"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":"60531409166b4fe673b6d9cfa34be2ea83556d92","datavalue":{"value":{"amount":"+0.7540928721427917","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":"Q2881077$BFE8BBC3-321F-440B-A18F-A53CD93F2369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4067ae2d880ffb4902c82352ef360606ffb0321","datavalue":{"value":{"entity-type":"item","numeric-id":5858930,"id":"Q5858930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80580c5995c9eace3373682f95f72b0585720da","datavalue":{"value":{"amount":"+0.7263695001602173","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":"Q2881077$A4651379-606A-42C1-809D-08C927F23878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881077"}}}}}