{"entities":{"Q2740986":{"pageid":2751725,"ns":120,"title":"Item:Q2740986","lastrevid":82913879,"modified":"2026-05-06T22:24:14Z","type":"item","id":"Q2740986","labels":{"en":{"language":"en","value":"The expressive power of higher-order types or, life without CONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642197"}},"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":"Q2740986$4612BBB3-A811-444D-B09C-07D648B468A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab6518b88614b4930b82097b443af255a3dfa13c","datavalue":{"value":{"text":"The expressive power of higher-order types or, life without CONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740986$362E8C60-4184-41A2-AB5A-BB098E5E1776","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36907bd910bf195a4e799361281a62c4d361cb9b","datavalue":{"value":"0988.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$3D1B60B3-B127-4571-AC8D-32D0B1661649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"532db21cfc0761ebe12428baf876173fdacbd923","datavalue":{"value":"10.1017/S0956796800003889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$C46BCE0B-FD53-4980-94BD-857679852F7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740986$7195320A-3C30-4BD4-AAB9-699F2287C022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740986$FAEBA6F4-7F18-4ADA-947B-B359D01A9785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d473643aa39024730582f063c01cfbcd820666","datavalue":{"value":{"time":"+2002-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740986$9FC9E78B-73E4-4D56-9AB0-B00585B054F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$7372F025-11A3-4969-81D3-E2DF052AAC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$7DF6FE82-33B0-4C9D-A830-C32CAFFF2AF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94ca8defd281ff379b36c8f895fb4dbc0445ed78","datavalue":{"value":"1642197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$3D7C81E7-471A-4757-97B5-C12BDDAE93AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740986$F5C92F1B-60CB-4104-8155-81FD76CFB0A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740986$B2174C02-4DCA-425A-B7E1-05A444765EC7","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":"Q2740986$5E0A1385-BA4D-452A-8AF5-A321D423AF11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7452f440e574a5a7657be93e23f3a03fff104bcd","datavalue":{"value":"https://doi.org/10.1017/s0956796800003889","type":"string"},"datatype":"url"},"type":"statement","id":"Q2740986$4AEEA8FC-AB8A-469C-BEE7-D7D9E0F7C651","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec3d73d6cb488e8516848916ce8474d170204e82","datavalue":{"value":"W2105438076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$44D52DE2-4D13-468D-B892-C18FEA28CA64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af8db75a8ae3d10a25cb97c9c1c500dda44aa61e","datavalue":{"value":"Q128378970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740986$53BE0628-A91A-4A5B-A731-4E5CC951FDE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4a73549c66ebbfa47b167054c921c8d49ef787","datavalue":{"value":{"entity-type":"item","numeric-id":1185006,"id":"Q1185006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c99ad414df4616ecb26acc234ffb712cb3c10f","datavalue":{"value":{"amount":"+0.7639408111572266","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":"Q2740986$8DC0E073-E2A7-4AB5-AA38-AE40525245EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd9a523a206cdcc804206470b95ab61f2a8d3df","datavalue":{"value":{"entity-type":"item","numeric-id":1183552,"id":"Q1183552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dee0d9857924b577efffffd1dbab8daad9cd99f","datavalue":{"value":{"amount":"+0.76136714220047","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":"Q2740986$39048113-8516-4EFF-BBA0-E54702FCC1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559d34a5daac047ec4a2e39aecf1978aa17aecca","datavalue":{"value":{"entity-type":"item","numeric-id":3829053,"id":"Q3829053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c474ffddbc40f44144c5326ebf3d296076b2ca18","datavalue":{"value":{"amount":"+0.7532764077186584","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":"Q2740986$F12C8D30-3AAB-4C28-B1F8-42EA4F321FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb072c806f89cc10442dd682a63a72337e9d083","datavalue":{"value":{"entity-type":"item","numeric-id":4630303,"id":"Q4630303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8123b522ae55dd7257539927edc9f3d672847551","datavalue":{"value":{"amount":"+0.7523597478866577","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":"Q2740986$21185A71-E50B-4810-84DA-0723A7EE7E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f09d1cb574c931362b50a79f19ffb5ccc44750c","datavalue":{"value":{"entity-type":"item","numeric-id":2988663,"id":"Q2988663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313b6c2796374b6dc897508ca34529d34e20f6cc","datavalue":{"value":{"amount":"+0.7421683073043823","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":"Q2740986$E40A3FB1-BD95-4F7C-ACDA-4966B9C9793F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive power of higher-order types or, life without CONS","badges":[]}}}}}