{"entities":{"Q2914736":{"pageid":2925456,"ns":120,"title":"Item:Q2914736","lastrevid":51558104,"modified":"2026-01-18T18:56:30Z","type":"item","id":"Q2914736","labels":{"en":{"language":"en","value":"Abstract interpretation of annotated commands"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084485"}},"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":"Q2914736$F6EE413A-4EA8-431C-A3A9-93AE8C1883D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"088491ea533882b60b02c4c973443abcbd1c9d22","datavalue":{"value":{"text":"Abstract Interpretation of Annotated Commands","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914736$3DC2F269-979F-4674-A287-732859A7EEFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b2fcb764085849f2c362e0312b070d0165e241","datavalue":{"value":"1360.68762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$C5390EC0-1894-44DA-ACCA-4F9ECB56A78C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"042c2b710ebd19b80c021dce77e4eb19ec69315a","datavalue":{"value":"10.1007/978-3-642-32347-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$3F5DDA23-0C12-47E4-9DB5-F8061361E081","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914736$C05031E7-AD43-4C9D-A52A-D05F88968935","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914736$8B4D46B0-41DB-4308-871F-EAA4659A4CAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914736$F539E881-60C7-4BCA-952C-5C00747CFF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$9482117E-44D7-432A-932A-AFABC9F55C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$8B407BD7-293E-44F7-A668-3CCF07053946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$6ABEB2CD-5D6E-4E05-AA47-615C8CE0C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$B24F5A89-3A6F-46DF-A735-44033F554FE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae0a83e44d18455667573920ff10f19675ae36d","datavalue":{"value":"6084485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$151BFDC7-2F5E-4076-90F9-A4C176411437","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914736$C8CD4ACB-1041-4B72-8950-38A327BF92B7","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":"Q2914736$9F233018-3769-46D2-83AC-2ABB4F12F01E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71816ec5d73fada8bc8e404581b7cc4321957b02","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914736$FC25DFC6-69CA-4DFA-BB4C-76ECAF27EC2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab797cc1a3ea63f3b59f8d07635721fc24b243c","datavalue":{"value":"W84457820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914736$7759D2D7-C727-486D-9A61-53C0FFE5464D","rank":"normal"}],"P1643":[{"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":"12ceb5b7bd530e27195a94e5a8a601df999735a9","datavalue":{"value":{"amount":"+0.7617522478103638","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":"Q2914736$E695F07F-30DC-4D78-AD80-99008C79774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b980f02bbfdab06904251eb25e41ba0a430fc4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5191090,"id":"Q5191090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14068b66387576c5e623195426009f7c75a4f0bd","datavalue":{"value":{"amount":"+0.7589297890663147","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":"Q2914736$6933BF4F-8D75-4B32-9145-88E428E1E49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06c7e8bc3f194ea2ccdd1bd98c2573a86e12ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d095d7250f4f6e36a73bb21859fcdc1f804211","datavalue":{"value":{"amount":"+0.754245400428772","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":"Q2914736$F58F39F3-B4BA-4DED-9DBD-FD4E1166D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20df20d10bd6bd17dff0833ae1564e325270088c","datavalue":{"value":{"entity-type":"item","numeric-id":4738461,"id":"Q4738461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5f6da9d0569874d6cca940de39591e7a57240a","datavalue":{"value":{"amount":"+0.7480773329734802","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":"Q2914736$7B4BA2BA-1017-4E4C-805D-F3267AAFE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da0d0ca88f29787b445266472583897ecb95da9","datavalue":{"value":{"amount":"+0.7434086799621582","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":"Q2914736$1EF65232-9CFA-4362-B878-51131937990C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914736"}}}}}