{"entities":{"Q4008758":{"pageid":6038564,"ns":120,"title":"Item:Q4008758","lastrevid":87955955,"modified":"2026-06-04T13:15:48Z","type":"item","id":"Q4008758","labels":{"en":{"language":"en","value":"Lambek's categorical proof theory and L\u00e4uchli's abstract realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63187"}},"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":"Q4008758$C73354EC-65BF-4165-AEED-D86746182953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2327bb87ab886a452e048886666095a6ce401ec5","datavalue":{"value":{"text":"Lambek's categorical proof theory and L\u00e4uchli's abstract realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4008758$C8F15D02-6199-45DE-BF29-415783EE1E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdc57330d2e0e0c8edeed10c73dfead1b79a4ff0","datavalue":{"value":"0765.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$71D989ED-7F6E-4BBE-97B1-B5919080348E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b2358837297253630bbb39ccce3520ed9721fc3","datavalue":{"value":"10.2307/2275186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$90A55EDB-CFD2-4ED5-8D54-F0F2E978EC79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff352d8d8a83aecc1a17089bf4456a0f5daa2ad","datavalue":{"value":{"entity-type":"item","numeric-id":580326,"id":"Q580326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$2372D6C2-5865-43CF-A080-2F41CC13799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$EEEF6430-8B0E-4577-8A7A-E971F67CC6C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$11C12941-5F04-4080-B67D-0DF8538E5E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4008758$556DFA59-D952-4A36-BCB2-70F358D9FA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$1AA48C05-063F-4C4B-83E8-0F03C95D85C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$6A4B1609-425A-4A81-AEE7-A4348E963D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e61858846e9752d0b7d4a9dd8449e4057033188d","datavalue":{"value":"63187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$093736BA-8EDD-4316-BA69-779111D2A0D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13250d4b7a599a0ac146860ef7205e37618856d","datavalue":{"value":"introduction to categorical proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008758$ABF9BCD0-9DD4-4458-A7EA-C7817076E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e951512a0dc01984832295ab8143e85176e54509","datavalue":{"value":"abstract realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008758$C8091662-E372-4998-AE9C-FA17E5E0861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008758$4E8E34ED-A90A-489B-93A9-960FA881E4EE","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":"Q4008758$BFA112ED-A934-45EA-9DEA-15CAB9CE22DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a675ee932efa64f4622cc54ec10bb6b2f1e56683","datavalue":{"value":"https://doi.org/10.2307/2275186","type":"string"},"datatype":"url"},"type":"statement","id":"Q4008758$13F87570-E1DE-46A6-9970-4763061EE0E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8bcbba8c2e8857c8bc0a73f5e9f713850d9e679","datavalue":{"value":"W2029971057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008758$B7D36AC8-1F36-4F96-B135-3CB7C0002176","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$F355042C-C646-471C-B7BA-3B6843425044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$20F3AFFA-381D-46F8-BEF6-059C623D3854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$8F333F1A-3846-46F8-BB28-76A66DE62A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$84FA707E-C8A3-4D2A-85BD-9FA8DBBC4AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$0ABA5CEA-BCF7-4737-9EDE-05E0DE5D308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9804d92f6149f21a700c6190a20112dc10a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":1137631,"id":"Q1137631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$CE0B25FF-C060-492D-A1B7-6A7755AC96D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$D161AF18-F0BB-4F95-98A1-F45908D7ACB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008758$29A9DD63-3184-4CE2-8CE3-D58676BD46CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2d6a22da579c1d4fbf32c42a0633df44845d9","datavalue":{"value":{"entity-type":"item","numeric-id":5957852,"id":"Q5957852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bbf10a87def8d3feb7cba53d77c0ef64b330c7","datavalue":{"value":{"amount":"+0.8025131821632385","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":"Q4008758$CF808707-F4DF-4081-B671-B69228AE6D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6a3f01b5d79b4d924763dc4e6773730eac4904","datavalue":{"value":{"amount":"+0.7838108539581299","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":"Q4008758$17AE8C3B-20B2-47A2-B50D-15129D28A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af1c605a66afe7276fce5add40651b3122f883","datavalue":{"value":{"entity-type":"item","numeric-id":1317969,"id":"Q1317969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32a94df4ec45d53377d14628dbe79bf51ec0509","datavalue":{"value":{"amount":"+0.7691164612770081","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":"Q4008758$586687E5-0327-4FCE-B265-D300961700F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc857418e348f60f0cc237b1d60472ce957f6fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4463988,"id":"Q4463988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32a94df4ec45d53377d14628dbe79bf51ec0509","datavalue":{"value":{"amount":"+0.7691164612770081","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":"Q4008758$77E2FED4-28B8-45DF-8FB4-515DC49331F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110d686c78710c35fb6bf7f3f575cbb0884931aa","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68762a201847439e20ee096b41604da120ac266","datavalue":{"value":{"amount":"+0.7579014301300049","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":"Q4008758$D6514AF5-FE6B-4DDF-BD92-93E7B56AD32E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambek's categorical proof theory and L\u00e4uchli's abstract realizability","badges":[]}}}}}