{"entities":{"Q2982007":{"pageid":2992732,"ns":120,"title":"Item:Q2982007","lastrevid":52799396,"modified":"2026-01-23T13:01:40Z","type":"item","id":"Q2982007","labels":{"en":{"language":"en","value":"A type theory for incremental computational complexity with control flow changes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713899"}},"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":"Q2982007$856F3F08-0564-4888-9B88-5ADCE7484C76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece4128e93b07f7ff510e6df80a0bf5313ed9b36","datavalue":{"value":{"text":"A type theory for incremental computational complexity with control flow changes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982007$B0A166E3-1D09-4229-B9D5-100D0C207987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca9851cdae706f7de4c3f7ccca457b593cdae2e9","datavalue":{"value":"1361.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$B41DD181-3459-45CF-A9A0-CB9E5C949945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b15afaa1ddfcc62f0ebacff6ae4632925bf47d","datavalue":{"value":"10.1145/2951913.2951950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$705A18F2-5C30-499D-A0A5-7F5FDE0EA2FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"637a9cc61a4a18c02f3cc53c3ae8f827972a52f6","datavalue":{"value":{"entity-type":"item","numeric-id":2802442,"id":"Q2802442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982007$49D1268F-9F85-4721-B4AD-A7E2D3EBD0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f58bf2e7115000c32a013ce9908b790af2d8edcf","datavalue":{"value":{"entity-type":"item","numeric-id":2945643,"id":"Q2945643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982007$D060FF74-44EF-46D2-AB88-839C436055BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982007$BF83CFD2-1A58-4E46-B5B7-B37750306CD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982007$4C3303EE-643A-4483-B636-8A1A341DF4EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-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":"Q2982007$BC4FD438-6595-41A8-9C1D-E06D52262DE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$1CA47A57-5F00-4C11-ADD8-7A99794CF6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$8C926B82-46EE-41F3-9A14-7C6649B0C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$E01D56FC-7866-4286-8EF0-3BBE3EC6FC37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4461606905facb60e4d1677008775aae8e8ea1","datavalue":{"value":"6713899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$54B823E9-DDAB-4EE0-A07A-3148E6E62F3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982007$5BF6A12F-294C-4AC4-94AF-5E698886BB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140a86685526f7d0ed5cbf8fb56d7e4fa636f714","datavalue":{"value":"incremental computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982007$EF44E2D2-6D0C-4227-B2E4-12471156636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c414403643a473aa76edef8cf1861d80e4df020","datavalue":{"value":"type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982007$DF52C40F-E372-4D12-85F5-15A1E0F1B3C9","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":"Q2982007$279439F2-B9F0-4B05-828D-B5BCA3DB1C8A","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":"Q2982007$8B922513-BF89-4F4E-A7C8-F05BF798D2BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da639d0653f1d71da1d1f99c273a59d7f8de179e","datavalue":{"value":"https://doi.org/10.1145/2951913.2951950","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982007$96A9AA14-3D07-4D59-B267-17E0AF48D471","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcccecda51038fcbe9fc2249c9fdf70740679327","datavalue":{"value":"W2514317887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982007$FA3F3326-27B8-4E52-9BD3-520297D5D2EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03417f9a6d007bcc67eddcd43be13860ebaebe6","datavalue":{"value":{"entity-type":"item","numeric-id":2802443,"id":"Q2802443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e0ad313939ed5c04a60cce902a0b65622905a1","datavalue":{"value":{"amount":"+0.8515257239341736","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":"Q2982007$F3B45520-82CC-4D02-87AD-710E54EBD4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3da55bdeb2b6bd2e7b7bf60307d62c867be257d","datavalue":{"value":{"entity-type":"item","numeric-id":1331947,"id":"Q1331947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f7d6c4a5635f190ccb2403d4a017d8ce1c704b","datavalue":{"value":{"amount":"+0.718731701374054","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":"Q2982007$E730CD1C-99C5-47B8-B061-772F458D382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3887e18fafd6f4baf81d360a64c7ad38213b1227","datavalue":{"value":{"entity-type":"item","numeric-id":1595470,"id":"Q1595470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1395a67cb2fe7a9a18e8d5fe5ee410b28656cf35","datavalue":{"value":{"amount":"+0.7145144939422607","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":"Q2982007$C1BBDC31-DB6E-4625-8068-FB7B9E01D8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70eff01fd1b21585ff24120d9a133a72213affd","datavalue":{"value":{"entity-type":"item","numeric-id":1919660,"id":"Q1919660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1395a67cb2fe7a9a18e8d5fe5ee410b28656cf35","datavalue":{"value":{"amount":"+0.7145144939422607","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":"Q2982007$921E5539-BE99-4439-B95E-276AF89DC3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27864ec8706ac0d8e291a2781af1ab90121a3a53","datavalue":{"value":{"entity-type":"item","numeric-id":2798280,"id":"Q2798280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a222c9c1dc59e6e8da8f116f6bcc60d2faad88","datavalue":{"value":{"amount":"+0.6997957229614258","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":"Q2982007$5FC2D2C7-B67D-46BD-B9A5-7B9CCFBC903E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982007"}}}}}