{"entities":{"Q6165552":{"pageid":13300433,"ns":120,"title":"Item:Q6165552","lastrevid":98764790,"modified":"2026-06-05T18:25:57Z","type":"item","id":"Q6165552","labels":{"en":{"language":"en","value":"Efficient computation of arbitrary control dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7720775"}},"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":"Q6165552$11E99510-D0E2-46B9-8E70-34892F44EE6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45c5c8ff8285b6804e720b92324e317533b1f17","datavalue":{"value":{"text":"Efficient computation of arbitrary control dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165552$195F3A7C-3788-446C-B363-5063F480CA23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9971e011e5f6f97fa70531f6716c7e9b2e64f06a","datavalue":{"value":{"entity-type":"item","numeric-id":682364,"id":"Q682364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$73346BDA-4EDF-4A5D-8123-DF103391FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$04112FBE-4693-4948-B5D5-F4FFD6D4872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$AFC34746-A1CB-4EDF-82DC-E841616745C2","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":"Q6165552$D0D39519-5BE1-441E-833F-4D11BB303A3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c978816f28b6a5cd9be9f20b7285917fec67fc21","datavalue":{"value":{"time":"+2023-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165552$257C357B-9110-49F6-AD85-3FECEC6B0696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165552$1D0F9649-CBAB-4C6E-B47B-5CBCA9DA64E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eef284ca8ac898e0eb32b8d87d2e4ff0e4d16877","datavalue":{"value":"7720775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165552$E87964BD-D7FB-4EC2-B09E-19689B4766F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e2281c202586efead0bb454289123bf5873d73","datavalue":{"value":"control dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$40A10DD9-0606-4FE4-BBF0-5DB962884E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39502a47be5f4e47b07797fabcaeaffe21110e10","datavalue":{"value":"control-closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$574BBEB3-2769-45F0-9D61-4186EFA0C62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$6257B35E-6EF3-47BC-A9DE-BD79F223C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631c94465a5aacffb47f8e100dd874d5a8c3b3c8","datavalue":{"value":"proof of soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$EBA39AC7-F964-4906-9ABA-82F9B8058761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$821D814B-5B40-4CA9-99F3-9244D23E3F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace784b1bf6b3ec86687dceb5e087ed5c12bfdd0","datavalue":{"value":"Why3","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$ABEF5FF4-4BCB-4A05-8BB5-921C09E06DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165552$338A81F6-6926-413D-B8FD-CB92714ADF24","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":"Q6165552$3BF19EB8-3BD3-4591-BC12-B6295A7DF349","rank":"normal"}],"P223":[{"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":"Q6165552$15906595-EBA4-4BA7-B052-7A3710A23F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$CFC98CCC-CF8E-43FC-ADB4-5262C6DE8A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7522726bb54d7cdc8e3fab968105cdd4cd2fa1","datavalue":{"value":{"entity-type":"item","numeric-id":650921,"id":"Q650921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$09D24388-801D-4830-9B81-B5269CB45E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$F308E2F5-9640-43DE-B55B-48CBD8264224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$DCFE429F-79C3-41CC-B27F-C0D4332C90FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8399f1fd8fd60c2f545ea3c0d62101467f7b20cd","datavalue":{"value":{"entity-type":"item","numeric-id":963331,"id":"Q963331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$32F6B988-3E34-46CD-B817-C4B6BBE44DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed61071955efcaa77b7b3190176d14159353f79","datavalue":{"value":{"entity-type":"item","numeric-id":2811339,"id":"Q2811339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$2F523AC8-C579-48B7-BF14-CA8E846301E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8074f3bc87dd5a5e80eadac646f8a1478d703585","datavalue":{"value":{"entity-type":"item","numeric-id":3896499,"id":"Q3896499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$6D706579-A858-4C30-8EF1-688417E7D679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b5f9ff21a670b1762d6d5322b5897ed58e20a7","datavalue":{"value":{"entity-type":"item","numeric-id":5301382,"id":"Q5301382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$767B9F59-4B98-4267-A0C2-8689EBA512A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0a880fecc32d2cae6b5c02d7c982f0f7a4d2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3395044,"id":"Q3395044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$1EB0F342-0950-40F2-B671-A8AA12BA568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccbb56b85a282c484c7705c2d6e9afc9f1798be","datavalue":{"value":{"entity-type":"item","numeric-id":2945625,"id":"Q2945625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$5E4F2A55-471A-40D9-AFAB-040BF2752F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de99bddf11475a654c0d4d02d59d601e987f1c93","datavalue":{"value":{"entity-type":"item","numeric-id":4962208,"id":"Q4962208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$D94D8F2F-017B-4FA6-9308-2378BEC6D27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f31bdcd000fbe7973cd51db0b937c6a72fc2336","datavalue":{"value":{"entity-type":"item","numeric-id":2801762,"id":"Q2801762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165552$E00EEB63-D94D-4F51-9F6B-074828A8DBDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d313f76fa2d677e6e2a8281657ed179e0198aa","datavalue":{"value":"10.1016/J.TCS.2023.114029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165552$12DE3D19-F892-449D-A318-3C04BD11CAFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ce47ab5ddc3ce234553ffa4e8020ce98932fa0","datavalue":{"value":{"entity-type":"item","numeric-id":832318,"id":"Q832318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c9f9ebea0dffd3b63de398212aebfe05506fd2","datavalue":{"value":{"amount":"+0.9389358","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":"Q6165552$06AD2DDD-7809-410C-9E86-5B42B5A9C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bf0b52bfb7fe4679b9413ca8cce3d5976706ab","datavalue":{"value":{"entity-type":"item","numeric-id":4863422,"id":"Q4863422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b023ad9909e0cf62a8847a49fba33069449107","datavalue":{"value":{"amount":"+0.9223983","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":"Q6165552$B72A4E4B-0A02-46F9-BFA6-0A67832EA1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd09d07ae12edcbd9bcf4a6d34a68450090f4a0a","datavalue":{"value":{"entity-type":"item","numeric-id":650921,"id":"Q650921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b7e717420991563912b8dd6957b445fbb93fc6","datavalue":{"value":{"amount":"+0.86460173","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":"Q6165552$37EE9038-2164-4A14-9841-7B04F92C13D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf328b2ae483a8bac10c6bbe2eba433f6c9aa828","datavalue":{"value":{"entity-type":"item","numeric-id":1772780,"id":"Q1772780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080c40a352247859336b888c462550d315af147a","datavalue":{"value":{"amount":"+0.857589","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":"Q6165552$578932B3-E082-4D54-AC82-AD363BB51849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8deafbb8997d2e01ed8dc72c7c83a59a2a80ead1","datavalue":{"value":{"entity-type":"item","numeric-id":4945219,"id":"Q4945219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a95901e8d67d33bb4a3e6fd4adc0bf02daacd2","datavalue":{"value":{"amount":"+0.8442541","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":"Q6165552$76E244FC-D5DC-4F7B-AA4C-9C289C0D8755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779371d77541c0e90a4a1d0ab8003880626df1b1","datavalue":{"value":{"entity-type":"item","numeric-id":6164434,"id":"Q6164434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c858171db855d2bbf395d0f747589a574b225a5f","datavalue":{"value":{"amount":"+0.8415725","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":"Q6165552$7C5B5219-3DD9-46C0-AE13-613B96A3FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7870b97579c89d91e0924ecba7fb7b29fcc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4694717,"id":"Q4694717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c658f23da99ad7508f52fe6e6106de29bb2889d","datavalue":{"value":{"amount":"+0.8324941","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":"Q6165552$5DE2E48E-75E1-4773-8E7C-A22D5B0F6B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc684ddb6d8267c746865df2332e5e8e10dc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":5375445,"id":"Q5375445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6667d7f04c38d7d5f45a07535d1db262e3e03532","datavalue":{"value":{"amount":"+0.83053225","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":"Q6165552$7F270620-6CB8-422F-B72E-48E39ED4A455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient computation of arbitrary control dependencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_computation_of_arbitrary_control_dependencies"}}}}}