{"entities":{"Q5170170":{"pageid":7199742,"ns":120,"title":"Item:Q5170170","lastrevid":52046012,"modified":"2026-01-20T20:06:33Z","type":"item","id":"Q5170170","labels":{"en":{"language":"en","value":"\\textsf{TreeKs}: a functor to make numerical abstract domains scalable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319521"}},"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":"Q5170170$329A0C2B-C4EC-4D19-8ECC-CD52C3AF4359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11037c3cd0b2b9103aef542d48f8fae92253d136","datavalue":{"value":{"text":"TreeKs: A Functor to Make Numerical Abstract Domains Scalable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170170$A81ED58A-3E6A-4414-AB0D-4A362B05E036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"423a838c271f0058a42fdcfd173f2adc8796e0de","datavalue":{"value":"1294.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$6DF181C6-674E-4907-92F4-A28B09B2DBED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"147d497c5a86d1136343adc0107587297de730d5","datavalue":{"value":{"entity-type":"item","numeric-id":5170169,"id":"Q5170169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$653E3838-1658-43D8-9002-BC0587E77CC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$E5A40184-1D52-4EF1-87B7-D171747D594F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-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":"Q5170170$84BADE7B-60DB-4295-8EA9-FAB154E218FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$0AECFB99-F5F2-45B2-9585-D86FB7D04529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$A1635150-9D6E-41C0-8C17-9180F5BB9F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$4DB946E3-65A4-496A-86B0-6F84997F62CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf2ce8e1fcf1d6617b8a9871b390f1fa5d1b619","datavalue":{"value":"6319521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$073CE1E8-304D-4EF4-8CA8-2A3E61F5492D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170170$7D637E6D-9B5A-4DE4-886F-D5E8834B5193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c65eebbdf86e1e392f8e09bf5fc526fc63468e","datavalue":{"value":"abstract numerical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170170$22CD8433-AA38-4BD7-A38F-138FF457CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7abf68eb1026f1769a3af4d2d96935f4782c300","datavalue":{"value":"weakly relational domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170170$58A73FFA-3184-4523-A109-B35AFF2EE88F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$618A998E-229E-4C28-95DA-F13671A5E770","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":"Q5170170$7ABE9F89-7CBD-4801-8780-66E0CA9A91FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0eb0e006703c174f85f87dea2ca4c971799c137","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170170$E6CBE939-8751-4CA5-A59F-2A6455D86A39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b005bb81d1681587f1b2a10863e350754c4a0b99","datavalue":{"value":"W2094838107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$656EB8FC-8620-4E9E-A5DC-0F3AFE9E0898","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac45b9071cd4068780c4cdc076711e1d04b626e4","datavalue":{"value":"Q113318060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$173468CC-9276-42D1-A3C5-54557EEECEE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$8465B34A-F1EC-486A-A936-71650F2747D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$ADE4E569-6D53-4CF3-AEFB-C0AA9C713D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6320bcdb669492dcf10c397f92f5845b27f99b66","datavalue":{"value":{"entity-type":"item","numeric-id":845249,"id":"Q845249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$3620794D-884F-43AC-9419-FABF30B46478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49678118938d5a8fee25ec83ca93c5f605f50de8","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$49854EFE-E0CB-48AA-90C5-8987B0281404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0aca79379a387838fc133fe7df36ce02c51551","datavalue":{"value":{"entity-type":"item","numeric-id":2814105,"id":"Q2814105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$A242133C-C120-41CE-8295-2E009CCB6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42eac228c5c9ce4e3d03036909afb782770de94","datavalue":{"value":{"entity-type":"item","numeric-id":3648708,"id":"Q3648708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$B7EE7432-61B3-49DF-9250-497E4370BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$5018C67E-394C-4704-871A-61E6E9E8125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$B3E4F81C-870C-4C8C-ACCC-D003E945D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$FD6D89FE-FBB7-4598-A0B3-F121E037FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$9061BC01-2FAE-4FDB-A6E9-1744AD576B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170170$5DED9258-B975-4003-8C74-4FFEEF2A729F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d38c4d64623090fd8fba13778dcaf1ceb22316","datavalue":{"value":"10.1016/J.ENTCS.2012.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170170$C5D2DFAA-E2D7-462B-84F2-C9807A135F50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e632c1d2f90cd93e924aee4ab3915ccf4de09ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3587252,"id":"Q3587252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120e5d60821b7efa317c932f798e491abd9379f1","datavalue":{"value":{"amount":"+0.7559030652046204","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":"Q5170170$183CA137-6879-4D8F-AEA2-F78ED01226FE","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":"bc1e65cd1ed46a7b94df0d04731224dc2c79c91e","datavalue":{"value":{"amount":"+0.7492310404777527","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":"Q5170170$F9EBDC0E-18A3-4D46-A29D-016DAA8E0B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0028db80db77ec25527414677dce6242a7b4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abfc394125cc5dea9dcc3f993da5290bfc3e397","datavalue":{"value":{"amount":"+0.734560489654541","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":"Q5170170$10F54153-59B1-40B4-8D7D-21FCCAA0AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b633e13c18c4250980a4480bec83bdbe9d2b13f","datavalue":{"value":{"amount":"+0.7336300015449524","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":"Q5170170$10F55536-A4FF-47F8-8DD5-570EEF7BA19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5135d8f75444743b84851f6e4d8e720e9e372d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3600478,"id":"Q3600478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52cee2d7544349a376c430979bf6660190078ed5","datavalue":{"value":{"amount":"+0.7275370359420776","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":"Q5170170$3941F53C-8504-4185-B16D-2BEF08103527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170170","badges":[]}}}}}