{"entities":{"Q1107514":{"pageid":1118263,"ns":120,"title":"Item:Q1107514","lastrevid":69659295,"modified":"2026-04-13T08:31:30Z","type":"item","id":"Q1107514","labels":{"en":{"language":"en","value":"A quantitative interpretation of Girard's System F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4064957"}},"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":"Q1107514$AF2C0045-A1B8-403E-9DDE-1843D4F46EED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ea14e26002b767f30bec2e3e7d8110cdb12cab6","datavalue":{"value":{"text":"A quantitative interpretation of Girard's System F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107514$52B45763-525D-46B3-A2E1-DC118C690675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69d20aab9bb043bcf8ba365499d3a93fd2df4b65","datavalue":{"value":"0653.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$01EAFB92-4E3B-4F2E-8D0B-8D557C938435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30be02ca5311d53c3d5e7635c7f03b2e61efde4d","datavalue":{"value":"10.1016/0304-3975(88)90137-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$357711E4-B5F7-493F-98AB-858216A9EDCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65a5c9d75f7fb0539c49ee3bba1db3d49a046bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1107513,"id":"Q1107513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$66E501DB-292C-4AEE-BC0F-8F5D340546AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$08242B71-1E01-45D9-A810-A87E0E411D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1107514$3A59444E-AB15-4C71-BCE1-DEB0CD45A40A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"792a4da8f264c1012ba0967af20605df44cb5331","datavalue":{"value":"The paper presents a quantitative model of Girard's system F of variable types. The model allows for counting multiplicities and no inner compatibility between the states is required. The quantitative lambda- structures provide a model which can also describe nondeterminism within the system of variable types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107514$9E5A3D1F-C088-41CC-8BE5-16309796ED38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$06AA8D72-F2A1-49E7-BFE5-30A388B1AC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$C7B94126-35F1-4264-8EF5-73B8A76CFFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29b1056afdb921dc2a19a827b50f0e9331744ac2","datavalue":{"value":"4064957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$60E72864-44B6-4D28-8EE3-F33F951CE7B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1980d20f5eebb3a0af46ee13fedc4aef06c2e61d","datavalue":{"value":"quantitative interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107514$0B1A9EB4-3E19-419A-AA14-42B59DA68F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c5cebecb24386027548de577f3f88d0ce211f2","datavalue":{"value":"Girard's System F of variable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107514$E240DAA6-9275-41CA-B5B5-03B7F9284812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6169749d48415049024d6430e94ab74b5cb8c011","datavalue":{"value":"quantitative lambda-structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107514$A53F9798-898F-454E-8E47-80782564E02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107514$C2C3DA0F-2B17-4630-B2D7-576212E84EF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$644883A3-127A-4748-944B-0B725AF2BAD5","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":"Q1107514$10E77447-6046-4C28-8939-49D9AB5C1567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fd36ffeba750bc168f4a587c9d2809d63599a4e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90137-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107514$FE8D93D3-47FA-48CC-BEDC-357519037A10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7f466f4158ae3dab8d98ebc674f4c960d276997","datavalue":{"value":"W2001276519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107514$D449D336-49C6-4234-87A7-E503EB01AAB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$61D1A663-3BE3-4A09-990E-992DFC0CE7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$B96B3F0D-DCB0-43D8-8045-7E802AEC44C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4e97477fb60699ad6f2ad7e7573d3620ffe5d7","datavalue":{"value":{"entity-type":"item","numeric-id":3666249,"id":"Q3666249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$C2253481-E448-4CD9-807C-D1050E178242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$7E9A4A01-76E0-409C-89B2-0A6A1722969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107514$E74905FD-69F2-4D53-93F3-4EFF9FC12C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005c1bccae0486124885bc970e828d6a17fe9cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fede847c07c072a3fd878b06663ebc4e689816a2","datavalue":{"value":{"amount":"+0.7849147319793701","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":"Q1107514$42E13377-43C0-4D54-B939-D081ED073AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca04f46d441aca9cfcc996f161154a8fee651d92","datavalue":{"value":{"amount":"+0.7225958704948425","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":"Q1107514$D9A4803D-1069-4312-A315-80EF7114669D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21b136084adb6cbb8130b5bff084acf2421a797","datavalue":{"value":{"entity-type":"item","numeric-id":3824315,"id":"Q3824315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b31e99444108ea0fdeb6541461f263586a9b0c","datavalue":{"value":{"amount":"+0.7195910215377808","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":"Q1107514$9C909C44-93D0-4F8A-B088-1E73556D4B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bbaf4ac62c9219d9eff9a0184957908b903405","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a3aeda0db010901f64cde0834589f6e9ba0f8b","datavalue":{"value":{"amount":"+0.7122049331665039","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":"Q1107514$912556BE-009F-4D05-A113-1BCFA5B0CDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38ffbd53139e25f2db31096b12daad1aba6fef0","datavalue":{"value":{"entity-type":"item","numeric-id":1826624,"id":"Q1826624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39131df87c18fe0bdcf211b70cb787864280cc12","datavalue":{"value":{"amount":"+0.7099997401237488","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":"Q1107514$A9C756CC-5233-4BB5-A131-2725FAC5B732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quantitative interpretation of Girard's System F","badges":[]}}}}}