{"entities":{"Q953533":{"pageid":955381,"ns":120,"title":"Item:Q953533","lastrevid":50488160,"modified":"2026-01-14T04:44:41Z","type":"item","id":"Q953533","labels":{"en":{"language":"en","value":"Program and proof optimizations with type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5362189"}},"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":"Q953533$BADA3655-8B7E-4342-A8C6-87F2B4FED53E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef68a95da8d44884666d8efd80babc9cc00e1f2e","datavalue":{"value":{"text":"Program and proof optimizations with type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953533$C066E3AB-34DE-441F-A0F3-4B7E897754CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36e847a6e1c24c5f22da15ed00984ee8c6e15efb","datavalue":{"value":"1151.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953533$D5EAADF8-28D7-47D5-B22C-18D794CAF38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de519018acf0d952865d085d6e9c2ccdf1b2d19","datavalue":{"value":{"entity-type":"item","numeric-id":843218,"id":"Q843218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$DC5A3436-9AC8-4CD5-87B6-1334A1EDA1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$74BC0A4B-FDE8-49A2-BFE9-E6449E3C2A41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$CE3172A6-B182-4A43-A1BC-2B762FF89D5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e676b345923800624f916d2a2c8d52ef91c50b4","datavalue":{"value":{"time":"+2008-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953533$4567E288-8A19-4197-A1A8-4853DCEF7662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953533$25DA62F5-AA24-406B-A006-B10E686996D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b80c18448d502be7ec11adc311466c07180337b","datavalue":{"value":"5362189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953533$6F668C11-E56A-47E4-9545-A3C7580DB706","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933665e75ea1289575aacb2502bc4ced7876d0a8","datavalue":{"value":"data-flow analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q953533$C3F8D91C-5F27-4515-B78A-25135FDBD847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4ba9d60c408b7748bf297f3e5679cd4a95aa4","datavalue":{"value":"optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q953533$96067EF1-1253-4D38-A6AE-8CB025B7CAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q953533$796AD5F7-94D4-4730-A60B-7CED199C53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q953533$B475B439-BF07-4631-9257-DDB034FB6AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23312f672c37435bfeb0395dd7895979a6523e94","datavalue":{"value":"proof optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q953533$EFFBB00D-A7A7-4BBA-B5C6-59815913173A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$358405AB-C339-464A-A6DE-D55112509422","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":"Q953533$9AEF16E2-7025-406D-A61E-E34F8A181BE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2794999984bb6c2d83bb6f813d0f880d64a7555","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q953533$6699CE84-22D5-4657-8A16-1FE82CDAE923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abab467e7ce379731f643ce2ec6b97768dee648a","datavalue":{"value":"W2128433129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953533$EC997F4A-A9E1-42AE-8C10-17D1078358EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d17bced200c861b1f68e40b8ad1d6ac729ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$F21BD5C0-840C-4DE1-8A0D-24A5CE026B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$109B97A7-F741-4676-8863-6A47830B63B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$7566069C-3DC5-44B9-8D52-319126E66CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656b52898fb9d715cbc0ff6976b2507bbcf3085b","datavalue":{"value":{"entity-type":"item","numeric-id":5705934,"id":"Q5705934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$FF1E4694-7E75-418C-8085-D680A3C68D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48954ed389c940d6f18707b42187ed03f7c9e725","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$E97EC6C5-405A-4EAB-A01F-2EDC669FEE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfe2b9a9fcbf77ba34b0a676019827e4fb9bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":860842,"id":"Q860842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$EC20B3DD-B1AC-42CC-82B5-5373EED8563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c5240ce876c9de4fdc36c5e17468f67004fcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$0FB08D6F-E91B-4E7B-8211-7160B4CDE608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$223E07A2-8032-4CE4-8EF9-C061B35E6B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ca75cd59633b8517d6b4af78e4f4c9d0d07742","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$F199EDB5-9C09-4FBC-A5B2-974800E01F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5d66f825fc240ed9f85c4961cdae225df62d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1768477,"id":"Q1768477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$E9B0781E-0079-4C8D-B778-35DB3E5C345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72881de5c87c33ebc3485af6e08b1ba347ee9ac3","datavalue":{"value":{"entity-type":"item","numeric-id":860844,"id":"Q860844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$5D3D4803-A7DE-4BAE-AA33-0AA26A09C53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$825FA3E2-64F4-440D-97FF-9377D2D475AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a532def81281161c623ddb165b53de574787ba07","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$4706D2B1-E84C-48A3-8A97-2DF678E9ED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37390f2d88033b6fa056e221236b35b17117208","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$FC74F583-C6BA-4113-A64A-1E4C4F03BDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ddc45ffb2c8e40e8e4acb1d93ee6d50aa952c7","datavalue":{"value":{"entity-type":"item","numeric-id":2852100,"id":"Q2852100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953533$B5C5B7D5-A522-4813-AE92-4E82668E3232","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f311c39704bbfa57f97244bb0380412d070d105e","datavalue":{"value":"10.1016/J.JLAP.2008.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953533$74FDE9CD-2077-47B2-9D49-7B02735BD7A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592b4d62d243849287e0d7c39f511b3c955ce973","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae111c155b88d4b607b7e843bcaf0107ab801b3f","datavalue":{"value":{"amount":"+0.7775635719299316","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":"Q953533$63C9A769-9E3A-4634-AC45-FFE1AF966145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985c19b2f435e5f6b53183cdbbe4f80c2d40eb34","datavalue":{"value":{"amount":"+0.7748234868049622","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":"Q953533$E72042DC-0419-49AA-86E3-DF95774C05A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069743bce1b0b36df9b727dc23fe856b4a00753f","datavalue":{"value":{"entity-type":"item","numeric-id":860844,"id":"Q860844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e599f47d30a5c3a0ff87b577386c64cef52f10ba","datavalue":{"value":{"amount":"+0.7603301405906677","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":"Q953533$1B55ABC8-C081-4177-825B-C98819AE2571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2dc2fe37437991bcedf2726a7e42f9e890ce9c","datavalue":{"value":{"amount":"+0.7576501965522766","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":"Q953533$9D584128-A492-47E2-A29E-2F1CDE414B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb749952a68c5b82e606596cc60d6f39df18bd79","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c650523718f750317ab84e55d80a6c4a3c6fd5e","datavalue":{"value":{"amount":"+0.7487560510635376","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":"Q953533$5451A787-9A7E-402A-8911-22F1CAD93AB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:953533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:953533"}}}}}