{"entities":{"Q3455540":{"pageid":5234940,"ns":120,"title":"Item:Q3455540","lastrevid":52408145,"modified":"2026-01-22T14:10:52Z","type":"item","id":"Q3455540","labels":{"en":{"language":"en","value":"On the complexity analysis of static analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516590"}},"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":"Q3455540$8E140453-DEFD-430A-BB0F-58665BFB6B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b7fdb134f981892ce10d80d63bd4eed77e7b409","datavalue":{"value":{"text":"On the complexity analysis of static analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455540$A4737BCB-E8CD-4DF9-884B-8195084BA385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d6a4ea04ff99ef371d04d3a668b0a16a27ef1d","datavalue":{"value":"1326.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$A3C5DACD-4B0F-4179-853A-1DC2E31B7B49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec78bb7bf0290f5ca1f0eaa19c1c3ee74f740669","datavalue":{"value":"10.1145/581771.581774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$98D49011-5F53-4843-9C2D-96290D67F444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb5106ba49154afabb9f9946542b2d455346f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1102217,"id":"Q1102217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455540$D2D4AF9C-950A-4707-9D15-55058DECEEFF","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":"Q3455540$C94AB7A2-6C66-42DD-A103-6D2BDD27DDEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455540$4A523CF0-7BBE-4DE1-8C78-76C84998570B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$29C19EA5-F8BF-412A-AB2E-66306D5F9951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$11BA9666-8CF4-4C71-B54B-ED4DC4FB2CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$23B52D62-9695-48F4-8BAB-E33E74240100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5db7020c8d7c6c5c09d209e373cd39e3d15728a6","datavalue":{"value":"6516590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$F0576E6A-F803-40E5-A1FA-5DA957CB907B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$224FB645-D48E-4E48-A2CC-B41481A88116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$C0EFDDBD-CC27-4B11-A701-A0170CE0CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$5D377699-843D-47AB-A68E-62F7679AC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1e8f676040b787c7abd649c68d227da93e5c2","datavalue":{"value":"models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$5F73E374-87B1-42C4-85C5-B0D8AE6F5590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$A081C826-A3AD-4B1F-88BA-D91E0A3CFFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455540$1679DEC9-37EA-4666-884E-AAFFCD55B35A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455540$9160E905-8795-4547-824D-833C10C029D5","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":"Q3455540$C44E2AB8-AFB4-4AF7-B9B7-B5D15BD73FCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e5c8109f2617acec9f980baf500b5e3726e9cea","datavalue":{"value":"https://doi.org/10.1145/581771.581774","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455540$74A65AB9-1C6F-40CD-AF8F-9999B4DAFAB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a3e81b0e74b03205d91fb45f04d3bf2fce33e8","datavalue":{"value":"W2164104198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455540$B65BDC72-A0AF-49D1-A1D1-03B5EC86D698","rank":"normal"}],"P1643":[{"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":"f05d3deab891bf5b8281aa78dec38e6e2284da8e","datavalue":{"value":{"amount":"+0.8039801716804504","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":"Q3455540$54DA663D-240C-4E73-98DD-95E90DD774DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49560e678746cdbc1942229d874668d2229e0a40","datavalue":{"value":{"entity-type":"item","numeric-id":5449623,"id":"Q5449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bff5d120abed247e14bbdf4ef160756d4df55ee","datavalue":{"value":{"amount":"+0.7813636660575867","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":"Q3455540$4914C2C1-F096-4D97-BC1B-D8AB270BF987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f96b84853b4c3d84b1ddb1d15db96d893df282","datavalue":{"value":{"entity-type":"item","numeric-id":4593068,"id":"Q4593068"},"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":"Q3455540$2DF20C79-3E3E-45D9-9D4B-57E506E6D4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127179d0a9f184a3d6a04d884ccc823ec8dcc433","datavalue":{"value":{"amount":"+0.76691073179245","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":"Q3455540$34B716C6-5788-4B78-A965-EBC039641966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfc5cdffc5c3ac0d3b423aec881c39f618dfe64","datavalue":{"value":{"entity-type":"item","numeric-id":4539638,"id":"Q4539638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c567d3321eb0244d57e01e426f1a543ae471663","datavalue":{"value":{"amount":"+0.7660146355628967","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":"Q3455540$285586F4-1C6E-4EB6-871A-0D7E6C806786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455540"}}}}}