{"entities":{"Q4593068":{"pageid":6622653,"ns":120,"title":"Item:Q4593068","lastrevid":58286271,"modified":"2026-04-04T13:59:34Z","type":"item","id":"Q4593068","labels":{"en":{"language":"en","value":"Precise complexity guarantees for pointer analysis via Datalog with extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804619"}},"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":"Q4593068$79C70348-81FE-497E-AD51-16E9DBB07F1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f507d67852ad1f4d6bb9551839406ae07d729694","datavalue":{"value":{"text":"Precise complexity guarantees for pointer analysis via Datalog with extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593068$38F0D2EC-7BF2-4B7E-A812-0988C94B719C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a1bdb90d376e945c462707591bbb44d476c49fb","datavalue":{"value":"1379.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$DDB03B2F-87DD-4E73-8394-D2DE7E7CEFA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68bedde4025c6aeb2787bc069f095ad5f1022f0a","datavalue":{"value":"10.1017/S1471068416000405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$836B7C08-5D91-412C-A2F0-BA72252A6929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6727ff6e206da3f19e3d0b03d35b4171d56e85b1","datavalue":{"value":{"entity-type":"item","numeric-id":4593067,"id":"Q4593067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$72D8F4B7-17D5-42A8-8082-AADAB7E5E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$FA9AEE9A-EF78-40C7-A7A3-5F5AA4EBF3E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$5EA1E654-CA07-4945-AD5B-6714E46AAEFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593068$9D8C5F29-D824-4AE6-8AFA-DCA1A007A0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e281fe41a1e7b45b8a0535995045278a87763b78","datavalue":{"value":"https://arxiv.org/abs/1608.01594","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593068$92A89181-49B3-47AF-BBE1-02F2C062ACD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$692C08F7-81D7-45C5-9B51-3E71AE770D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$46759D85-51B5-45E4-8168-67A6F348D7F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"801de6cc550274039c604e19826293840aaadc06","datavalue":{"value":"6804619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$8DC13EFE-C27D-4C77-9820-8647CD742A84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$19FA7033-D262-4E9A-8565-CF89A5173E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$B6292CB8-B1D8-4769-8B7A-A12F55E4778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccac7bfc846c296c5cc354a3a0433e354a87e54","datavalue":{"value":"universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$2B3302E7-8256-4CB4-81E4-0276273D0D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$40564EE2-CF55-4DAF-8E82-4256AB8A0A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$88C516FB-19EC-401A-A495-F3D7AB9E181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$D38B89FB-3153-4008-9EEB-68819605D835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3380896d6ec1566f755b387b501ebe890e0951c4","datavalue":{"value":"alias analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593068$19C0DA61-F1F2-4055-968C-50DD24F09674","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$1858E0F5-5032-4088-A7FD-06CF45F1EC58","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":"Q4593068$D67215D9-7565-4A74-A5AC-8F6196DD0481","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2392b14c738484668def51a84d24c4872df35530","datavalue":{"value":{"entity-type":"item","numeric-id":815001,"id":"Q815001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$22AA03CF-2C7C-41A0-91ED-68AF3F071D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$F5C292B1-9736-42C2-9BF4-444AFB7180F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$B6C6A1E9-A18B-4775-A97A-BB5409600D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cb7bddfd1544301eb64476f32609c73eedc2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3392927,"id":"Q3392927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$C4B262B9-F42B-4CF6-993A-1656D92EB606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c927c5243e38a331d6c0f569521974c5c3f30e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4593068,"id":"Q4593068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593068$3106D8F4-F051-4E8D-AD5D-D437B27636F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aabd206218bd184cf695ff823284760294cdc17","datavalue":{"value":"W2509105194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593068$68A00A5D-D4E7-45DD-9683-52FD2193335D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4332532122c30e6a066e8492b21457793118edc","datavalue":{"value":{"amount":"+0.7727370262145996","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":"Q4593068$81D6BB2E-5D25-40CE-BEA3-BE6BA37DDFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2919b8c677450ca49f709d5032bf758f1b853","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a835df281046195b2312fa6d606c78841ac4f259","datavalue":{"value":{"amount":"+0.7327683568000793","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":"Q4593068$DFA8299F-DFE0-41DA-9854-9AD1E89634E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb353c778209b85e95f8a6b1a01b9751ea898402","datavalue":{"value":{"entity-type":"item","numeric-id":5493378,"id":"Q5493378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ae037f22d7f58a7766a564595ec2ccd2cb53c1","datavalue":{"value":{"amount":"+0.7307466864585876","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":"Q4593068$C05B4F1D-9FA6-448F-9DDA-08E66DBFAC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964d1d0a54eacc4ec7dff582b822d7110dcd62a8","datavalue":{"value":{"entity-type":"item","numeric-id":5204343,"id":"Q5204343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e515c3fbbcab08e3940760988939f4aa40008a08","datavalue":{"value":{"amount":"+0.7206153273582458","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":"Q4593068$8A0AE3A8-C5A6-4C66-89F6-BAAC53032524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5091b391980255e4bed03230328d3e7a78396bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5449586,"id":"Q5449586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5638175217fb4e89d62b9c72afdb6deab98ce0e","datavalue":{"value":{"amount":"+0.7199540734291077","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":"Q4593068$62A95BF5-B482-43F3-B567-A8A32CD3A613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593068"}}}}}