{"entities":{"Q5458425":{"pageid":7487984,"ns":120,"title":"Item:Q5458425","lastrevid":50334077,"modified":"2026-01-13T20:28:34Z","type":"item","id":"Q5458425","labels":{"en":{"language":"en","value":"Substructural Type Systems for Program Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262477"}},"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":"Q5458425$272BB564-65A1-4AE1-903C-2F9D4B60CE47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6da9a6e35d344fe424605fb021347b525fc836a","datavalue":{"value":{"text":"Substructural Type Systems for Program Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458425$F7F1D74B-BE50-44E9-BBCD-8FF4DAAE3FBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"061285fa85b5f9550b7e29492282e3b326f8519c","datavalue":{"value":"1137.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$32FDEC85-AE11-4871-A841-72D8729042D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f84edb83197e49e89a47e879bf09df2784dd2ba","datavalue":{"value":"10.1007/978-3-540-78969-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$7AE248F7-EC83-4DCC-A0AD-57C5430AC266","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458425$5BFB3C11-5745-4BE8-94A0-9C4B28666F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458425$D75618F1-35E1-445B-90A3-B390E019E3CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458425$055C570C-3763-4290-94A4-F009438F43B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$FD854D1D-3C56-4007-BAF1-BEE7B54FFFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$F17C817F-F2F7-4CC8-8574-5697F679F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$3FA9BAD3-D500-43C0-82E7-2E6598984D9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"727f6e6c5ceca8570f008a7ef08d8808b3f982c6","datavalue":{"value":"5262477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$9A334BEB-CDF0-4197-B8C9-310D2849E0AC","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":"Q5458425$98828377-713D-4880-8A9E-6C9C617BFEED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33e4d92f484a2d9c1b9fee95cdb744bf42069c18","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458425$A9A88AF0-9F77-4D05-8839-1EC07CAF3DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c4dc844809084555266a270bd8045d4ebf6a6e0","datavalue":{"value":"W4242658509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458425$896FB8ED-FA34-47BA-8BC0-A0F430C7EA36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53db250f96448c2bf0b1f597a6ce0c633359d5","datavalue":{"value":{"entity-type":"item","numeric-id":352080,"id":"Q352080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8e8c18936d723c20a907aedbcb42f6f5e1b30b","datavalue":{"value":{"amount":"+0.7496153116226196","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":"Q5458425$E6904ED6-8279-4975-984A-F70C4954568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e876500f03f41967051665438252a436d41940fd","datavalue":{"value":{"entity-type":"item","numeric-id":5015212,"id":"Q5015212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816c808076a6f40ced8b47a8a1f71b579aa8ce27","datavalue":{"value":{"amount":"+0.7116899490356445","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":"Q5458425$ACFCBB18-B2B1-49FB-A35D-90E26DCBB36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed2438eeb12434db4c0a1ca0515de70caca6029","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2fbd275710eb8b7ff990a03d1fe6d7e3d6d60e","datavalue":{"value":{"amount":"+0.6929996013641357","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":"Q5458425$80D4BC0A-0BFC-4DE9-B47C-7F6D6AB3CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe19f76dedeaaa9142d7f6418182e9b75434c7","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafa1c79a908d8f4124847f041f39b8b06b2095a","datavalue":{"value":{"amount":"+0.6820371747016907","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":"Q5458425$4542A8C8-5C3E-475B-8AE1-6279DF0AB9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c5f7a082085e8e27501128675036fd558d7630","datavalue":{"value":{"entity-type":"item","numeric-id":3612633,"id":"Q3612633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7989527801c8fdccce469441ada272e95955825","datavalue":{"value":{"amount":"+0.6736462116241455","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":"Q5458425$5CD6BCB3-9CEA-4823-99E1-4A30650D34BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458425"}}}}}