{"entities":{"Q3196624":{"pageid":3207332,"ns":120,"title":"Item:Q3196624","lastrevid":52381745,"modified":"2026-01-22T12:37:30Z","type":"item","id":"Q3196624","labels":{"en":{"language":"en","value":"Static analysis in Datalog extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502270"}},"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":"Q3196624$1E95C307-0D81-46B7-96DB-88582C7A1C0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2b491ed15f1d72cb0320d8cc1c04ec805d6777f","datavalue":{"value":{"text":"Static analysis in datalog extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196624$79484C4D-0A5F-44D6-B671-85CD9516C645","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c455a62fbedb8762e9cea3995bda5db41fcdbd","datavalue":{"value":"1323.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$CE518673-5D9A-41FE-B28E-1ADDA6A037BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45f1429eb5b7f32f18604aac33b75c0e51c54f42","datavalue":{"value":"10.1145/502102.502104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$6BC43AB6-6DF1-4750-BB9F-9CDD243195A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec7ecaad687cc8171e152c9caee9b9b75cd7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":199249,"id":"Q199249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196624$AA20D9A9-CE49-4133-9ECC-C953796037BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0835581275e7ca97360d1d0cb5ec39dfd33e70b","datavalue":{"value":{"entity-type":"item","numeric-id":293241,"id":"Q293241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196624$C7525FE7-DEB2-4006-8550-63175D4F74D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab59058ac2ae8f231a7b2032fd7d76a8fc6d25f","datavalue":{"value":{"entity-type":"item","numeric-id":1811301,"id":"Q1811301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196624$4DA4B89F-E660-4B4E-AD49-3F7B28499089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36d1a0ff170b0c2daeda7e30813da9b25d58e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1305917,"id":"Q1305917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196624$6CCBEDAC-E4FB-402D-A49D-19CA680E7D17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196624$6E3FB8D3-33EE-4A18-BF62-61F5BD4059AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196624$29D15A5E-0CE3-4D79-9695-838CC389AA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$031ECCC2-3FA1-4784-B52F-A0AF1F2FE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$008BF0C6-6B48-43A6-82EA-BE3F465BF5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c9801c4bf784b3a630f59123e2cc81fc11c0ac3","datavalue":{"value":"6502270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$122515AE-66B6-4FE9-8C09-0EFBBB7AD471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196624$4443C0AE-B876-4B4D-965B-4A64798BE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196624$5F6DF2C0-F227-4E31-891D-1FAD558A8855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0913ead2b07c143e7aa864fa18b6fe65850d223","datavalue":{"value":"query containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196624$637B5DF9-4955-488D-8703-B639FCCB359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2f0364f8a7c29fbfa9bea01c054aa13b4f7549","datavalue":{"value":"query satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196624$4454A304-5FE4-410B-B18B-9E0273C47826","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":"Q3196624$4E9487E6-1AE9-442C-831B-84596F01CB5A","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":"Q3196624$EB0DD68B-D2F6-4B47-B5F1-2B2C5AE46B23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68944bbc7d2d051ab65ad5dc9f93d6ace7fcef94","datavalue":{"value":"https://doi.org/10.1145/502102.502104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196624$CB383F60-52AA-46CC-BF17-7FC0EE8E0B9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623437e7f72a09b66416aa394b7b02d8409ecd44","datavalue":{"value":"W2077261730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196624$1B649A43-27D7-4E70-9316-9200C8F63F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395de9886a35f4fc9a86e87ac09b47a7893e7ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4305348,"id":"Q4305348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f2a0b3a1471c88e1db05eb38998abf19a9e3a9","datavalue":{"value":{"amount":"+0.7993842959403992","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":"Q3196624$F72EAA2E-AAB7-40E2-BDCC-0CD67C8EB0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81efe0859376c018f195b8ee907d84a139ee83","datavalue":{"value":{"entity-type":"item","numeric-id":5096840,"id":"Q5096840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53728af9b29f3efa6479360eb42fb0856940faf6","datavalue":{"value":{"amount":"+0.7966528534889221","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":"Q3196624$4415AA6D-C9FC-4C30-B0C2-C432FD0426F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7185bad99c0ab183183a142ae20a327ba9360","datavalue":{"value":{"entity-type":"item","numeric-id":3140022,"id":"Q3140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726440f23019138bfff7cdcf90d69cf2fd60913b","datavalue":{"value":{"amount":"+0.7933361530303955","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":"Q3196624$3D7924FD-27BF-46A8-9B7D-83A5CB527E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbea862b27987532fc8010bf2c8c40af6b45205d","datavalue":{"value":{"entity-type":"item","numeric-id":4208864,"id":"Q4208864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3eb1093e099ae419ad6aa3216687d86100b928d","datavalue":{"value":{"amount":"+0.7880091667175293","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":"Q3196624$8937DE87-2B52-4327-8624-2D4C8C62FC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac7a7e9d9aca8bdd2b45a81355066d3bf975fb0","datavalue":{"value":{"entity-type":"item","numeric-id":676421,"id":"Q676421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03986eed3c8431c30c500cad7dafc1b42f662bce","datavalue":{"value":{"amount":"+0.7728396654129028","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":"Q3196624$2DB42428-0A91-4E60-952F-6B3704F744AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196624"}}}}}