{"entities":{"Q1893735":{"pageid":1904477,"ns":120,"title":"Item:Q1893735","lastrevid":71087967,"modified":"2026-04-13T19:24:02Z","type":"item","id":"Q1893735","labels":{"en":{"language":"en","value":"Second order isomorphic types: A proof theoretic study on second order \\(\\lambda\\)-calculus with surjective pairing and terminal object"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 772336"}},"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":"Q1893735$C1B4763A-D681-457D-9C80-FC457A1DC1D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d0525de5424991d4a00a2dc98e604603b676dfd","datavalue":{"value":{"text":"Second order isomorphic types: A proof theoretic study on second order \\(\\lambda\\)-calculus with surjective pairing and terminal object","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893735$1BE368C2-62FA-4D3C-905D-1AFA8F50228F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203cf24bf675c98de6f2fa28109a3559c8fb3ee3","datavalue":{"value":"0832.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$E8A038D7-A060-468C-B10F-35DAE117ADD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893735$1127CEEC-C43D-438C-8538-AFF563ED64A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893735$F850E02E-F24B-4885-83CA-F41B46340E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e89868b1c268f0defa51f67a4a63561a369e84","datavalue":{"value":{"time":"+1995-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893735$9841250E-0A89-48C3-97DC-EA45D2444D22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$38508F98-DA7E-4A53-9E8F-20FBAB42CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$D909ABEA-A88D-4014-AA82-FBB949D378A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b54ccb05dd7703c60a5d8f87273e2c04e9784d","datavalue":{"value":"772336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$28E79B92-E308-4B71-8BE8-DC104FF69EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0639934baf2f5a058f954e4e6e0348a784e01631","datavalue":{"value":"second order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893735$A8C1F577-20F4-44ED-892C-A95706C1569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893735$91E7BC19-92E0-44A3-A0D9-FC11C5BDD30F","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":"Q1893735$91AF8EC1-1720-4AD5-8613-76E8192EF4D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd26c7e8026b993b4fa144a21bcb4fc211d5c6f","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1085","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893735$58B80C38-ECA2-4B4D-9E11-E5302F76B858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30eb5384133cf0ef55912cfeb8a590718eab24de","datavalue":{"value":"W1999472136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$4C14F930-47E8-47D5-9C2F-F67FF62CDD77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d067c3044f0f9dfc8973a2e97299ce25bbf0ec3a","datavalue":{"value":"10.1006/INCO.1995.1085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893735$C5B89418-D3A1-47F3-85A3-9E73D50CF3DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1639f9f3ed14de924971e84122c8f9d2e25b5d","datavalue":{"value":{"amount":"+0.89474934","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":"Q1893735$6EB67CE9-81B4-42F8-9AE6-02799B36F986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8d33a70cc87972a5377e21500222acf205d13","datavalue":{"value":{"entity-type":"item","numeric-id":1073008,"id":"Q1073008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213c442f804ba17bcc24ea1dccff650a6707ff58","datavalue":{"value":{"amount":"+0.8869872","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":"Q1893735$309979F9-FD93-4B0C-84E8-EF0DFB268A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b89132ff8e09967e43676e0c8b9b2aeb506dede","datavalue":{"value":{"entity-type":"item","numeric-id":2474443,"id":"Q2474443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d75e79b4f4921bb5378519e2457bf8c49252f9","datavalue":{"value":{"amount":"+0.8729999","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":"Q1893735$C593C696-C4D8-4966-88FB-3E5B1FF24CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8229812205923f3038d4c36c96cd103bf2940b","datavalue":{"value":{"entity-type":"item","numeric-id":1238797,"id":"Q1238797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd75ad6d52bbdd8ae5d42a5e359499f77d32cb4","datavalue":{"value":{"amount":"+0.86970794","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":"Q1893735$62A5BAEB-73AA-4B34-8F87-0ADF8836FEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f73781220a078ccd8c80092e662d084531b7eb","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df6ecb27802d09f7863a3be1def569d97d8da44","datavalue":{"value":{"amount":"+0.86735153","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":"Q1893735$4D32AC08-1699-4F24-9092-779FE10948E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ddc27e400e1d79f8de31cb38a2e81546e0a52a","datavalue":{"value":{"entity-type":"item","numeric-id":4946629,"id":"Q4946629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a9ee3b805937a0ad03383ea1d0956298dcc893","datavalue":{"value":{"amount":"+0.8667373","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":"Q1893735$759252E2-EDAF-44B4-84ED-0079B48BECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ef2029b24f95b26a5ec932ba4a6767ab4ee3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63d73c45899bc053f8f007574983e6f774c42e5","datavalue":{"value":{"amount":"+0.8648346","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":"Q1893735$011E296C-6005-4F13-AFE5-7C35AA1A77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cea5ad7f28fa0259edd7330e429b90199a5a897","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c6b26ac97b0390a68f3d0c943b5f79db8a83e9","datavalue":{"value":{"amount":"+0.859585","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":"Q1893735$1B2BFB14-F49B-4CB4-B5F8-1D59B6D10A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f270c12737ffe577c5e63e57277fc1b5c6eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4362916,"id":"Q4362916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b72e49fffa5edf5a8274b0eb3e687011662385","datavalue":{"value":{"amount":"+0.85956514","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":"Q1893735$CE666877-22D7-45DB-A698-4A6E391A4CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09368306c08877f9229e8b697750eab81dbcd98","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880c052c6a9f14c81cf1e058483bae808bedbb95","datavalue":{"value":{"amount":"+0.8578963","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":"Q1893735$B8AFB899-5220-4743-BDB8-938216DF0EFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second order isomorphic types: A proof theoretic study on second order \\(\\lambda\\)-calculus with surjective pairing and terminal object","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Second_order_isomorphic_types:_A_proof_theoretic_study_on_second_order_%5C(%5Clambda%5C)-calculus_with_surjective_pairing_and_terminal_object"}}}}}