{"entities":{"Q1944776":{"pageid":1955518,"ns":120,"title":"Item:Q1944776","lastrevid":57630765,"modified":"2026-03-31T16:48:38Z","type":"item","id":"Q1944776","labels":{"en":{"language":"en","value":"Reachability-based acyclicity analysis by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149027"}},"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":"Q1944776$CC8C4224-2868-44BD-A17F-296FA950FE15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d21538278ba26d3ec62dfe6d278a518b92818ac","datavalue":{"value":{"text":"Reachability-based acyclicity analysis by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944776$14629DA8-661B-4901-B5C0-207136E65A86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5230d621416b5cb29b040f9250a7c5366a2c89ce","datavalue":{"value":"1259.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$F27ECA60-D715-430C-900D-354F3668BA2B","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":"Q1944776$B46FF911-2219-4D0F-9A6E-5AD27F65120B","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":"Q1944776$4FA8B533-62E9-4283-A152-9E0C575D2457","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":"Q1944776$9ED56381-67F2-4170-B47B-0F63AC0596FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f050e809bf0d98a9e4fb011b4fba825fa59b3a4","datavalue":{"value":{"time":"+2013-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944776$5FCFA87F-C802-4484-8352-799056717A72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5729a00a8b13fa76edf030b40d314db7bf966cd","datavalue":{"value":"https://arxiv.org/abs/1206.2188","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944776$DEAA0BE1-5462-475A-BCE5-CD6E3737706E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$3DD0681A-1E06-464C-B431-E5F6DC1AFB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$C5F6A75E-FBBF-45BD-97E0-77176C9D85D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$9B8FDC3E-9282-4FED-9F86-A29CF525A355","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef73991393e3a7ed30ba7e2327043ef099adab29","datavalue":{"value":"6149027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$9A210C9D-6928-4C9E-A251-DB0AB541F915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944776$4150EB69-1C95-4F5E-90B1-2EF59EE3F90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db16088a94a7f8359ad8a576dcdc149fe0aa5ca","datavalue":{"value":"acyclicity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944776$221E265B-0CA0-4969-A3AA-6429FFCC3E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944776$4748D9A1-2BFF-4903-A53E-FBFD11F48620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944776$A15DA8DB-64E8-443F-9237-AFCA9D29B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70620394f82d3f54d7878b798dc43a88411f1e5","datavalue":{"value":"heap manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944776$18A4850F-DCE6-4C03-8C62-0DABA41EB3D3","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":"Q1944776$FEA5DB0D-6039-4A5B-AB50-126B59FAB123","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc97991ba74fb17f1f10cf885081cea4c90e044","datavalue":{"value":"W2061213370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$818658F3-84FA-425A-A94A-37BB5772EC50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e0c7e0ae94db818606da0ac9c93241192308acd","datavalue":{"value":"10.1016/J.TCS.2012.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944776$0CE3EFA6-F9DA-4837-924D-C3BD0ABCBF65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79a54a5aacae3f5aca66bd3ea851788946fe8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4633167,"id":"Q4633167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cfc53dba1592593aeb8f773b956360fcc903cb","datavalue":{"value":{"amount":"+0.9047909","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":"Q1944776$55762FD6-C88D-4BF0-B527-930AFE78B181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d31d4f104a94d0f85b2fa4ca120f599e6292d1","datavalue":{"value":{"entity-type":"item","numeric-id":407521,"id":"Q407521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed111cdc7b453fba70e409fbbf38a1ea41262cc","datavalue":{"value":{"amount":"+0.9033482","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":"Q1944776$C4CDACB9-44E3-4A86-8EAE-283EA63173C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cd45152579f82449f3ef54e5c762c34bc28e47","datavalue":{"value":{"entity-type":"item","numeric-id":4940927,"id":"Q4940927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cb7cd55b97b311d65e716df1ce76a6bc7fde66","datavalue":{"value":{"amount":"+0.8929066","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":"Q1944776$B537385C-E5A3-4A3C-9604-C040A01489FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b181d7502e681492f607f5cfccb751f6c2e2e76","datavalue":{"value":{"entity-type":"item","numeric-id":3522082,"id":"Q3522082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82333f144539abefe866035d17b922e30eff4358","datavalue":{"value":{"amount":"+0.88816315","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":"Q1944776$2DB69625-CDC9-43CA-BD83-5AEDFA7AAAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a76f96b4fd6492d173e1626700768164171aa3","datavalue":{"value":{"amount":"+0.8845706","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":"Q1944776$D33D37EA-AD3D-4FAE-995D-53001A4DCCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b921b21969bd86d618ee0c8485219d4a351f41","datavalue":{"value":{"entity-type":"item","numeric-id":5758100,"id":"Q5758100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f189a62f600bfedf5f050487850d5c6d840cc4f6","datavalue":{"value":{"amount":"+0.8840923","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":"Q1944776$8E645E0A-2DDC-4CEA-88A3-3C5539AC794C","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":"8d3636acc22141f41dd33a37a826532b44429576","datavalue":{"value":{"amount":"+0.883129","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":"Q1944776$BCF8F3BB-27B9-43B5-875C-7C622CF89FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8aa5714219a846aadc9363d4c887796910cef5","datavalue":{"value":{"entity-type":"item","numeric-id":5277878,"id":"Q5277878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25cb671cae47d9041b02929711981e677dd0238","datavalue":{"value":{"amount":"+0.8814834","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":"Q1944776$327BACF1-8AE4-4809-982A-066A26705F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df82ae38b436e6d989f41c9dfc2ebf1459aa75","datavalue":{"value":{"entity-type":"item","numeric-id":2980977,"id":"Q2980977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25cb671cae47d9041b02929711981e677dd0238","datavalue":{"value":{"amount":"+0.8814834","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":"Q1944776$2DA88311-18FD-4FCB-A540-7253BBDA2F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3740187840940935be98330927d73be05aea97","datavalue":{"value":{"amount":"+0.8782688","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":"Q1944776$FD259653-8E72-4EEB-85F4-7DE3A8141148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1944776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1944776"}}}}}