{"entities":{"Q3184788":{"pageid":3195496,"ns":120,"title":"Item:Q3184788","lastrevid":80185970,"modified":"2026-05-06T15:37:27Z","type":"item","id":"Q3184788","labels":{"en":{"language":"en","value":"Certified Static Analysis by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619518"}},"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":"Q3184788$7B514D91-35B6-4FA5-A012-E69100771052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f65832c4627d72038da15eb8fb8bcd4903c25289","datavalue":{"value":{"text":"Certified Static Analysis by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184788$3FC26E73-8913-4444-B6A4-FCAABEE7D945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e31d1959802c3240f0dd552ffdd40f118bc646ba","datavalue":{"value":"1252.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$FBE82296-24FA-4585-B7F0-50BA210F5B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e43febfc9511ab6d40d709134e8917577b665544","datavalue":{"value":"10.1007/978-3-642-03829-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$3FF1400D-A9F4-4C21-9DBE-7A91F598194A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"75ca1a4292153e09255ed5584d3cfe40f5a40b30","datavalue":{"value":{"entity-type":"item","numeric-id":3184783,"id":"Q3184783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$DE51CA10-653E-4D0F-B18F-D65E272197EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184788$900C3B08-0EF2-4195-B153-E656B1BAD86A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$CC1BC52A-29E7-493F-A48F-2AA94E79B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$7CD4852B-CB4A-46B4-BA75-453B878857B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4993cb37444b17e593ffab011645d2eb4676de","datavalue":{"value":"5619518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$914AD1D3-A03A-44CD-B079-DC53BBCD6B18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$F392370B-6A1A-435D-839D-5CD8A373F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0560a1d7352ea4c8a6d719cdb4465a914b75ac45","datavalue":{"value":{"entity-type":"item","numeric-id":14009,"id":"Q14009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$F77E2356-06E5-488F-8B2E-D2B15FF52798","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":"Q3184788$300B3F99-7DA9-4972-BD71-EA35602167E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d12fa21403f2cbe442f80b88e25e0b8e44513cb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03829-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184788$D3102E0C-A0AA-462A-A0BB-E6BAC0C2BB44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b0df048ca915d378464135f02525180a803f9ad","datavalue":{"value":"W1480767630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184788$8FE319EF-FC6C-46BA-9B24-62D3B83798C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"075592a9f0edf412848e922b8238d0038378060c","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$A142C92E-71A0-4706-8AE6-160C128F3D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941b8cfeca1100601661e379b4a2d846f10f97f5","datavalue":{"value":{"entity-type":"item","numeric-id":4785541,"id":"Q4785541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$D42110B2-C786-4F92-80CE-250DED6CAA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f9ad7602cc5d595ae9bbdf775b25418df2d804","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$5A295A98-453D-4B67-9A64-834AD61EE0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48954ed389c940d6f18707b42187ed03f7c9e725","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$09C209ED-472B-475E-8939-0008A4323BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$FC85D151-6757-4445-B029-60F6C8C63D5C","rank":"normal"},{"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":"Q3184788$14572463-F474-48FE-8608-5DEB9D35CCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$F763C217-0009-4840-839A-3F16F8C01257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f3ed76b936297e1c211b1bdcc9d15801cd785b","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$4271312C-B611-4E96-BC4D-911F7C47B181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41ad322a54fae973e4a41c958cfd4757c02f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2566027,"id":"Q2566027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$94FD7425-915C-421F-8E93-2F2428579A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c5240ce876c9de4fdc36c5e17468f67004fcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$94F0B059-5C52-4616-94D0-D62444730FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$9E8EA510-E8AE-4A8E-ADFB-88EF2F433233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$DAF9DB82-2A56-4D64-8B36-047A22DE0FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$2AF28306-F0C0-47BC-BABE-1196223487FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$4F76D9B0-119D-401F-9A0F-71DA6B879390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db53c372d2d50c429bac9cbb726ccd91b696a94c","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184788$B8F0C2A9-71D9-4926-84E5-DFD92F3AAEAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c011ce202f24d7b1156a23247f9852a88be8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9bb816fcbb7973f19337b923eedc50f4b6a110","datavalue":{"value":{"amount":"+0.8501783609390259","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":"Q3184788$7A56104F-9AB9-41DA-8D5A-60905F6B4BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55407123cf4f8e142995ef8f70aae0e8a2a4ce47","datavalue":{"value":{"amount":"+0.810375988483429","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":"Q3184788$4EF65E5C-D6A1-4607-B654-E0916D8B4C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660a5dcab57a36c769b33e5603ff18369bfd8bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cead857c4b9d736411412baafba893788b28bcdd","datavalue":{"value":{"amount":"+0.8056582808494568","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":"Q3184788$32CB273A-6BAF-4062-A289-289478E12FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b076ef968c6ccdb459011b1332ce0fe6f67ecac1","datavalue":{"value":{"entity-type":"item","numeric-id":2945626,"id":"Q2945626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80ef822612e604f9d9e158baac46f0f7ccd48e6","datavalue":{"value":{"amount":"+0.8030326962471008","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":"Q3184788$04FD3CE6-ADCB-4DB1-81F0-4D36D50E1479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe5e46402627853465a7c0a38487023b6e8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5898617,"id":"Q5898617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccb294dafc2e0bb4f44cff8fb08d9bf1702a7ba","datavalue":{"value":{"amount":"+0.7964426875114441","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":"Q3184788$48501C20-1B16-45A9-9209-FD2831FB86D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified Static Analysis by Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certified_Static_Analysis_by_Abstract_Interpretation"}}}}}