{"entities":{"Q407521":{"pageid":409288,"ns":120,"title":"Item:Q407521","lastrevid":61627839,"modified":"2026-04-11T00:34:31Z","type":"item","id":"Q407521","labels":{"en":{"language":"en","value":"Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6338733"}},"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":"Q407521$5F5B2647-3C24-43AE-876F-78FD77B18665","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e4fe4ac1a74dbdb98adcea209ac48737cbc658","datavalue":{"value":{"text":"Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407521$335F58B7-54CA-47D5-8D49-D656A8687496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93acb1fec015c621a2b08fa5f0da4bb24163a4f9","datavalue":{"value":"1298.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$82D45D72-AE3F-41E4-80A9-9885B8C3FB79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407521$3409F32C-4119-43C2-91A9-59BABB179ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b61809f75c939ee59cf68728fdfb026a3ea59e5","datavalue":{"value":{"entity-type":"item","numeric-id":407520,"id":"Q407520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407521$E0F4B2E7-A78C-447A-BF21-1F03CCCFBEDE","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":"Q407521$69FF1544-98CF-45C9-B387-C4EFA95EE214","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d0d0cba453ee9297884d6a65b53ea15efc84e68","datavalue":{"value":{"time":"+2014-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q407521$55147C9B-BFDD-40B6-8F2A-35C611F05337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$A798D946-BA33-4923-A45C-4A3FCC301D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$BFC7B0FF-9E3E-4626-B11F-7ABA9C3B360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$DF0B23F0-8BF0-4C6D-9A9F-00F3240846AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230d992dfff7e80d02f9d9c145c44069dd9d1a0c","datavalue":{"value":"6338733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$E756DFD3-A1EE-4228-B2CE-E81FF2A0986C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q407521$81E85671-A9B9-4CED-84D9-C31D69DD4AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db16088a94a7f8359ad8a576dcdc149fe0aa5ca","datavalue":{"value":"acyclicity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q407521$1D4073FE-B83C-4C23-84C6-F62019109E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q407521$F419D1C4-67DB-407B-9C10-88D3B52D98FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q407521$7C209B9E-F5CD-424F-B0B6-CC29888AA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70620394f82d3f54d7878b798dc43a88411f1e5","datavalue":{"value":"heap manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q407521$E11EF447-816D-470E-989B-6AF03B20DC27","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":"Q407521$F4D2B1D6-91AB-4592-8211-36483EA0FA9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caf0e01f66d03a1f6e870b8145900dd99928e9b3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q407521$0F978196-86F7-479A-A913-CEA7CF5BFB0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86498112e06a38927469460e2a338e9d97270444","datavalue":{"value":"W1976806395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$A962D3F9-4FF2-4E70-B570-5CB1B12C5712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac72c4a667e4e50fad406850604de7ccf057dd61","datavalue":{"value":"10.1016/J.TCS.2013.07.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407521$7E305B46-7085-465A-9DA7-79C9B6542375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to_%60%60Reachability-based_acyclicity_analysis_by_abstract_interpretation%27%27"}}}}}