{"entities":{"Q1818315":{"pageid":1829057,"ns":120,"title":"Item:Q1818315","lastrevid":46864950,"modified":"2025-12-25T18:09:58Z","type":"item","id":"Q1818315","labels":{"en":{"language":"en","value":"An abstract interpretation for estimating uncaught exceptions in Standard ML programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383804"}},"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":"Q1818315$6C298E6C-6B2C-4662-93DC-212A90498388","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a3d1acfb32f0276268bfcbd168e27c2586aeb7e","datavalue":{"value":{"text":"An abstract interpretation for estimating uncaught exceptions in Standard ML programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818315$84A5D603-943B-43B0-BE81-03DFB7514262","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d65c2c3fb21e9d03766c7225629315985a9287","datavalue":{"value":"0941.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818315$919E8AF3-D9EA-4D42-8A86-2365C34C46C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0599e57a69ad7de5af7d7383dd3a62f28753217d","datavalue":{"value":"10.1016/S0167-6423(96)00044-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818315$FD68DB5C-3070-4567-9493-F798D331BB0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818315$3FBF0368-BA5B-4679-8849-EB9C0CD9AA77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818315$4C0EAD68-AB88-48C3-B4B5-B0F681CD5E2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818315$E5DC473D-B647-4BB5-AEB5-37FDD5538071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818315$8085C888-8E30-4B2A-A2DE-BCE004A865F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2842de65b48742b5056db7e7eb7348769cc5bd22","datavalue":{"value":"1383804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818315$69F3EDCA-BE97-4374-B656-3ED714783088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818315$500EA1B3-6EEC-4D0F-BE53-A16124156F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5de9a532d965e19b7a92d9831765656feb8ef5c","datavalue":{"value":"SML programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818315$29173196-EA9B-43E5-BAAF-084A40B77E93","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":"Q1818315$989044C9-1C3E-403C-B32F-22701232AB54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0c6911038b706ae78f1b45cf081c893eb58642","datavalue":{"value":{"entity-type":"item","numeric-id":1605229,"id":"Q1605229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4f197e39e50bc3f8030a2d02f9421f3c5df5d1","datavalue":{"value":{"amount":"+0.8836221098899841","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":"Q1818315$DFABB0E8-C319-4758-A939-39C30821E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755c9ab7aea024e6e71030e0ca692eee1429bf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2949196,"id":"Q2949196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c0ece192c703a45c00f9f389e51a8cf55183b7","datavalue":{"value":{"amount":"+0.7499808669090271","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":"Q1818315$F8041B8E-13B6-49CA-8BE9-9CFD8CA8F0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae38300c1e02166b715ce26c5923bb74f2a7d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3506875,"id":"Q3506875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f28a3352732aba4c9184bceab869746c1178b6","datavalue":{"value":{"amount":"+0.6957778334617615","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":"Q1818315$29652773-9667-487A-AD22-FB4BB4F841C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21528fc64d5f607db162cc16033a5ac0af425e","datavalue":{"value":{"entity-type":"item","numeric-id":5313087,"id":"Q5313087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8618f7490b3a568621f4852c0714489ea3a4b317","datavalue":{"value":{"amount":"+0.6685163378715515","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":"Q1818315$2660C745-851C-40A5-BCDB-3366D278D5F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818315"}}}}}