{"entities":{"Q5466562":{"pageid":7496121,"ns":120,"title":"Item:Q5466562","lastrevid":48535642,"modified":"2026-01-05T03:37:01Z","type":"item","id":"Q5466562","labels":{"en":{"language":"en","value":"Static Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198352"}},"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":"Q5466562$184D9DF1-355A-43D7-ADC5-659F8CD0BA92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8748827770bc193e3393be899f5e4d7ea1712b34","datavalue":{"value":{"text":"Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5466562$E6D16B18-A7CB-41B5-A86C-6A2798E84246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c7ace9f27371418af648b50a41c99e5ccb3138","datavalue":{"value":"1104.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$5B8D8B9A-ED00-4CBB-B31A-A68B1E16F45F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466562$8108FBA4-4476-44B7-A6F8-7E651ADFC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8613ca94bb02f105ef1f9bc1f5bd869f5077ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":859960,"id":"Q859960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466562$D357D7E4-77FB-46FE-A85A-B7D6591B9040","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":"Q5466562$A9D8DE34-7508-4C0B-A844-77D896DA894A","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":"Q5466562$D7952D34-F960-4517-AE14-7FBD377315A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$477FD1F6-09C5-4800-B82D-31F1F78917AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$D1595408-29FE-413A-9DCB-45EFB61ACC7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83173230de61dd785e1279ed7608d0c2032b995e","datavalue":{"value":"2198352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$4272C696-BCF2-42F2-946F-BCF059EB939D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894c0f596078ac63fae185acb1f4a29659306799","datavalue":{"value":"global value numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466562$4AE5B7DE-9BC5-4209-9D81-87157D9FDD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edcff533ef56e1b8f3f728145a5e52048095aac","datavalue":{"value":"uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466562$578F4E74-2F7D-4D37-A51C-5749F0FF5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466562$5E6D568A-BC3A-4CB6-B492-2B6CC1A2157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967474f003335bfed70a1e47572e2478181111cd","datavalue":{"value":"Herbrand equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466562$E2FCD7AD-856F-4456-9C81-FA1300D96BA0","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":"Q5466562$A8A780EB-8E41-4BB1-97F8-61484CD222C0","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":"Q5466562$EF7E569C-0AC8-44AF-B9AC-FA09AF36C871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5230afdbabf27bc780f40e48de3a3c268d6f6490","datavalue":{"value":"W4291238798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$19C18622-6E30-404B-9B4D-70AC52D1B4E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0a0189376c8455d331d7f1c11ac32772975c305","datavalue":{"value":"10.1007/B99688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466562$5EB5C843-45D3-448E-A0C4-D3F6DBFDE959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f16afc74f7a8d9a11be34b87adaa1d3527519cb","datavalue":{"value":{"entity-type":"item","numeric-id":859961,"id":"Q859961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195cb23655f5f70d3d50d314ba1b5c6f4aeb4148","datavalue":{"value":{"amount":"+0.9964861869812012","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":"Q5466562$A017E105-C650-4B07-925D-C0BEE0735BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85421c1ba42396853d0c6f16bf8a914b2c9af22","datavalue":{"value":{"entity-type":"item","numeric-id":3452272,"id":"Q3452272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6018da209d796c0c8ac242ba0033c9e0572bd6","datavalue":{"value":{"amount":"+0.8434029817581177","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":"Q5466562$AAE34FD1-27CA-4A46-8780-15F9A6F450C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc116b162bb325d76ba76d7d972e266a6b03183","datavalue":{"value":{"entity-type":"item","numeric-id":4494381,"id":"Q4494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b8c7518339025db0a4e7a3f34fbbe81cccf2eb","datavalue":{"value":{"amount":"+0.7793071269989014","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":"Q5466562$1B48A9C6-265B-429E-B7D7-789C3857D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dc67f13c448c70525a0660b63915822bb61665","datavalue":{"value":{"entity-type":"item","numeric-id":4091443,"id":"Q4091443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2958434a3e5c3a9785a8309306440e0fd9f8fa97","datavalue":{"value":{"amount":"+0.710282027721405","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":"Q5466562$F937A620-5FAF-48DB-A805-47CEAF72401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231a0dfc0faeaf2dc44d1ff3f66dd9f72fd0f47b","datavalue":{"value":{"entity-type":"item","numeric-id":1594177,"id":"Q1594177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66c084c90649c8e8bca25fe45e5ee194778ca46","datavalue":{"value":{"amount":"+0.7078296542167664","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":"Q5466562$95E88023-7ED7-4395-822F-114177DF798C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5466562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5466562"}}}}}