{"entities":{"Q5403477":{"pageid":7433051,"ns":120,"title":"Item:Q5403477","lastrevid":75509800,"modified":"2026-04-19T07:45:53Z","type":"item","id":"Q5403477","labels":{"en":{"language":"en","value":"Inferring static non-monotone size-aware types through testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274310"}},"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":"Q5403477$5452353D-4286-40A1-99FF-E1269302BDBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a425043e6522913c0d2e0e50f6c8438cd7a6fa1e","datavalue":{"value":{"text":"Inferring Static Non-monotone Size-aware Types Through Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403477$96F82D46-83D8-417E-BD07-938F7D028372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad6b831fcde82ff25426c5cfab46996bbeee1b67","datavalue":{"value":"1283.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$135A92D6-2C8D-4D01-BF2E-9C0ECC208BF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aaac47fb6669422e728ccd22cff8fa2a4fb7f41","datavalue":{"value":{"entity-type":"item","numeric-id":3612642,"id":"Q3612642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$FC6EDB89-4DE0-4C9A-93A6-9D27D6AC710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15640a92e54dabf9a21b8a40b0cc55eb0c13708e","datavalue":{"value":{"entity-type":"item","numeric-id":2211186,"id":"Q2211186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$A798F8B5-3F0F-4628-9BF8-BAC2E630A37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$FC6A1BE2-BF83-4E2F-8863-94F4B898B214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$E9F3C5B9-D48E-479F-8DA2-513680D9AECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403477$A5FA4A59-4B0F-4CCB-BFB0-9926F8E69DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$6608AAEC-BBD0-4144-9CA6-2965DB363F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$9040E230-2424-4D0F-96E6-B5A0B1A4CEBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bfcbda36c26dcdf2350d8b40138a19266505070","datavalue":{"value":"6274310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$52FA934B-1C77-439E-81D1-3D253DFBCE20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7062bfd49c73597ace3de2b10653a6bfd588cf56","datavalue":{"value":"memory complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403477$4324F6E0-4E3F-4D6A-8F6E-6AF2D076713D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403477$0127CBB1-468C-4D2A-8D4A-2A0E461CC4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403477$A9976E3C-5553-428B-AC6F-54B23C3CDBD8","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":"Q5403477$1D244F93-9A69-4025-B03F-5C302EDD0EAF","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":"Q5403477$A7C498F8-A6E1-40E7-91EE-CE72775AADB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62176eac940a866ba3e33d5b654a0356e6a66e07","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403477$3B270A79-1C28-471B-96C5-CCCDF566BF0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b4f5a289f1b52c60787b0ee1ada5da7d9c87b9","datavalue":{"value":"W2135502076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$BDA93E8D-B6D4-49B6-89AE-74B3C07815BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00e2d0bdf806d089c4c4b270e3b24e4cb7bcbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4457446,"id":"Q4457446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$F111F6D1-2CEB-4E0B-990B-306DFDED37DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4beb2ae3000e9030d03769ff8ccdb77dc22d44e0","datavalue":{"value":{"entity-type":"item","numeric-id":5959585,"id":"Q5959585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$C26DF258-83B8-4BC7-8F40-69553ED83E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45abc8e7daa7003d4b9a90b5ffbbdce7d9c8c48d","datavalue":{"value":{"entity-type":"item","numeric-id":3814158,"id":"Q3814158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$506BF6BB-1F05-4FBC-81A1-685D334E4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18822623a9a2c6489de93a466dcff9de1dc291ef","datavalue":{"value":{"entity-type":"item","numeric-id":688724,"id":"Q688724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$94C0B0F5-27A5-426F-B10E-07965C7FC50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d406a1b8852b31ecfef6618259f8ac8e73d6349","datavalue":{"value":{"entity-type":"item","numeric-id":5501466,"id":"Q5501466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$E7E1D012-EB56-4623-BCCD-2288FF729F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6556e07956a6d9af818451337ecf539c265282ea","datavalue":{"value":{"entity-type":"item","numeric-id":4445775,"id":"Q4445775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$6D3FC9BC-52FE-4ED7-ABC2-FE8AB66D50A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cfaa2e914c6e93252e87a19d31730ee417d5ac","datavalue":{"value":{"entity-type":"item","numeric-id":1202003,"id":"Q1202003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$AF747D18-D155-4B7E-8AA5-FEE853ECADD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$FD0447C9-E8A6-4B7F-B454-B50D6A26C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba6c44c976bd0ca0a155dd7611c929bee1e729b","datavalue":{"value":{"entity-type":"item","numeric-id":3612643,"id":"Q3612643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$FD60A184-041D-4610-8FB3-A0CB5D03ADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91eef441aa5d203ef18199aeff0c6db23b19629","datavalue":{"value":{"entity-type":"item","numeric-id":5466590,"id":"Q5466590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403477$871DA25B-BFF7-488D-953E-EF523ABEEEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd42b54a2b02427b6ae17732dc151d52df66c9c1","datavalue":{"value":"10.1016/J.ENTCS.2008.06.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403477$F6ADAA49-FA58-43DB-8985-7FCFCDCEF9D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf9663020ddd5176a83ffc04d655972dbb353ef","datavalue":{"value":{"entity-type":"item","numeric-id":3612643,"id":"Q3612643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70660e6e0233044943884f62edf8292e81ab48d6","datavalue":{"value":{"amount":"+0.7838724255561829","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":"Q5403477$653A2B82-CE8D-4E1E-AB81-FFE3BDF97F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fcdfde147421a5ac1ac8e6d9a0fb5a6544b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3636810,"id":"Q3636810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a398929ce8c7ccb650c7541ebc779754405cd6","datavalue":{"value":{"amount":"+0.7759143710136414","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":"Q5403477$4D442665-0584-4956-9DAC-89D8BEEB603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc00635ac8226e3fedd90fcbe6285f5fb05ba2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5959585,"id":"Q5959585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cd0fe4da779754388ebb50bea7385721447154","datavalue":{"value":{"amount":"+0.7495142221450806","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":"Q5403477$D4DAFDFD-173E-450A-AE62-47B3FCE78EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b8a3612c284d6114eed028be1d775090c4a9cb","datavalue":{"value":{"entity-type":"item","numeric-id":5030195,"id":"Q5030195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc76213f4cf5bd1373de8e0190797417e4962ae","datavalue":{"value":{"amount":"+0.7244359254837036","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":"Q5403477$3C9D722D-ABFB-45AF-A40E-623C7CD18534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec26628db410756a51a7027de357a519c40bee67","datavalue":{"value":{"entity-type":"item","numeric-id":3460509,"id":"Q3460509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d712c82f5a70e775aeebab1ed9b4eb64011fe42d","datavalue":{"value":{"amount":"+0.7081111669540405","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":"Q5403477$72204E1F-9E7E-4A15-B5D1-2112DCB5DF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferring static non-monotone size-aware types through testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferring_static_non-monotone_size-aware_types_through_testing"}}}}}