{"entities":{"Q808721":{"pageid":810569,"ns":120,"title":"Item:Q808721","lastrevid":64494999,"modified":"2026-04-11T20:16:26Z","type":"item","id":"Q808721","labels":{"en":{"language":"en","value":"Correctness of static flow analysis in continuation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211527"}},"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":"Q808721$71A366E4-3A6E-4333-B168-45E78774C654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbeccb3c0c804c6895f41b130e17a7cfc90ca963","datavalue":{"value":{"text":"Correctness of static flow analysis in continuation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808721$10BDFC41-BD22-4F3A-BBC9-B67205699D92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"465bb5c2938ef3ca18669db3f0c007a4e1dafc1e","datavalue":{"value":"0732.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$D3C12FB7-48CA-4A3F-B913-1A2076E8A163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f02c72064e671ac7acd8894770ee45f5c22c93","datavalue":{"value":"10.1016/0167-6423(91)90021-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$024D9DBB-025D-409E-ACD4-90892CDF3929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42a6a8bbe1e4b0a14066d7a3a693026201c62bcc","datavalue":{"value":{"entity-type":"item","numeric-id":808720,"id":"Q808720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808721$F0611216-32EF-4F40-8C40-53EEDB452C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808721$32FB6295-146B-4363-B31E-1A2297417AC4","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":"Q808721$A80BBB5A-32B8-4A89-8276-F99EDEFCE036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808721$2B1D664F-DC01-48D1-AF20-A7B3626854BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$6BDA237C-83F5-47B4-9941-062D7B9E0E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$6073BC19-8DFC-45DC-9130-26BD323E644F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"757bb0e46fa321f8e3d1efa999ad87303ad40f3e","datavalue":{"value":"4211527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$F30C5543-DDCC-4440-AB90-ECFF452E1185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c489d934e0364ea1174a71e689e5af56100c57b4","datavalue":{"value":"semantic analysis for a block-structured imperative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$931EC479-5BC1-48C4-BDF8-72D6A28693D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$FC54D7B6-6F29-4BA6-BBD7-186D1C30F17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad2f6bccdee3f12ee6654b3c00c162504b6bcd0","datavalue":{"value":"dynamic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$21D1076B-DEF5-4DFB-9E9A-C18647A07BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb850cd1fa3fb56a927cf59bec6f2a13eff8332","datavalue":{"value":"compiler specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$F32B3C35-B4C1-4AE7-9227-EDA40E74A6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c69a55602574d89024663f616381adda06d3cbc","datavalue":{"value":"denotational definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$A52D0B59-9991-46CC-A39D-9AE9E3B6D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ac2a2aa44a5ae68f3b4a494b35591a9b036d52","datavalue":{"value":"static replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$D4C3F937-05B9-44E3-9D89-F0653D2A098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eefc55d19757133a6d7014afa3f41525412be29","datavalue":{"value":"factoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$762BE2D5-FA81-4DD1-A2A4-6968153B8EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q808721$75839B9E-EF74-4F92-AEEC-C41E8D2A9BE6","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":"Q808721$6FC99BFF-DA80-418C-9136-6E7515275851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16c3969c134c793ef8234a468374d4e9dab34921","datavalue":{"value":"https://doi.org/10.1016/0167-6423(91)90021-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q808721$1D49D7A3-3215-4C9F-BA8E-863DE2855DE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9de67b2755e25e36c890553202abfdfbf8817070","datavalue":{"value":"W2048586547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808721$607944FB-76CC-4A65-BD04-BD88501D8753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c5a4d57286f1e01cc7ebe26764b62b5dbc8597","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b02848a27ab7566ae56b145b30969986baecf41","datavalue":{"value":{"amount":"+0.8798648","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":"Q808721$938C9A79-0A5D-4684-8912-59761F952687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8422bd29b72832e56dd3b75840617a8f99fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":5466589,"id":"Q5466589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cf405f770d3b3cb93ffff5a7ad50adb20c49bf","datavalue":{"value":{"amount":"+0.8751855","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":"Q808721$089FCADE-D1BB-46E8-9BDD-7647F83CFCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0799e8c034b999d7d63955690ae84cb06442b136","datavalue":{"value":{"entity-type":"item","numeric-id":2900270,"id":"Q2900270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56df94f1b1bf8742c4546fd1ebca032661d76f5","datavalue":{"value":{"amount":"+0.86470115","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":"Q808721$3A480A8F-A40C-45B0-A082-E4CD9C16162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69ff5043948c4bfca7d85a130af3189acc73d82","datavalue":{"value":{"entity-type":"item","numeric-id":3535677,"id":"Q3535677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d554ea8ab4936971fe96fde0d174ed3bdd6794a2","datavalue":{"value":{"amount":"+0.8619644","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":"Q808721$058A1EBA-BBE4-4984-8F3D-DC4F06A08788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4377b4538e9ffa25abd20f5f821f3cc131700102","datavalue":{"value":{"entity-type":"item","numeric-id":4263165,"id":"Q4263165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf058add0311d5df9d36ebffce7fc19a16f449e","datavalue":{"value":{"amount":"+0.8545847","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":"Q808721$79D2A063-D02F-4F3C-92FF-20061B0A39FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21da4e36b6f89f8ef8cfc937783c9a68aa2c7918","datavalue":{"value":{"entity-type":"item","numeric-id":6091333,"id":"Q6091333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fbf8f35fa39a4a973d396c959e55729dfc9379","datavalue":{"value":{"amount":"+0.8535661","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":"Q808721$3BABC7F1-5281-47FA-A62A-E1A734AD3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7d6f9a0ca47c83194a999e638a7f5b10c205bc","datavalue":{"value":{"entity-type":"item","numeric-id":5385595,"id":"Q5385595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8662de989dd481294609f896ad0345af403bff9c","datavalue":{"value":{"amount":"+0.8522153","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":"Q808721$53B29F62-1DA2-4600-A4A9-C3CA2A95F027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e63a15d35b7aaa9a8492a47c34ca8906e7b88d7","datavalue":{"value":{"amount":"+0.8521738","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":"Q808721$85E35AEC-9CB7-45FF-A655-E6825A93B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17358829a75debe1c731bbcefbc55faf112b10a","datavalue":{"value":{"entity-type":"item","numeric-id":2997336,"id":"Q2997336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1a75c218387734b185f4331754d10d8636696a","datavalue":{"value":{"amount":"+0.84948695","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":"Q808721$C607FA9D-3361-47F8-9625-F2E1ACA47E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b145a259b764044b9a0bf8c27ec008e0e79a818","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b609ac963b8d1ec37e4fd3377893d297c9a7762c","datavalue":{"value":{"amount":"+0.8490502","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":"Q808721$F1E34580-6218-469D-BFE4-125E880B4E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of static flow analysis in continuation semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_static_flow_analysis_in_continuation_semantics"}}}}}