{"entities":{"Q2931793":{"pageid":2942513,"ns":120,"title":"Item:Q2931793","lastrevid":58059756,"modified":"2026-04-03T15:45:51Z","type":"item","id":"Q2931793","labels":{"en":{"language":"en","value":"The geometry of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374671"}},"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":"Q2931793$A47FECEB-10A9-4CD0-A92B-57A09CA246FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa3d63fca907cd1d14ce12eebacca1557cada571","datavalue":{"value":{"text":"The geometry of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931793$36E41B19-3C57-4852-8F70-FBB680DEC691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d2d2075dadbeff571893520ff58a7e9ce5732d","datavalue":{"value":"1301.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$34BCC8EC-19B8-4217-83B6-AD117ABC1C19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aab3e8a765aa71ffb04fc44f80d5e89a89c523e","datavalue":{"value":"10.1145/2429069.2429090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$0936CD9C-BC14-41F5-B17D-09999F63EFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931793$1FD40F34-1767-4C05-8DD0-D034ED9D4E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61a4a3101962200d4129eb59dd3a57bf6b47e93","datavalue":{"value":{"entity-type":"item","numeric-id":2441512,"id":"Q2441512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931793$831B7B45-D65A-45FD-A3E9-950EBA3420DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931793$410A6D8D-7321-44F7-962D-A71947A105DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931793$9098A17B-797D-4BA6-A7BB-CFAB900F55CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e93fd193eeb9841393b355e81f970b035201497c","datavalue":{"value":"https://arxiv.org/abs/1210.6857","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931793$5727B46D-7210-4FA1-B4B7-FDB40BB2F2E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$FBF14DA0-D62C-41D7-B248-5FD92258817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$8A7C7E97-CE36-403E-8A98-F98C7AB1EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$709BBFB8-984A-42D9-AB35-0680DB8D61A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$711DD6E3-687E-442D-AA71-CDFCB3E1B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$AA5E512E-21DC-4F34-AC16-866B3C4E5F13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb669e9acd219421e0db6c67677972b5b2ffe18","datavalue":{"value":"6374671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$14AF9991-956B-4E26-AF5C-6F3A633707EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931793$B7EF11CC-635D-4744-8BB1-0F90392A28FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931793$5D3F9AFB-A036-4BE2-88D5-B3B95F7C2D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2cf67dc938d36c0e4b342cb3dbeca813ee838d","datavalue":{"value":"higher-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931793$29BDA00E-0812-4191-8BE5-2E508730EB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931793$3ED8E14D-D9D4-4646-B137-B4C17BA01B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3b235a572024293dd8d24ca352c1013b454db8","datavalue":{"value":"resource consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931793$EAE0CFFD-B96D-4F70-A7F2-79E597494C66","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":"Q2931793$08CB752B-997D-42A4-A1C6-3EA56C1651BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15fb2b2bf6731ec09f582f4ba9985c0066028340","datavalue":{"value":"W2010790229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931793$9AEEE06A-A2B4-4F99-A0A5-42E3B824F835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4570e91d20fbdb6fff2c47cc37373e3cce529e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07ca90627ca874995f740d5aa6cd6068fd9980c","datavalue":{"value":{"amount":"+0.750846266746521","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":"Q2931793$75943746-E895-426A-A412-EB41DABD505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8560c3cf66228e33b3cfd3b96aea795814f4a3","datavalue":{"value":{"entity-type":"item","numeric-id":5466590,"id":"Q5466590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624b61b5d829a17ccec30802a37104f476d51533","datavalue":{"value":{"amount":"+0.7477803230285645","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":"Q2931793$7DC4CD51-A197-4168-A96A-AEFFB4F7BB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00f8788cccb611caa614447bcd18a89289dd38c","datavalue":{"value":{"entity-type":"item","numeric-id":2441513,"id":"Q2441513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff110e823fb45e6258b59e9bb93bf2d4eca0c1e0","datavalue":{"value":{"amount":"+0.7457478642463684","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":"Q2931793$BD1701EB-EDCC-48E7-BA37-06C2E62FB8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7edcd0db2d0371adb8982b2b77ab4987fb7cafc","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1ac64a077078080072343293ab65817c0c6f0f","datavalue":{"value":{"amount":"+0.7352690100669861","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":"Q2931793$20FF6127-9A2D-4F82-A127-7778F6B7E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb902fc32928b78adfae339b63f14ce67402b36","datavalue":{"value":{"entity-type":"item","numeric-id":2870134,"id":"Q2870134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8982402c5d70f01a2fb76fdf45008b07e244432d","datavalue":{"value":{"amount":"+0.7279947400093079","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":"Q2931793$7B80C7ED-12E8-4389-8C5F-DD9E8885DA85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931793"}}}}}