{"entities":{"Q5244823":{"pageid":7274391,"ns":120,"title":"Item:Q5244823","lastrevid":94620416,"modified":"2026-06-05T07:16:53Z","type":"item","id":"Q5244823","labels":{"en":{"language":"en","value":"Optimizing abstract abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421061"}},"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":"Q5244823$CB0B2F68-0BB4-4F08-AD58-692F50EDD4F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb872c8c214b002e3237dca75c283bee6c03047","datavalue":{"value":{"text":"Optimizing abstract abstract machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244823$044060B4-B435-4189-B3E4-6F01FDE5DA33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32805a3328b0a41238c16cd31e5b7ad7e0ea7b17","datavalue":{"value":"1323.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$799D4AC1-2DBD-4635-B020-2D0D32A31856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0af29d690517a0d53f83967ddc739ec9418d5b3","datavalue":{"value":"10.1145/2500365.2500604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$2A955947-8B14-4D50-BCF1-512DB098DF52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c05e9cd7bb2137113045820e10948e5b8b78c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2875230,"id":"Q2875230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244823$106524B6-7249-4A08-B443-D7C6A259C22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0f52d5bc250ef6e038911ac5c863c019db0f92c","datavalue":{"value":{"entity-type":"item","numeric-id":5244822,"id":"Q5244822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244823$15ED4193-E1B0-4090-BCF3-6D67242223E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244823$210B14BD-D923-4CF5-AD83-FD7087275DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244823$C97EA6A8-1618-470F-8369-F3EB4197287F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244823$A9C1CE89-DF18-4F50-BC19-4F8F014CAAAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244823$5B1E893D-CBBB-488F-BED6-011CA6B9B0AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b81f43929a6bbb5e65ebded10044d5d065b49061","datavalue":{"value":"https://arxiv.org/abs/1211.3722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244823$15E63D37-914E-4FE6-BC49-2E1E83C5A4D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$7AE6F3A0-F5D1-4DE9-8B1F-F41F93AB6EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$11C18F03-1914-42EE-807B-EB2CB58D1876","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c92393d0c9bdcbe194f88537e651e543646225c","datavalue":{"value":"6421061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$280C7E53-A691-4703-8C9F-6674281740E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244823$8402380A-E4BE-4603-9B25-6BBB6EEE0046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244823$567293E9-AE50-40DF-AB98-F3EB5C1F1B3E","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":"Q5244823$714EB6A5-9D13-482E-9956-0BA9239C4F1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6a23f2a61f48d72ab10ffdabfa3e4ca0167839a","datavalue":{"value":"W2121309409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244823$B8CC1EC8-DF2B-4BAB-90D7-56BA8CF67B59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446613962c25e7551415765ca0c45ef7be90815","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6902d19cb76c2317d95da3da9c09b7823a0d43e","datavalue":{"value":{"amount":"+0.778619647026062","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":"Q5244823$A54278E4-BF30-430D-A115-AE7DBCA5957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457aac56ad7d28e16dcdb5e360748b86e035a61b","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37347d643a475f32b2c5d489cb378dd824eba4ea","datavalue":{"value":{"amount":"+0.7646774053573608","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":"Q5244823$8C17D0FB-4A0B-4732-86EE-55564D2F2F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29ff78f74541c494016f5195cb4ce132f4cff72","datavalue":{"value":{"entity-type":"item","numeric-id":2763597,"id":"Q2763597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c8d0aa2510072d3359e74b877ee1fcf308afe6","datavalue":{"value":{"amount":"+0.7437698841094971","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":"Q5244823$83D3D081-5576-4811-A3CB-71CEA9F8F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525e551bc85ce465ef1920492e14e0d691e511d4","datavalue":{"value":{"entity-type":"item","numeric-id":5475767,"id":"Q5475767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1761366d1214e871340b5f778c527445862d60","datavalue":{"value":{"amount":"+0.728596568107605","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":"Q5244823$EB199CB4-C949-4176-B887-AB8CAD594C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3486e0ec16d45813903eae0e5b1dfc0c6a7482","datavalue":{"value":{"entity-type":"item","numeric-id":4593018,"id":"Q4593018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0316f7602f7c1e986a164da67a2bf9c4e4767da2","datavalue":{"value":{"amount":"+0.7273310422897339","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":"Q5244823$6557DDCB-799C-4FE7-92C5-1A023912AF46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing abstract abstract machines","badges":[]}}}}}