{"entities":{"Q860844":{"pageid":862692,"ns":120,"title":"Item:Q860844","lastrevid":64899717,"modified":"2026-04-11T22:58:28Z","type":"item","id":"Q860844","labels":{"en":{"language":"en","value":"Type systems equivalent to data-flow analyses for imperative languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083499"}},"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":"Q860844$8D0016D2-4CEF-4EBC-8EC9-DFC0FB12377D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6175b810759ede09de2246f62102400893e246a1","datavalue":{"value":{"text":"Type systems equivalent to data-flow analyses for imperative languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860844$005B542D-8FFA-4D4A-B104-D9B7A071D1DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15a72577dedd3b58e1392c99663d9f2d80da9cb7","datavalue":{"value":"1153.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$E263BF76-7027-4880-BFEE-810387EF8E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"773ff57b277e7eac5a5cdf3c9adccd2e22d730c1","datavalue":{"value":{"entity-type":"item","numeric-id":860843,"id":"Q860843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$867D21DC-1F9C-4972-A5B7-A8456507B746","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":"Q860844$522561E3-F11F-4E9F-83AD-6C74FFB269C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc78d11b35a64139651ee423931f3dc28b2af774","datavalue":{"value":{"entity-type":"item","numeric-id":235625,"id":"Q235625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$BE149769-318C-4372-B0E8-5E2DD1BC0745","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$B6BDE3B5-321D-4FDA-888F-B5C27D99D217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860844$73BF9DFA-D617-48F0-A7BD-CD1FE62187A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$40C16952-51F6-4F51-946E-421552927081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bcca5ebb15cb701314fcbb000ad33710f289f16","datavalue":{"value":"5083499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$E1F733A1-72D9-4E9F-8FFE-F568D35B5D1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933665e75ea1289575aacb2502bc4ced7876d0a8","datavalue":{"value":"data-flow analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q860844$A71C6551-EBEC-41EA-89CF-5A59049303CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfaff2e656c9ea4d9057132f06ae95194b97478d","datavalue":{"value":"secure information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q860844$4DA42544-70FB-405A-B6F1-6B57818C33C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q860844$07FB30F3-3B67-4500-B131-4746633CDE12","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":"Q860844$5DAC2A34-A00D-4106-B4A7-899CEAAB186A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db6f38b57636a0b18ff8e325e10cb81bfe3d6e98","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q860844$DB78DA09-BD31-4226-978E-E670B2C56B0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e19c3afb17b24d16284b9ed83633f08f8f922a96","datavalue":{"value":"W2149925406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$ABE77FCB-F4B6-46FD-957B-D80620848687","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6361104040e3d61837835e634379a94e397592cb","datavalue":{"value":"Q62043271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$52D01059-0743-4D58-9EC6-444198042A2C","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":"Q860844$7573D29F-1AF8-4536-ACDA-2E4C878D938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebdbe8cda4e5e31d2b32028bfb4b43bafcc648b","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$1E4A5A9C-486F-4B18-97AA-3EB13753BEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69af53bbcd2d5d576d9c79cf3d74b89478f249c","datavalue":{"value":{"entity-type":"item","numeric-id":4518876,"id":"Q4518876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$10DBF5E7-026C-4BF8-8F78-9749621C52A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba429b0799ed96e59e6785a29eaf897e38f647dc","datavalue":{"value":{"entity-type":"item","numeric-id":3922155,"id":"Q3922155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$746143B7-5C3F-4C4E-913B-3369C53B0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$836590E1-AF10-477B-936D-49EE6D64BD85","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":"Q860844$172F5DE7-65D8-4313-B52C-5B42CD54435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec3f0c3e0eea7868adc28f67a38c3a8cf93bb37","datavalue":{"value":{"entity-type":"item","numeric-id":4329632,"id":"Q4329632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$DF8A47E3-EA35-44DD-AEC0-83F0ADC9078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56658c0f1c23c8e6d167b1a6ff1c123b84e63f98","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$FD487300-BBB5-4C96-A7C8-981388D57E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0faa435096c3755f4e216dd37e2be1b93f34e46b","datavalue":{"value":{"entity-type":"item","numeric-id":4417891,"id":"Q4417891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$89D3DCFF-E04D-4B58-819A-8EA839F27D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982c4c80f6555ec1529b70d6f2cebe0150d17ea2","datavalue":{"value":{"entity-type":"item","numeric-id":5316577,"id":"Q5316577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$B629A8C4-7D9E-45F0-8DEE-16CB0163CDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe8cac8585e29aabc7a821fa20c965a2d68e7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178881,"id":"Q5178881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$69964352-F42E-4D2D-B546-0220FFAC593F","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":"Q860844$1C389437-62ED-43FF-B812-492F74A0999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068704cf4615da30a2835e3abea74899686e26a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$6851DB78-2143-4BD9-B0C4-CC3C08164C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a024547fb4d0341c835704caf71031c47946df","datavalue":{"value":{"entity-type":"item","numeric-id":1826470,"id":"Q1826470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$22382B81-7895-4348-B0C6-8886CF703268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a90446824978e237bf1b1d3f3cba3d9863c5009","datavalue":{"value":{"entity-type":"item","numeric-id":2770462,"id":"Q2770462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860844$67D259F2-89F1-4108-A2F8-61320B1596F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f48b8cd94a7ed8bf70ab0c742c65b35f6207f438","datavalue":{"value":"10.1016/J.TCS.2006.08.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860844$173AFF4C-24B5-4592-AB01-C45DC8BA3716","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1b578d8ac4dd169ff3b568571610e479bff9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5458425,"id":"Q5458425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bca6ae63d4a114e1b591c038eb5a7e47be0be4b","datavalue":{"value":{"amount":"+0.8901905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$BA283DE5-8C48-4280-8163-E3944993E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce9c811e084c726b1dbc0e81506a1dec0ecda8c","datavalue":{"value":{"entity-type":"item","numeric-id":1399007,"id":"Q1399007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64edf427b9dbacaf649d885c439b70a4963822a","datavalue":{"value":{"amount":"+0.8882333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$3B2341CE-B6A4-4AC7-9D76-0C976263445A","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":"39d7c657b2ee1b60f6b74d828b6dc27724d42b5c","datavalue":{"value":{"amount":"+0.882834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$5DB4EDF1-AB16-4178-B70A-20140FC29E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f915dfe5bdcf5881e5d77f1c9e36acd0f1f90b","datavalue":{"value":{"amount":"+0.8783355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$B2FBCC16-4E88-4986-8772-3E0D13334EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4ef10cca69d9efcb64686fbfea700c4fa2281a","datavalue":{"value":{"entity-type":"item","numeric-id":4738343,"id":"Q4738343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c53107fdc4d4261c0f5f1ec83ce895c8a99da1f","datavalue":{"value":{"amount":"+0.8714777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$5EB93670-7240-48E1-A74F-5D97A024FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493ef039100f22c16fab53a9fccff30a5215571d","datavalue":{"value":{"entity-type":"item","numeric-id":4380998,"id":"Q4380998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88b4b847250f31f6a4bc3534d5169a702e77b69","datavalue":{"value":{"amount":"+0.87130666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860844$0C942704-ACBE-436F-9D0E-3671534354B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type systems equivalent to data-flow analyses for imperative languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_systems_equivalent_to_data-flow_analyses_for_imperative_languages"}}}}}