{"entities":{"Q1606917":{"pageid":1617657,"ns":120,"title":"Item:Q1606917","lastrevid":67975011,"modified":"2026-04-12T20:35:49Z","type":"item","id":"Q1606917","labels":{"en":{"language":"en","value":"Parametricity and variants of Girard's \\(J\\) operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771658"}},"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":"Q1606917$8582C78A-0E5E-491D-AFBB-B81EA7184FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd8d6ed074e3c05043aedc3ac83b66a3ec50c8f","datavalue":{"value":{"text":"Parametricity and variants of Girard's \\(J\\) operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606917$B15B7BD5-65FE-4B74-A86E-2BCB62147B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7862e6e4de3d76f162ab0811efc64e9d6c65f9b","datavalue":{"value":"1002.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606917$F043D2D0-0799-4382-9486-30346A0ED45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f5172815f9022d803b288c0c2cdff6d101c214","datavalue":{"value":"10.1016/S0020-0190(99)00036-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606917$97EEEE1C-9D5C-4FD4-8C23-EB61B752A395","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606917$2971F0D9-1662-4F1C-839E-EAC68693B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606917$6534A655-A04C-48C2-9DE9-10B3E4BAB343","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606917$8324B524-CF69-4564-9874-FED5051DF143","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606917$80B99BE1-35CD-42E0-BB00-261A940E5950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606917$3346A32E-0D45-4050-8BD9-5781F8903D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606917$76A7E348-8E7C-4FBC-AF02-2BD3D7DC8BC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9ead03c60ec46d3c595a1f3fd3f0b85ae0d0031","datavalue":{"value":"1771658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606917$4BB4F394-0DD5-4DFE-B085-3DEFA64D89BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef5ba4a59e08e0aa1e9616906d7caa64f6f47b","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606917$D56C7F76-7218-47E3-BFF7-2432F3EC7D86","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":"Q1606917$2D62008E-4372-4CF5-BE0C-6B9DE40ACD47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e70e3f13d0279eba32feece88ae22d43e403d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4877707,"id":"Q4877707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e89958436b08c49afe434ec8bd59cb4adc8e8d5","datavalue":{"value":{"amount":"+0.8532099","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":"Q1606917$0D6F98AF-D879-4508-9ED3-A4135F55CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeac2e0efa68766f8610f9bb904fed308da42ab","datavalue":{"value":{"entity-type":"item","numeric-id":4316706,"id":"Q4316706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cf69485d659de154e71e7fb80ed767359d82e6","datavalue":{"value":{"amount":"+0.85282695","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":"Q1606917$E09BDCA4-D877-431C-8495-D2ABAC5AF10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216a054df8a26106bcf1c7fbdc870c3070e24510","datavalue":{"value":{"entity-type":"item","numeric-id":3211743,"id":"Q3211743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53e87900bd867b9063b3fd6ec25a8adf8116086","datavalue":{"value":{"amount":"+0.8509504","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":"Q1606917$F0AA637C-E1FB-4042-823A-C7BD9C375C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dd96e536c56bb0e81257959ed806676512f910","datavalue":{"value":{"entity-type":"item","numeric-id":4341309,"id":"Q4341309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d5626b0f7670e26c74a44b20f588a3b597291a","datavalue":{"value":{"amount":"+0.8495737","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":"Q1606917$C4077546-C78A-43AC-B307-7BBC82D26757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a93ae0ec62b421c55103e365ce497e0f7c9799","datavalue":{"value":{"entity-type":"item","numeric-id":2169726,"id":"Q2169726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0aa6b5b57bfd251f9938c76ec4cf20dc622cd8a","datavalue":{"value":{"amount":"+0.8491737","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":"Q1606917$2B066DA1-D4D5-4C23-882A-F3ED1EDBBB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d9336042bf7be70353054f42f9beec9d059a40","datavalue":{"value":{"entity-type":"item","numeric-id":4879649,"id":"Q4879649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707e9d5c0290f5b8836637df45c9a4572a514555","datavalue":{"value":{"amount":"+0.8404566","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":"Q1606917$3FBAED2A-EC3C-4BF2-956D-E3E57F7A8340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab479e97ade033bfdf39922afb4267829f5bc16","datavalue":{"value":{"entity-type":"item","numeric-id":4837535,"id":"Q4837535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4558a7ca5b27ead60f8f17ab0733712df379a04e","datavalue":{"value":{"amount":"+0.83930206","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":"Q1606917$0E114922-5237-43A6-9E30-94792F91A8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3759ce4d46ba73f49516f0bd29944e75583e39f0","datavalue":{"value":{"entity-type":"item","numeric-id":3705718,"id":"Q3705718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6185832a5ddacddaa53dcad73c977da56bce65","datavalue":{"value":{"amount":"+0.8389658","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":"Q1606917$A9E831A6-4288-42E1-A11A-C3C7BCD6CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eed7cd27a3b41be85b46a46d44c4652a80fc326","datavalue":{"value":{"entity-type":"item","numeric-id":5228037,"id":"Q5228037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fbae0ded1529599f4394b2084d8cca4f61c197","datavalue":{"value":{"amount":"+0.8381968","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":"Q1606917$E736F692-A337-40DD-9F1D-B973F1327346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44985f9d35c42328a54cc4e861a376eed4dcdc1","datavalue":{"value":{"entity-type":"item","numeric-id":669326,"id":"Q669326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15117f838c55f57b3d2eecb8eff371ad3e86bd3e","datavalue":{"value":{"amount":"+0.83702487","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":"Q1606917$ACBE7BFB-15AE-4D69-8575-ADD519008615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametricity and variants of Girard's \\(J\\) operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametricity_and_variants_of_Girard%27s_%5C(J%5C)_operator"}}}}}