{"entities":{"Q2145320":{"pageid":2156063,"ns":120,"title":"Item:Q2145320","lastrevid":54342947,"modified":"2026-01-26T16:23:42Z","type":"item","id":"Q2145320","labels":{"en":{"language":"en","value":"Accelerating program analyses in Datalog by merging library facts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543909"}},"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":"Q2145320$EBE18C07-6DBD-41BE-A6A2-8EC2D792AABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff0049a98470dc40e7f8f6f374f46579d88920f5","datavalue":{"value":{"text":"Accelerating program analyses in Datalog by merging library facts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145320$6A4FFFE2-D510-4C4A-9268-DA11CE85C35A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af07c91a0f47302c0669e99c04a48e7634b4e655","datavalue":{"value":"1497.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$81913C09-E3BB-4B05-8C30-4C9C3F0F6AED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974b92a781733f8f9ee3ba8180c1d394118eee2e","datavalue":{"value":"10.1007/978-3-030-88806-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$AFF65200-1414-4DC8-B929-E630AD0CEB19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d60dfa890fd8cee4ce6c639f11f5e36c4037229","datavalue":{"value":{"entity-type":"item","numeric-id":2145318,"id":"Q2145318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$B9EFEDEA-8AE2-474D-83E1-AE10B492B2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e72739848bf2a34f3a525b4f8029053d219b733","datavalue":{"value":{"entity-type":"item","numeric-id":265378,"id":"Q265378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$BAA91EA4-28F3-401D-8063-E62F581B1EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c534c34ec808441ee74914a019ce5000b813c2","datavalue":{"value":{"entity-type":"item","numeric-id":2145319,"id":"Q2145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$70D0F20E-65DF-42CC-93EF-847AE05E6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9758f51010aa450576ccbae5d6ab269e177fa72a","datavalue":{"value":{"entity-type":"item","numeric-id":266398,"id":"Q266398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$57DDDD29-F775-438E-8551-01AA7B6F3EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71ca888cecbdefe39e644d7514560a826c1099b4","datavalue":{"value":{"entity-type":"item","numeric-id":872060,"id":"Q872060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$3C0B11F9-7B16-4EC7-8B47-922B2DC2443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"484e10f8640a97c103df7261e70bccc73e6c4477","datavalue":{"value":{"entity-type":"item","numeric-id":284020,"id":"Q284020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$80ADC6E9-45B4-4907-B523-0B9F68D1F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"996de30e40cd6ef3eedb91c274f70bc0f958677f","datavalue":{"value":{"entity-type":"item","numeric-id":1044554,"id":"Q1044554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$21D1D0D6-3C64-40F2-8261-910BAD249812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145320$333803F0-190E-47F6-A4AF-E9972B2139C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$C9A4CF03-AD10-4F37-9147-FE2A8F0C1A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$30501FB6-4CCC-4D7B-8D8C-B8D5C0220A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$D52D5AFB-20E0-435D-A4EF-4D721C36A5F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eda08b1bda94b9c012ec398da3796b64b48aee9f","datavalue":{"value":"7543909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$BE845B71-4A02-4174-B054-3CE64BE0EE7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145320$1997EB55-5888-472E-BAA7-7893B10F286B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145320$9222C31B-5F2D-4D9C-8EAB-AFC292AD1FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ff41ee1dbbfbd80a0f6d16123113800935f359","datavalue":{"value":"data-driven analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145320$70915129-B491-4308-8995-FD71AB32C764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb80aed7c833ff3708afe374e8bcb8d9b703873","datavalue":{"value":"domain-wise merging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145320$7E4B0262-6500-4A4F-9B90-D660217C677F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a4de35a39860c900019be657f53241dbec2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":19266,"id":"Q19266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$535F9A6A-772B-4DE7-A4DC-1AF77EECDC70","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":"Q2145320$CC38FD60-CDD5-49A2-B752-18938D36A772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37d4d8d14b119c81ce55aaf059ed1801ab9bdc68","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88806-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145320$B1703731-4D3B-4D2F-9D49-6E562E821A48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd9448791ebdd63a5449fb443d6a445fb1b67a8f","datavalue":{"value":"W3205951184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145320$10E329C3-C223-4246-9009-CD063A9587F1","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":"Q2145320$4670B73E-2913-4699-92AD-0572FAD47C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176cbbd48a5db4ae998172bf236206c2c44ed544","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$5B28BEC8-8214-47BF-9B39-C562D8ED3317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45fba518192617f9542a70d55b0fd788f80f70cf","datavalue":{"value":{"entity-type":"item","numeric-id":5408529,"id":"Q5408529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$2A0B15A2-C2DA-471B-9819-19AF76B232E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$4C360F91-1280-4CB4-A8A6-AEBDE676FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da2d4f0cf3df51e9efd3a2103b27bea7ef37ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2988672,"id":"Q2988672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$97F539DD-5DE9-4D94-ACDB-BD80E67A61AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f334599a5d4384ff4501eddb6408bce90e1ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2819792,"id":"Q2819792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145320$575A43A0-CC08-4C4B-8569-7F055CB44D02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91700d18ff356080b03af5defcfd01e1648a8a39","datavalue":{"value":{"entity-type":"item","numeric-id":2828290,"id":"Q2828290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b83d727f0e3084665edcd64be2875299563182","datavalue":{"value":{"amount":"+0.692359983921051","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":"Q2145320$C777C5CA-56F3-4D09-AFB3-D0BF3D2B19BA","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":"639a1465ad2595562568859ecae802f2e15c0963","datavalue":{"value":{"amount":"+0.6896684765815735","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":"Q2145320$DA8C9866-C3A7-409A-863C-15CA0B19C5C6","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":"fdffea3592106a5469a0e604df8e75aced992ffe","datavalue":{"value":{"amount":"+0.6787505149841309","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":"Q2145320$029CD72F-371D-4403-96AF-34484858E0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140c580da99ef5cd9368876d4ad1c19298ee0a89","datavalue":{"value":{"entity-type":"item","numeric-id":4495072,"id":"Q4495072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c56a4334415bfb7081f054e581b5b77878d27bb","datavalue":{"value":{"amount":"+0.664754331111908","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":"Q2145320$E5DC1763-3E4D-466E-93E7-95B5E6F45F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939f4a59d310cc03f40890f02811e91b68a1db0a","datavalue":{"value":{"entity-type":"item","numeric-id":5408529,"id":"Q5408529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b4fa360c3ab86a650b048da5bb8524b90c6316","datavalue":{"value":{"amount":"+0.6628994941711426","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":"Q2145320$2D36803D-70EA-4FDA-AEC1-C37408AEBED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145320"}}}}}