{"entities":{"Q5277975":{"pageid":7307550,"ns":120,"title":"Item:Q5277975","lastrevid":58518450,"modified":"2026-04-05T13:53:40Z","type":"item","id":"Q5277975","labels":{"en":{"language":"en","value":"On the structure of classical realizability models of ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744289"}},"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":"Q5277975$CA12F67F-A26C-4730-84DC-B9CB97783B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7402243f1b020e0fed9f7ac39b1f204d7fa0421c","datavalue":{"value":"1434.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$4F695110-975D-4DA8-AB39-9BCE85C194D0","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":"Q5277975$EA59F056-1420-43C1-ABD1-E4BB5595CAB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277975$951E41FC-E3BD-4C58-979E-6712900F61AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060cc076d1ac33ba233948d50f3667ac6f6d5bea","datavalue":{"value":"https://arxiv.org/abs/1408.1868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277975$59284F5A-DDB0-49FF-BB74-A2CB79E02769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$8A6724B5-8F14-462C-8CF3-79B66822F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$7CF22FD6-00A0-4680-A2F1-329BBC41B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$4395BE11-2927-4138-A073-41EAFFFEEE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$205CA391-A4E9-48A5-8E2A-0C33680B30A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2940200c6ba59493b851720e88bfcb4a36afaad4","datavalue":{"value":"6744289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$EE0FADB1-8C47-4F1E-BE36-FF6052B6A908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277975$187E8A3B-F3F4-465C-8E6B-073A425BB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277975$5598C169-E4D2-4BBE-BCEA-66DD3FA24F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277975$6FD1CBC8-D7A0-46FA-BFD8-BE4FBF764057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca2b5c737ee56fd946f97692aa845e7fcee555d","datavalue":{"value":"realizability models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277975$5BB19088-F4B3-449C-91B2-B8CD0AFAAA56","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":"Q5277975$4C58A242-2257-4D4E-B968-7BCD81F0C022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0983f4f72fb3dc8b199e83313b7304069c75fad5","datavalue":{"value":"10.4230/LIPICS.TYPES.2014.146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277975$EEFFA5D7-887D-4623-8BE5-3D49FB1116D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e607e33bd7ecccd85a381ad59d8fd4cb35996d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"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":"Q5277975$E8D43D74-1DEF-4833-81CC-57D421EAA797","rank":"normal"},{"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":"a658cf09d233ae1a0ee69d150f8157985308c1f7","datavalue":{"value":{"amount":"+0.8171546459197998","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":"Q5277975$E472E5A9-B1D4-4C0A-991D-6587E7B954D2","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":"41e2a8f3ff288b26c3000aa70541d27a46e4b273","datavalue":{"value":{"amount":"+0.784635603427887","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":"Q5277975$4580A464-A2F4-4202-BB3C-5712B86DC21D","rank":"normal"},{"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":"4b5507bcb113435cd7b1c201f53245d9bf5d61fe","datavalue":{"value":{"amount":"+0.7712599039077759","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":"Q5277975$9342FD43-6B2B-43CC-9200-20E7DCC87D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37c123f8259538725134b5a9f1e68fc35df7db0","datavalue":{"value":{"amount":"+0.7663887739181519","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":"Q5277975$E101D24B-6256-4B1A-8484-9F39B6C79050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277975"}}}}}