{"entities":{"Q2942877":{"pageid":2953597,"ns":120,"title":"Item:Q2942877","lastrevid":52343321,"modified":"2026-01-22T09:45:29Z","type":"item","id":"Q2942877","labels":{"en":{"language":"en","value":"An abstract interpretation framework for termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481252"}},"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":"Q2942877$FD754586-D8D2-47C7-A4AA-C4484C0637F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7b84822d6b069b973d4348bbe9f72e76e8f3cd","datavalue":{"value":{"text":"An abstract interpretation framework for termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942877$022D251E-4F76-48C0-A880-AA638675872F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60390771c1be135db994535d77613a96d1dc3d15","datavalue":{"value":"1321.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942877$68D7B476-1E48-41EB-9EC8-65A71A23FBED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6f53ae1def0c58db187be060215e7773bab572","datavalue":{"value":"10.1145/2103656.2103687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942877$9F02CAA1-E445-4591-A0E0-7EC90F05D97D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942877$59F7D3DB-15E0-4C97-A91B-16657072510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942877$6EE57E2B-8423-4B47-A969-FD4F793A31DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942877$FFE1D9F1-EB54-45C2-9C66-1EB7B5D9F78F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942877$EE3EF17E-EDF8-44DD-83F4-B084FE52F84A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942877$5E488627-33CA-47FD-9221-0DC80231DD4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"485170cc2389baf2b80bcb462d73524a4ce93707","datavalue":{"value":"6481252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942877$BD4B6B8E-3C0A-4D64-BC39-774D37CFC69A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$BB3F70C1-2F4D-44BC-A560-E4FDBB8A1FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$2A74B387-77D3-42AA-8FA6-EE0619ED7519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$8AA8844F-E11E-45C1-92D0-21A0C77193EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$73C42883-93A2-4CF1-BF8E-5D6995A31A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$6B750EC9-3D43-4E5F-8B0E-C3FC10535494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa14520e718e2fc78bd128d32dc82bce8697d046","datavalue":{"value":"variant function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$70A2B821-7C62-4335-AA78-301A40182515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942877$D3027387-0249-40BC-8C4F-8F6EA5699C10","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":"Q2942877$387247A0-3F1E-4FDB-83D2-63E638AFE491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcea865e3476a9857647e8a8dc34c5ab0a064e0d","datavalue":{"value":"https://doi.org/10.1145/2103656.2103687","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942877$78CFBDBF-7B51-4315-8CAD-96B0B33A7761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d1d42ede355602e8177efce2d436788a0dbc90","datavalue":{"value":"W4240185672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942877$B113A765-109B-4454-8FB2-B4C56290EE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e4c895fe7960d75fd56edf3385c11ffa23ce39","datavalue":{"value":{"amount":"+0.7752688527107239","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":"Q2942877$8B1C5BED-70CD-4292-AE17-426AB744C408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8802bb2a9ff964476735a4153ffd481f98d4dd","datavalue":{"value":{"amount":"+0.7658084630966187","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":"Q2942877$03192988-C971-4B11-8296-2364B84EB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bb1e1fcaeba037605b92baa04d232bdb6df85b","datavalue":{"value":{"entity-type":"item","numeric-id":5313178,"id":"Q5313178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e34552a2ccbbf042dd7d707b7816e2d36e07f5d","datavalue":{"value":{"amount":"+0.7635148763656616","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":"Q2942877$581F4682-CC35-4755-B8F0-8B5E0748AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99ae88e12c484fa3e778a1407e7a4c9689f6426","datavalue":{"value":{"amount":"+0.754360020160675","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":"Q2942877$E87F4F07-9537-4A76-9B50-5C2DC07DC943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83aeff77adb204bde017cd0a8cee7b26c543eb46","datavalue":{"value":{"entity-type":"item","numeric-id":5170173,"id":"Q5170173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d791a3f62de2fcc1d08b367b22d95589a67d2e8b","datavalue":{"value":{"amount":"+0.7531663179397583","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":"Q2942877$C300D895-7CDB-467E-8705-C9E781A7E12E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942877"}}}}}