{"entities":{"Q1356980":{"pageid":1367719,"ns":120,"title":"Item:Q1356980","lastrevid":68700786,"modified":"2026-04-13T01:31:50Z","type":"item","id":"Q1356980","labels":{"en":{"language":"en","value":"Extensional realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022206"}},"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":"Q1356980$E3B238B6-65E4-4E9C-A560-7E4B9861E8AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec000a54ec842b4471b7769fab6eec13784860e2","datavalue":{"value":{"text":"Extensional realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356980$38963F43-34C5-4CD4-89B9-9FFC14135F46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e35d6f9f175be526b7851ce1621ae37b93cdcd","datavalue":{"value":"0882.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$DD133EA7-26BC-45AA-AD92-B43AD0919DFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49b0a53ad4055d60c370e7083a8513973f13a9ae","datavalue":{"value":"10.1016/S0168-0072(96)00050-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$0C377188-FD31-4C47-BC1B-EF6D6CA9BA67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$7902C84E-2FEA-4CDF-ABDE-FFCB6CB25F42","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":"Q1356980$6646AC1E-5E90-4107-9ECE-2A97E6B11ED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356980$6FC64799-9907-4698-B846-9A36F6C567D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$068E3F5A-A1AC-49A4-B430-89E537F9D6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$E866E242-20FC-4AD8-82AD-74CBE55EC0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$5377CC69-DCCC-4B8B-89F9-377AB06BDDF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bceff056bc72db30cc3fa1934788256567ef55d","datavalue":{"value":"1022206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$195E05F9-C261-4C0B-B384-2AF803449B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6f6e67ee5e792487516ab5a5c3e9493e62d8c4","datavalue":{"value":"extensional realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356980$8E411828-ADD7-4F64-990A-901204EB2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356980$2CD759C5-7D48-466D-930C-095FA859153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e687aee8ea1bcdfbcbcc467d881094668d00b492","datavalue":{"value":"Kleene's realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356980$76D988BE-117B-474C-B1D0-8A29FC760CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356980$F1C0AAA5-DC3A-482D-BB36-50587E6353E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3960d9df7c8ab42460179c7cb0ec2de2bbd8a86c","datavalue":{"value":"realizability toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356980$5DE55544-0D7E-4279-9401-7B42C56A875C","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":"Q1356980$0DF4406A-7990-4121-ACE6-55E51D748704","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$C6D1E786-8265-46DF-BFA3-10E58EE6DA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$79B63722-10B7-4162-ACE5-8B9D7CD58D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$B893A032-F485-4627-9EFA-5519C4EB5D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$F69387F4-E61A-499C-BE0E-D345E43D4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231698d7227e366d9fe674d764042c9f593bc35c","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$0058B549-492C-4349-85EE-69137FC90EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24474cd7886e2ed9ca6e569e2979bab3a3666c29","datavalue":{"value":{"entity-type":"item","numeric-id":3875927,"id":"Q3875927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$7D8D2285-6819-4FB5-A1B5-4AD003D8FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$87C708D5-59A8-4314-8A6A-4B748AC5BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa21a0c57b5a9a536102fe0927c329ec18c1639","datavalue":{"value":{"entity-type":"item","numeric-id":3866268,"id":"Q3866268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$9F169F20-9933-43C8-9F5B-D8300E187071","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":"Q1356980$3CEDED11-CC8D-44C5-A2E8-B1F95BDA7710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$DB00165F-3B90-411C-8624-7318DEA53A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$AF96C611-C80B-4BCC-82CD-A9F58C66ECB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322310320fb601f7d9dc0d0e584af8d3c603aa99","datavalue":{"value":{"entity-type":"item","numeric-id":753810,"id":"Q753810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$41855D66-BCE3-4A27-9F58-9F9FEBE87016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$F7975D5A-A7D0-458B-846C-95A01BEA95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35b4d42cd9800c18a607f9bb8c03bfe75c1fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5633977,"id":"Q5633977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$EDD9867F-684C-4EB6-A378-B1928BAC936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f1c40bcd9da2db7fb9df2cb404605273e31214","datavalue":{"value":{"entity-type":"item","numeric-id":4145690,"id":"Q4145690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$8BF56723-7728-43E6-AA81-95317E50924F","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":"Q1356980$F1AC17BB-B290-4E8F-8801-9E373A8D95E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$3DF9D13B-DEE7-4181-AA7C-79A58AFAA46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b031ebd66b7733c40e71837264a8724e96c91a0","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356980$154F04B8-2F59-49A4-9B75-FC406805CB78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8032f5fe6b3066f9e3356cd50eadca337733b566","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00050-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1356980$4A67AFF9-F5CC-49A4-9054-BDDDCD9A92F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7820c515a42880ead2f1d04214c5833db585ed9","datavalue":{"value":"W4212893402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356980$24F8E781-6210-40C5-8129-AE46E4156315","rank":"normal"}],"P1643":[{"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":"cca4289bbe294d726f68a0cb3383c3398000cad6","datavalue":{"value":{"amount":"+0.824898898601532","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":"Q1356980$F5AD3B40-CFCA-4CE1-A846-93D911AB0383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7929418949f820d3cf163aeee9d31a53e7b570","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e47fb0b4078ac0da8140aafe4439f6c097148f","datavalue":{"value":{"amount":"+0.8239583373069763","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":"Q1356980$46CB4A98-B373-418C-B576-D65EB94F40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b4a7e9d693e4e154cd9883182e1c2cb2f98f66","datavalue":{"value":{"amount":"+0.8005321025848389","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":"Q1356980$47EB3345-2469-4451-938F-7BA295AD4FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensional realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensional_realizability"}}}}}