{"entities":{"Q6570937":{"pageid":14182092,"ns":120,"title":"Item:Q6570937","lastrevid":55707673,"modified":"2026-02-17T21:26:06Z","type":"item","id":"Q6570937","labels":{"en":{"language":"en","value":"A mode analysis of logic programs by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7879781"}},"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":"Q6570937$DC12228F-5259-4FC1-90C9-6E89B41EC80A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7706a0ff705850ad82cb3c096b8cba5cfdf6685b","datavalue":{"value":{"text":"A mode analysis of logic programs by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6570937$A715C156-62C5-4B3E-BEA4-FA1154B0E58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e233278821c7d2d3ea7ff17b3c42b306802ee5f4","datavalue":{"value":"1541.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570937$63922342-9BDB-4B2A-B67F-0BF0D6B0FCCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6292b7ed9c8872ffca96da442574102283ae28f8","datavalue":{"value":"10.1007/3-540-62064-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570937$EC92298E-D5F1-45CB-A701-C12BFB27889C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570937$D2C1231E-935B-4BC7-BF51-9CE09D94E07E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a7e8d5beae875d65911ecb19a300672a6d0b96","datavalue":{"value":{"time":"+2024-07-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":"Q6570937$3E197D83-CD5E-49FA-A14B-5BC6A429F0EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570937$1998B265-A85C-4030-8360-A19D5C808743","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14622a1ae5e5cf4f92bde9076f47ab3ddc497ea9","datavalue":{"value":"7879781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570937$CC7356C7-28D2-4C1E-A8B5-0550C4CF9862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6570937$B8A0BA0A-8730-4BBF-A7A8-56EC72438C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6570937$ACE570E0-B1F9-436C-9FF6-A44DDD0A8A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95a2504f6d41cf36e76faa64ffe88b2e6ce0d35","datavalue":{"value":"abstract unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6570937$43C74E0D-4889-408E-A1CF-2E7EFAE314F5","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":"Q6570937$B741EBCB-866A-4787-B169-23A5CF3C4496","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570937$3147B73A-F21F-461B-BE9D-55FE8BAD3C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d4de458b582bff7101ec6fea58a295e0f043f8","datavalue":{"value":{"entity-type":"item","numeric-id":3792215,"id":"Q3792215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570937$84E8E2BB-38B0-41E2-A973-40004760EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570937$E2E0B2BA-C2E9-4FAA-9462-5076B058B89B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33216c248c5412ccf52455bece8601bd6f42a168","datavalue":{"value":{"entity-type":"item","numeric-id":2723918,"id":"Q2723918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b0c067012be960943c11be8dfda0105628991c","datavalue":{"value":{"amount":"+0.8427219390869141","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":"Q6570937$8A4263AC-85B3-44E5-9AC3-AAFB58116104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b09b8fa34933d41600466a9709baaa82747270","datavalue":{"value":{"amount":"+0.8060730695724487","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":"Q6570937$6A04853D-AEA3-415C-B1E8-1455D2F37B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a269fea8b814111104e07a47a99d8a502f4e59a7","datavalue":{"value":{"amount":"+0.7992466688156128","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":"Q6570937$81BE5FEA-0670-4301-B268-3AB88E805C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05979d1e5a6c327a4491046e17f058c3e0ee8c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97990f98dcb48c9525443d1141971e7686c37e16","datavalue":{"value":{"amount":"+0.7935793399810791","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":"Q6570937$D98DF44A-A1A3-49F1-B1F6-C661A6F0EB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dd52fc6f31fd28df84cc8d3c74cc308d4fc0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1426866,"id":"Q1426866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a7bfe5df860aace6d01d432f11ad1fc0201273","datavalue":{"value":{"amount":"+0.7931309342384338","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":"Q6570937$6A6D0E17-ED9B-4B34-9DB0-BE4DB211874C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6570937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6570937"}}}}}