{"entities":{"Q1990483":{"pageid":2001225,"ns":120,"title":"Item:Q1990483","lastrevid":78422801,"modified":"2026-05-06T11:33:29Z","type":"item","id":"Q1990483","labels":{"en":{"language":"en","value":"Call-by-value, elementary time and intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965583"}},"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":"Q1990483$27A05198-6C55-4AC7-A556-03530F0489AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e815239815fcb25007cc885e2e1b2dc29ca87f59","datavalue":{"value":{"text":"Call-by-value, elementary time and intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990483$9E75AD03-A829-4A83-9F65-65E5077F88C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9235fe4aa2161c82826922565a36db882fb54a43","datavalue":{"value":"1398.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$6B840CC7-92E1-403E-B803-61E0A7959ED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17f404302516fc0bd46aef1cf9b42399bc723323","datavalue":{"value":"10.1007/978-3-319-46559-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$74EC8D22-585A-4EF9-ABAF-2DEC953F5F47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8079cc0ef45f678429a6fbeda9ca098e890f1ba","datavalue":{"value":{"entity-type":"item","numeric-id":276266,"id":"Q276266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990483$9C065E97-B762-4FDA-938D-E104A4E16391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990483$4D1D575A-548C-48D2-839C-322FAF96AE38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-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":"Q1990483$3645E4DC-E79A-42EB-8C11-23970A4E28D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$ABD27098-2888-4D74-BABA-D51BB7582921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$103DBC73-A3FE-4C3C-B9C4-F697A2378FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e374e735443dba338c00f32002e710211dec7a5","datavalue":{"value":"6965583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$8D10D3A7-B00F-4591-B74A-276F82AAB528","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":"Q1990483$63C3C367-9F94-4F6A-A6C2-F70BC18CA95D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641469823700b45e050e50f7354f843a853cb973","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46559-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990483$87F21E0C-2691-4B59-96E1-C0230AE2A91B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"955109b0c24ddf538757f6b925287cc3e50b05e8","datavalue":{"value":"W2523365968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990483$87C28CD2-580C-47E9-AB31-548302484321","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879ebcac6fe38e8637392e033eccae48acbdffdb","datavalue":{"value":{"entity-type":"item","numeric-id":5704005,"id":"Q5704005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b900f43aa1d323b2575c783ef9ef1b2a70cee6f","datavalue":{"value":{"amount":"+0.7943969964981079","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":"Q1990483$6E7CB3C2-22D1-4FC9-BCF3-9A90C373B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7a527ce7fbdfeb8b284e9efe0c0dfc91bfc7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958296,"id":"Q5958296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861ce863a310b25a071d853c11d5530461c8cfdc","datavalue":{"value":{"amount":"+0.7776610851287842","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":"Q1990483$7F1634DD-EF6D-4D8C-B44A-E60E505B726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ead40b726cdc4e69a5e1d35cecc6127c908133","datavalue":{"value":{"entity-type":"item","numeric-id":3623002,"id":"Q3623002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2500a1755ae157b3cb863a364fb15654f3578cf0","datavalue":{"value":{"amount":"+0.7764281630516052","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":"Q1990483$5A8F7DE6-7143-4770-9308-095DABA6451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dffd85f8c92138c40208a85bb346781c2a3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e620ebce9719b2acf25389dfdc875bc2f385b21","datavalue":{"value":{"amount":"+0.775631844997406","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":"Q1990483$81FF7157-1F70-4DEF-844B-751A6AA1F80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b93420c7e2994d0369ec226b714f70e548b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944b7e7e7c125bf0a44d075c4e52bd3c1d03feb9","datavalue":{"value":{"amount":"+0.7744609117507935","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":"Q1990483$B67A51CA-4ADB-4D49-BB89-F6F75A073B05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Call-by-value, elementary time and intersection types","badges":[]}}}}}