{"entities":{"Q6164434":{"pageid":13299315,"ns":120,"title":"Item:Q6164434","lastrevid":102657737,"modified":"2026-06-06T05:05:34Z","type":"item","id":"Q6164434","labels":{"en":{"language":"en","value":"Fast and incremental computation of weak control closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719737"}},"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":"Q6164434$A56F0D2E-DB24-4F7B-8133-77D51F8F9B31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76cbf3a52819d93499b0b5230cbec5967a49b7b8","datavalue":{"value":{"text":"Fast and incremental computation of weak control closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164434$0C3C1A21-96EA-487F-81C5-2201C3CCC6D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452d81c68e079c7a6221ca7d0f1a85bef4ffed23","datavalue":{"value":"1524.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164434$0A467ED7-A137-4008-AD65-BA037EE5F5EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f4af3d4a4192e64d8985d896d008a00988eedb5","datavalue":{"value":"10.1007/978-3-031-22308-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164434$0927B128-C989-425E-ADA8-828F7A4A1582","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8493cfdcae9b4de5a2af723b1d760fac9d2516","datavalue":{"value":{"entity-type":"item","numeric-id":2233535,"id":"Q2233535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164434$FB63E28D-F69E-44B5-8904-A1854D5616F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164434$7479EE40-E196-4994-9753-7AA7E6DBFE51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164434$27CCE100-C4D9-44D5-AD04-219CB32F84AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164434$3311C2F4-995A-4F0A-A6D1-C56B0325365D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"856555910d4b8d306211505d9f4a49d868c9e8b1","datavalue":{"value":"7719737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164434$43F367C3-D737-41B4-85EC-559D99A01D9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e2281c202586efead0bb454289123bf5873d73","datavalue":{"value":"control dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$5E198A87-7FAD-4330-B149-A64300627E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1c741a58e7037285029450db033a5f48c6b1b0","datavalue":{"value":"weak control closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$4B1A67F4-254C-4FFA-9018-42322B3959FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2453c687b69a8aa201bb3ed86f687083918a1842","datavalue":{"value":"strong control closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$7B8DC721-B58A-4BC2-A353-7639E734FCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$2B5BC9E8-E14B-4F34-B3FF-C13A19266263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d62b1756b09adc954f54a3398289d1c67f62df","datavalue":{"value":"nontermination insensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$4B9FDAA2-72FA-45FF-99DC-80ECB01D2914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0692bc24a94498d9c0836be8c70e9bf65b0f74","datavalue":{"value":"nontermination sensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164434$AFDA80CB-4B16-4B54-95F1-99DEDE34A472","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":"Q6164434$14734540-D3BE-4238-9FFA-19B5BE1139F0","rank":"normal"}],"P223":[{"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":"Q6164434$4EF965E4-1710-4609-B130-126C647C7E6F","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":"Q6164434$21272BA5-95EC-4C4B-AD02-A4350E528032","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":"Q6164434$0A330D5F-760D-483E-97D1-9D6296ACFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db44992d4e5c245ee6b17ac8153c951340cfcf3","datavalue":{"value":{"entity-type":"item","numeric-id":2233536,"id":"Q2233536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164434$1E3A8D47-F734-4BA6-A227-CEBD5F8BEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515eab03ce40e04f6808988f7db48138768eb0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5316585,"id":"Q5316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164434$3CE54E28-5591-47E5-8EA8-427CCDBFECBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b464592133b3ee4a903040f806f0c0f22063b6","datavalue":{"value":{"entity-type":"item","numeric-id":2233536,"id":"Q2233536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3de9d065f831fd777c10a95aef32a5561c88fb","datavalue":{"value":{"amount":"+0.9022741913795472","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":"Q6164434$C382561E-D7BC-4BDA-9704-DC29D8FB0023","rank":"normal"},{"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":"1362687c08e26af1b4552191230e5ba1fd1e6040","datavalue":{"value":{"amount":"+0.7844768166542053","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":"Q6164434$459FAB43-69A1-4556-8677-1A04710C194C","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":"7785a83056e795b73aad4e823d146fcd17938787","datavalue":{"value":{"amount":"+0.7742435336112976","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":"Q6164434$A6530DE1-17F4-438F-8053-F6B010A90DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defbb945bc30fb9089ec1c4d5aa785ff22e7a2f6","datavalue":{"value":{"entity-type":"item","numeric-id":5316585,"id":"Q5316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc72f20790370dd37007a087f79a8c28cfff99d","datavalue":{"value":{"amount":"+0.748332679271698","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":"Q6164434$7A7447D9-B4AA-40AD-8AD5-CEF754E1301B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9c1527efcb43da6f46626503ad4d246fc8f5b9","datavalue":{"value":{"entity-type":"item","numeric-id":1675759,"id":"Q1675759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbfcb52a6367f1d904587a3df6f688cd6d5d3c1","datavalue":{"value":{"amount":"+0.7175790071487427","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":"Q6164434$95B60CA9-CBAC-473A-BC80-AA60B04E306B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast and incremental computation of weak control closure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_and_incremental_computation_of_weak_control_closure"}}}}}