{"entities":{"Q5408563":{"pageid":7438137,"ns":120,"title":"Item:Q5408563","lastrevid":51972569,"modified":"2026-01-20T16:11:41Z","type":"item","id":"Q5408563","labels":{"en":{"language":"en","value":"Practical affine types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282624"}},"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":"Q5408563$101413B6-38F7-4C66-85D2-D10789CB574E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"749b112264e8f63e180327df9ca150ec8a80cc29","datavalue":{"value":{"text":"Practical affine types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408563$3DE41619-0A6D-4364-841B-9BFBAE704713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"409c53190125fc3c11adb00785eae581c767c9d0","datavalue":{"value":"1284.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$16156F95-5F60-4F5E-9649-60021C701728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e223b45aa17be93bd7af2b15d8302c2c151a75f8","datavalue":{"value":"10.1145/1926385.1926436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$ACA6865F-EE27-4FF9-9D8C-88330322371D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"155d3cbc9c3608e702dfe813d5594ac6fc818bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3558248,"id":"Q3558248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408563$68AB7DAC-2903-43BC-BEA0-C6812602AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42ac1d097672349450783a9de9be1c3a85df316e","datavalue":{"value":{"entity-type":"item","numeric-id":543592,"id":"Q543592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408563$89C15AA5-7934-4130-9C28-0C616D366003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408563$A0DD0D07-7FA0-430A-9D1C-F9AF0E0EFA0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408563$0DA57CEF-3A80-4057-B4D1-0BFF7A90F37A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$82E369AE-37C2-4B65-B0E3-DC5C3ED608A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$EA619FEE-1116-4DF7-86CF-028CF51C344B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e1830397fbf914b0c718eb208ff4027f691957","datavalue":{"value":"6282624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$27B4EF05-66DA-4048-81DD-12F677ACF962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cceea51bfdbaebfaaba3cc09874e29a418969c6f","datavalue":{"value":"affine types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408563$CE25029C-F978-4608-BB64-ADCE60E526E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408563$3EAE2B30-0310-4427-87E2-516657AF2485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408563$0794CE73-3DFB-4F5B-87E8-6B5BDD200DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408563$9BBEE57A-09C2-492A-BB0D-FD9D9332D52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408563$B25DB983-1729-4299-9F87-7ADDE24837BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408563$DE031009-C747-47AD-A7F4-B631E2DB70C7","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":"Q5408563$4DB6C10B-691C-4DB3-86AD-5CE20A08F3CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0b75008bb9f411780d8e01c3db4db56c193cafc","datavalue":{"value":"https://doi.org/10.1145/1926385.1926436","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408563$A6F9CF1D-203B-46C6-B0C2-77B90B090420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e1789d968a2a174f0c858840d1e6b374b8aa0cc","datavalue":{"value":"W4242423436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408563$D34257A7-B54B-432A-9316-59D341AF1F8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8259642bafe1bc706511d4935e97caa51fb455e6","datavalue":{"value":{"entity-type":"item","numeric-id":3558249,"id":"Q3558249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade3cb2768a8f239c8b3a3e6627246f1a5ee4d00","datavalue":{"value":{"amount":"+0.7516937851905823","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":"Q5408563$B0181422-AA98-4D7E-9E1D-706B06925575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5e12fc606eff0dbdbfc484069dfab6f7ec57a9","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939d08500cc9f079df4ab053ecd3743d7abe4f59","datavalue":{"value":{"amount":"+0.6684202551841736","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":"Q5408563$03CE9DB7-4B3E-4E86-A688-FE027C38A629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24038ea68fd5d99a595393d7e5350ce065a3561d","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c55d4ba2ed3b614b3b11a33c6e2d804d432de4e","datavalue":{"value":{"amount":"+0.6661289930343628","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":"Q5408563$124F3219-4FC1-4300-A981-CE50160C86F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e876500f03f41967051665438252a436d41940fd","datavalue":{"value":{"entity-type":"item","numeric-id":5015212,"id":"Q5015212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4196c32544cef692cb636c49a0ccba926aab4fe1","datavalue":{"value":{"amount":"+0.6654535531997681","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":"Q5408563$3BF8AE65-2C20-429E-A04D-894A804319A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77df1a2dbf767252f3a2a9549d875cd32f1dd3de","datavalue":{"value":{"entity-type":"item","numeric-id":3585064,"id":"Q3585064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd776349dcaf51d07b20639a1f115fe8cbc446ae","datavalue":{"value":{"amount":"+0.6590627431869507","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":"Q5408563$9D5FC397-6D56-4B86-8E14-09E514F01605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408563"}}}}}