{"entities":{"Q1352002":{"pageid":1362741,"ns":120,"title":"Item:Q1352002","lastrevid":47423530,"modified":"2026-01-01T17:14:17Z","type":"item","id":"Q1352002","labels":{"en":{"language":"en","value":"An abstract interpretation framework for optimizing dynamic modular logic languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984590"}},"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":"Q1352002$7F4CC140-B7DB-4A16-A122-2EB4F9641837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daa200bc46395fd6ac869c992a140b2fac502c59","datavalue":{"value":{"text":"An abstract interpretation framework for optimizing dynamic modular logic languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1352002$0632DEF7-22CE-444D-8AD3-A8B04E969511","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c7ee175ff295e324671f0b3fe76d2d9cef5bf23","datavalue":{"value":"1022.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$37B1653F-CC03-48BB-B402-689E02EFDE37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b73044c6da5ce3ccb3193b0b792c8db42af5d0","datavalue":{"value":"10.1016/0020-0190(96)00051-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$33847A34-C50F-4941-9F62-9444202999CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d98e6482493760d5bc47c08e8866040f3c523105","datavalue":{"value":{"entity-type":"item","numeric-id":1198090,"id":"Q1198090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$B7B64184-1EC7-4205-B02D-C32D29C697A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$BB2697CE-F98C-41C4-834B-D2CB76D2AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$3681DA02-627C-42D7-B6A0-953156F1C6FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$B84F1859-8959-48CD-BF58-5DD5E4342853","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q1352002$61D0561A-0A08-4382-8A55-2D2EAD8FAFD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$4FE9E072-E4CF-467E-8A29-0ADD6F583672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$0A63B39F-956A-4905-A95F-31A1D02C58DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4602c54d7798319f76b87a2e43a601f2e085519","datavalue":{"value":"984590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$1828EF0E-5B59-4F9F-9364-6F624B6E1FF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352002$02FC337A-5B79-4852-AFE8-7BB176405E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352002$4782E145-3837-4C97-BC01-4F2CF9F371C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352002$B92B9DE5-E380-4F4B-AFC7-213907805D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1352002$780CC3A3-5BE2-4BFA-A534-9CC5FFCC1FBC","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":"Q1352002$70B8CAFE-0FB5-4DD8-BE25-AF828FABB1E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12fe1bf376904f76b18c19cb87f28a56e167b539","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00051-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1352002$CEF7B7A8-FE50-4DCC-8AFB-F46D0A672544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835fa91f62efc92ecc49b58f8b4ed9e434bfec5f","datavalue":{"value":"W2028186370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1352002$37C17D7B-08D2-4EDA-8872-AFB70A361754","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3607c08780c60e45d5878ec8feb5b4f2a0992621","datavalue":{"value":{"entity-type":"item","numeric-id":1126260,"id":"Q1126260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$B76FD955-9E04-4735-869C-2C7619314D11","rank":"normal"},{"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":"Q1352002$2C19B9E1-DAAD-43DC-B563-A895C1A01980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61321cb69f73eb104a34804a7e5b2d80614e127","datavalue":{"value":{"entity-type":"item","numeric-id":4023285,"id":"Q4023285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$7A5BD8D3-802C-45D4-96D2-6EEECC84A964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba6a5ced319afb533a64bd672e0cf9270623c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3787973,"id":"Q3787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$8C87870D-C546-4E38-8C62-D4937E9B7303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$035B6C37-21B3-46F9-98C5-BAA064CDAE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1d06b20eaf0dbef3fea345937b8e325aa3daff","datavalue":{"value":{"entity-type":"item","numeric-id":4858577,"id":"Q4858577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$215B0693-C564-4964-B140-E5B9D4CEA1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1352002$B1FC9A0E-8014-46EA-8BF1-BD83461FD52D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc393ab0c64011d0df568336ee24ab62cc1aaa4","datavalue":{"value":{"amount":"+0.7197758555412292","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":"Q1352002$780563AD-B121-4836-9E44-415AF78ED4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618f868eb94fe0f9f95b405ed1d94473e8072366","datavalue":{"value":{"entity-type":"item","numeric-id":3181746,"id":"Q3181746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a290ef7d8deab5ec46f3c2222ac6df1758fedc61","datavalue":{"value":{"amount":"+0.7181755900382996","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":"Q1352002$5453723D-E6AD-4A21-9801-1311559F67E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd55394b9b705c86924c73292a3fd3be1f079fb8","datavalue":{"value":{"amount":"+0.7156453728675842","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":"Q1352002$0640C9B8-4C9A-44F2-A5C6-821CF69244F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebfd2f24b30bfff8b4e4203bd0e845e310e19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85315bf1cd377016bee7c9358c31655912ec4ae5","datavalue":{"value":{"amount":"+0.7099621891975403","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":"Q1352002$3CEC3D74-F1EC-41BF-A19B-3A685DE72E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3efec91d3efa42806295520b623164c41e045fb","datavalue":{"value":{"amount":"+0.7099390029907227","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":"Q1352002$FE81961B-6F57-4A62-AF5C-8A00ACC373C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1352002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1352002"}}}}}