{"entities":{"Q5466569":{"pageid":7496128,"ns":120,"title":"Item:Q5466569","lastrevid":48535660,"modified":"2026-01-05T03:37:02Z","type":"item","id":"Q5466569","labels":{"en":{"language":"en","value":"Static Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198359"}},"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":"Q5466569$F95727DB-9268-4889-B10E-F10658EE1626","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8748827770bc193e3393be899f5e4d7ea1712b34","datavalue":{"value":{"text":"Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5466569$B6A7D5C8-3C95-4449-BD44-D16614FC8E20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6afae61d9308a327c6ba9e1d1fc46e173ee5bac","datavalue":{"value":"1104.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466569$1D14803E-7411-426A-AE03-0D350F3A23F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb7f3d9b91bd394e66fa0be83450407223bdff7","datavalue":{"value":{"entity-type":"item","numeric-id":859962,"id":"Q859962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466569$168C23EA-7035-4602-BD3A-7D4BBEBB5C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d473ca5432f461253d8e2d2e2b48dc9a67b6751","datavalue":{"value":{"entity-type":"item","numeric-id":708893,"id":"Q708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466569$585ABD8E-DA85-4A30-8E01-95C408820B6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466569$F02F0637-6773-4257-B4CC-867CA1BA2C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dde94bfc1c53636074cf645adef3bdd5614c00ca","datavalue":{"value":{"time":"+2005-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5466569$BAF9EF5B-CAD0-453E-B039-D63B21D1CF61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466569$9B5ABD59-84EE-4692-BD29-32DC67C62B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0208130d69eeefa356cf5571cd0d3379aeb6912b","datavalue":{"value":"2198359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466569$91F68DCE-F83B-44C7-A315-A582F0B48447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466569$A6E1312C-F37B-4F22-904F-E7AC0D5017C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466569$16CB7BA7-6570-4A9F-B1C7-B4DF8D24B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5fad2d9d3940a1cd6ff13e5b77c9eed3976ecd","datavalue":{"value":"relational abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466569$CAA1F72D-B976-481A-851C-AC2933C4EF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466569$7AB18CB7-7AFF-4F8C-B843-DE8F2765D035","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":"Q5466569$650E28DD-8770-4066-A1E8-D2CC35F0D0AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3b6e0a7dfbbedcaa4d12ce9599a99e73b00a781","datavalue":{"value":"https://doi.org/10.1007/b99688","type":"string"},"datatype":"url"},"type":"statement","id":"Q5466569$FFC7D65A-B6BA-4916-865B-20862515F6EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5230afdbabf27bc780f40e48de3a3c268d6f6490","datavalue":{"value":"W4291238798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466569$ED90614F-816B-4E76-88DF-887333C1C9FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0a0189376c8455d331d7f1c11ac32772975c305","datavalue":{"value":"10.1007/B99688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466569$D563529A-9B6E-4546-8507-173A3626FA08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba481dec1ff34c8af5c30ea8804a7b4fdf951ecb","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bc7400fcfe893b6b24a01689cdd1ab39071eb2","datavalue":{"value":{"amount":"+0.985653519630432","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":"Q5466569$2E9EFD0D-EB9F-4446-929F-98577E3CE24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ef520898e665283c02d6d67d5fc61a774a9c9a","datavalue":{"value":{"amount":"+0.8645630478858948","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":"Q5466569$F496B64A-771C-4576-A67C-58CDAE74214A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe575018db4314739a62bbe131d7eb331a369e1","datavalue":{"value":{"amount":"+0.7903565764427185","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":"Q5466569$BF6FB136-6332-4C2D-8A0A-9A5B4911C41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29335bb57c82d226becaacaa47518cf43449a79","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe575018db4314739a62bbe131d7eb331a369e1","datavalue":{"value":{"amount":"+0.7903565764427185","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":"Q5466569$4F2ED085-D3D7-41DB-B327-4E63F70C5A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca62a8e20d4ce0fae59c1b104824cff6ef55058a","datavalue":{"value":{"entity-type":"item","numeric-id":2335904,"id":"Q2335904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d1d7ffceb44bb54954f46a12d4d86159e62b3a","datavalue":{"value":{"amount":"+0.7889043688774109","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":"Q5466569$CD6A0F3E-542D-49A2-9713-E7C659D70CCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5466569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5466569"}}}}}