{"entities":{"Q5370848":{"pageid":7400422,"ns":120,"title":"Item:Q5370848","lastrevid":58541343,"modified":"2026-04-05T16:20:15Z","type":"item","id":"Q5370848","labels":{"en":{"language":"en","value":"Hazelnut: a bidirectionally typed structure editor calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794645"}},"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":"Q5370848$86985ADA-6C06-4E4A-87DD-FC2B5CC6CFA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdb15c4a7579f21d4ca68452192bfdea846b6276","datavalue":{"value":{"text":"Hazelnut: a bidirectionally typed structure editor calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370848$D01B6289-9950-4BCB-8489-FD9CA49BD087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8335a2abc5b89e65100dc1a63b829c361126e779","datavalue":{"value":"1380.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$26593097-6CC2-4E32-8BF4-3BA3BC0B97A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"230756eae7214e711f4f2667121c0ecec9cee266","datavalue":{"value":"10.1145/3009837.3009900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$F5CFD188-23D5-4649-BCEE-9B5120028828","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$332162E1-5E90-4CEB-8102-B4F78367A78B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370848$4C041C57-3A75-4284-9BA5-7A762841E49A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a51754f8bf002fabfa586736fc7ea580121f486","datavalue":{"value":"https://arxiv.org/abs/1607.04180","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370848$9DBFCC6D-F390-4D4B-8046-D5F2E0CBF3C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$F338224D-B857-4AE6-8FA0-D42A628B9076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$BC084D0C-8772-41AC-A34C-414FEF537D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f05bd7d511a1ad3938c008c40754fabc887594f1","datavalue":{"value":"6794645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$444984F1-68E5-4D15-B865-B74B1493AA62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427ff46c4a72286a2ddd58660299b16bb9a3fd88","datavalue":{"value":"bidirectional type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370848$607AFD82-048B-4CCC-A8FD-1728FB62EA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370848$629A346E-C831-44DA-8DAC-A8B715C2D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012d8b7999cc6b22228ca3c9aec4aaff197c8fb1","datavalue":{"value":"mechanized metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370848$E303C26C-E169-4CCA-868A-5ADEFEB7CFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4d64708ebe2804266155d5e3855601ea416cc6","datavalue":{"value":"structure editors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370848$B4FBAB1E-0B39-4FB6-AB53-AA5DF659DE80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$FA70764F-AE53-48FF-B2FF-7899EA4BF0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4c38fb594fcc69c0fca36deae318ab16106f84b","datavalue":{"value":{"entity-type":"item","numeric-id":34451,"id":"Q34451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$9E74C208-4573-49C9-9089-F412B9CF5C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84a9e575cabdc8cf9a042b06dfec6de84379aae2","datavalue":{"value":{"entity-type":"item","numeric-id":34453,"id":"Q34453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$A1B6DCAC-8756-4C40-AFE5-7E9F68E11787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3bf543e58e1f19ccb596aa948ec7290b37ddba6d","datavalue":{"value":{"entity-type":"item","numeric-id":34454,"id":"Q34454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$583CC432-4314-4BA2-900F-4DE6B5202875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b38729b315aa304bbbdab6567e1578d7d673c348","datavalue":{"value":{"entity-type":"item","numeric-id":34455,"id":"Q34455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$98FB6FA4-9723-4002-AEA3-7E3615D0F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4146ac66436d74e458b493543bd165e71e5a31a3","datavalue":{"value":{"entity-type":"item","numeric-id":34452,"id":"Q34452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$EDBDF628-6D86-4A53-B28E-7DF0DDA6B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$76F2FF97-900D-4848-A31A-9746A8677382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f20857e79be9881c5d7a06583454f1cf2611e9","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370848$BA28AE96-AC36-4B37-BD8F-9C5CE4070A97","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":"Q5370848$9E9B0EBF-7400-4763-8811-5F913557EEAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb7bbdd4a90da1ab68f0666445e85dcffac43af","datavalue":{"value":"W2489483223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370848$311F3791-3444-4160-9DEC-FA46EC36A5BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f127dcfdb139a0f9729ad5b6ba0d3d03243cfe","datavalue":{"value":{"entity-type":"item","numeric-id":2942897,"id":"Q2942897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ad7e265cee06181261503ffa0743b4d3c276f3","datavalue":{"value":{"amount":"+0.6528507471084595","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":"Q5370848$1E2B55F0-A1C1-44DC-BD49-ADA106FC4286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14984f3cb58c984e4b4abbabec043fee8d0da6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b137ce5d306050be4985f88efff61b1e5393a1","datavalue":{"value":{"amount":"+0.6394811868667603","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":"Q5370848$AC5EC809-9CA3-4D5D-9D7F-7E6162C50101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3389ff72d21c6c31d79cad478019524a429f04","datavalue":{"value":{"entity-type":"item","numeric-id":3400633,"id":"Q3400633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e05c535da1030158b2a5dab340528b9ef41de3","datavalue":{"value":{"amount":"+0.6330833435058594","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":"Q5370848$A2DE5125-C061-4F94-8B39-9DE3DF3CE442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f336987cdf4b10427b2ff232c280e50d1c0f146c","datavalue":{"value":{"entity-type":"item","numeric-id":4417899,"id":"Q4417899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fe77fc3a4ec6a3b7b900ff25ce9aa18634e3e1","datavalue":{"value":{"amount":"+0.6310865879058838","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":"Q5370848$9D836078-5A28-4A2E-9730-F65A48494736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4758952685131ad523d60a941fd0664329c8144","datavalue":{"value":{"entity-type":"item","numeric-id":5298793,"id":"Q5298793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fe77fc3a4ec6a3b7b900ff25ce9aa18634e3e1","datavalue":{"value":{"amount":"+0.6310865879058838","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":"Q5370848$07548AFF-D9AE-4E8B-B1B4-3BB9C8F1E327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370848"}}}}}