{"entities":{"Q3623950":{"pageid":5653856,"ns":120,"title":"Item:Q3623950","lastrevid":49704730,"modified":"2026-01-09T06:10:46Z","type":"item","id":"Q3623950","labels":{"en":{"language":"en","value":"A Dependently Typed Framework for Static Analysis of Program Execution Costs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547732"}},"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":"Q3623950$E3F6B1FE-65F5-4A5B-B18F-61A7DDE46CD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4fd2aff4ed05b95aca03dea4aff2c9566ceb424","datavalue":{"value":{"text":"A Dependently Typed Framework for Static Analysis of Program Execution Costs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623950$CB33AF85-04B7-4AA6-81B5-DB5B22683D8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f5007190f9d61b44883e214a593c33ca5c84354","datavalue":{"value":"1236.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$7E9B0261-ECEF-4FE8-924E-B5540595739E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22939c8e4de3b6e0cc980d8e00c9bada4ff5c267","datavalue":{"value":"10.1007/11964681_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$0515B9D5-168B-4760-A6D5-1E4FC9E3131A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$809A44B6-0590-4D08-9323-CEB2C4A08BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$6CE43BC4-EFE5-4F72-B201-4207F283C7A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"079a9a502d36bc50382ceab2d0b0fe42d20b24da","datavalue":{"value":{"entity-type":"item","numeric-id":2830046,"id":"Q2830046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$D1E80CBA-303C-460E-8BE6-2D689438AA83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623950$2CB9EC50-A5E8-4D04-8DF5-A4343B508133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$17C94226-1F2E-4303-ABB4-8E845DED3E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$898CA20F-85C4-4F28-8EF7-065F44E82891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b5cf2edcba41b53da6683718521d4b5a6657daf","datavalue":{"value":"5547732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$9BD8A4C5-FC47-435A-864D-2CBBE2AABEC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$29104810-1BE4-41ED-933E-0F33A333B188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$0CBAD5E8-786B-484D-8B44-895A010C2B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f988b276e78527755419728ab94f469a87d5e4","datavalue":{"value":{"entity-type":"item","numeric-id":25601,"id":"Q25601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$8DEDF97E-08F1-4635-9261-1579D25FD4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623950$41B152B2-E024-4559-9E05-499762298D4F","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":"Q3623950$8369D279-FECC-47F1-98F9-715C45E11D51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca81ac8e087660f9d2fd6dc8127d96d98b47c45b","datavalue":{"value":"https://doi.org/10.1007/11964681_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623950$D98C3C7A-C04A-4B82-BED4-A48EE3298E05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f071d3950f2262ecc756c159147b1ad406c00c0","datavalue":{"value":"W1526824128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623950$54E90927-633E-4391-A7F4-D5EB310FD20D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9246b1e080d6a4112e7941229a01a4beb65cc08","datavalue":{"value":{"entity-type":"item","numeric-id":2398175,"id":"Q2398175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556025f9b005770a9795f4caf5d40e026e6a5ca4","datavalue":{"value":{"amount":"+0.8766785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$BCC35B59-FDF4-479D-BA31-666360F5D4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4b7a14d49d2d085b8e6fbe3df28fd658d12135","datavalue":{"value":{"entity-type":"item","numeric-id":2844058,"id":"Q2844058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df45cbc7470c058e293b1aa5ec1123c382530c1","datavalue":{"value":{"amount":"+0.8627146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$7EF11478-D349-4138-97BB-940318FB988D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e8990deabb0e7ffcf6ec082019013db4e1157","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9906df1ef385925f8b2b1c9a7c8e6f6ae1b2a8","datavalue":{"value":{"amount":"+0.85736525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$7672C757-9970-4FC3-B8AC-3A2A5D0185A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dc4c2ef6c6dfcfd0f0e8c2181995c44bbf8a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1179698,"id":"Q1179698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf9a5a61173ca0d6c2f0f92b40804238d6e6b14","datavalue":{"value":{"amount":"+0.8528339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$ADA8C31D-FAD6-4B16-8010-2DC18A6927BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56af618bc1a6ff8cbadd1ae43d78069a0b66ec23","datavalue":{"value":{"amount":"+0.85238767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$08E7C6B7-4180-43EE-BE2E-F8BB14186D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8229707531982349dca380b68b1f65232373663b","datavalue":{"value":{"entity-type":"item","numeric-id":5097623,"id":"Q5097623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4db0c4c2af02d5ffecda2964042a99f6d98d045","datavalue":{"value":{"amount":"+0.85179096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$DBC1760E-EA94-4108-8270-E3ED12A654D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087e3ff0dc7c74e057c49c615585161192d62a06","datavalue":{"value":{"entity-type":"item","numeric-id":6164437,"id":"Q6164437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6c0193c2137b6ee5f7765bed93fab473976019","datavalue":{"value":{"amount":"+0.8512224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$D86D8151-EF6C-4EDD-9787-B41695353275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed29d719534bea91b2ba2f210eba4ead6cd0d824","datavalue":{"value":{"entity-type":"item","numeric-id":4571347,"id":"Q4571347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7099037c6a9e59d879ffe4486fb74f5b1680631f","datavalue":{"value":{"amount":"+0.84963274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$9968ABEC-C1C3-49CC-9C88-F5A2CD45C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f53bba3039a9a57206ca843e879ee2c3710709","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18d50cdaf08587fa57f13a2682b245770fbc93a","datavalue":{"value":{"amount":"+0.84879094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3623950$BB0DE3CE-C0AF-4381-A129-1D67B8B5177E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623950"}}}}}