{"entities":{"Q784125":{"pageid":785974,"ns":120,"title":"Item:Q784125","lastrevid":64306992,"modified":"2026-04-11T18:58:29Z","type":"item","id":"Q784125","labels":{"en":{"language":"en","value":"Sharing ghost variables in a collection of abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228506"}},"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":"Q784125$266A221F-F676-44F0-8F35-71062BF1A214","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e12cb019f6951b3025345320ae3a227b6f563194","datavalue":{"value":{"text":"Sharing ghost variables in a collection of abstract domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784125$F2EA4748-B4CC-487C-A954-9A239F3533ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57a08cc4c6976d981ecdf3be0dace9c3b783c31e","datavalue":{"value":"10.1007/978-3-030-39322-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784125$78FE8880-7BCD-451C-87C6-4CF0E5F39001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4e38bc3bd8661475a7951b5794a7d9ff253dec1","datavalue":{"value":{"entity-type":"item","numeric-id":784123,"id":"Q784123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784125$FF0DFCB7-DA3C-41FC-B850-4394FA22702B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b295a3f947c72979836e9f0c05122c0fc9610","datavalue":{"value":{"entity-type":"item","numeric-id":418842,"id":"Q418842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784125$0E078817-806F-4FD8-AC90-1BBB796CD8F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784125$BBA65079-BE2E-4DAD-8851-969F3AE64180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73763445b646dd77bd4eb4794ffee290f817e74a","datavalue":{"value":"https://hal.inria.fr/hal-02378809/file/product.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q784125$A23AF5FC-C8F6-41F5-9240-A8782CC66878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784125$FC319C07-9B07-4655-AD96-653B4536FC22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d35568146c09efd702d355ed8f47e4833848efb","datavalue":{"value":"7228506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784125$3AFF7840-16A2-4D0B-A58D-54F64986069A","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":"Q784125$32F8339F-CC8E-418C-A2E1-FAD45D029D7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbb2b6c0b5d1d5c3659cde6964657ff027f5af63","datavalue":{"value":"W2991017868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784125$A313D6B6-CFB3-4C7D-8E15-848941268901","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0184692c1a15a756f55215c0cea07bfbc6a534","datavalue":{"value":{"entity-type":"item","numeric-id":2722073,"id":"Q2722073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c586d8c7e7202ae5758d415705aa1d9bc78fe42","datavalue":{"value":{"amount":"+0.8262446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$C0AB08EF-8F5C-41FB-95AF-77F2CA97697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215b5eb81b95b44b4b85d073165d89920c4ecfbd","datavalue":{"value":{"entity-type":"item","numeric-id":1650957,"id":"Q1650957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b194012643ae8e8812f47a2911a99daa150d0ff4","datavalue":{"value":{"amount":"+0.8019973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$EA34771F-983D-41C9-A06F-C3DA01F3088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bafb64c54132560ad978e9835bb76c895d49c03","datavalue":{"value":{"entity-type":"item","numeric-id":5501476,"id":"Q5501476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4828f181ccaf5ab7aa23d0a5f2207d1218775efb","datavalue":{"value":{"amount":"+0.7965948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$E98399B9-2F7F-4F22-B5A0-7A654E065892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fc4cff020b2b5c5f444f2c8bfd52cb26ccc0cf","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8069d1e7f184b85ea1016b350e9a3d0d8c2707","datavalue":{"value":{"amount":"+0.79566455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$21EF24B2-FA3B-4703-83FA-65B475A22132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed35feff34aa07dd74c933bdfc7721c1121d4de","datavalue":{"value":{"entity-type":"item","numeric-id":3334049,"id":"Q3334049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6144a8ac6fa8a7d4aa3282300d5deaf8cfa482b8","datavalue":{"value":{"amount":"+0.79499775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$22FDAD25-8694-49A4-B51C-B8E23B234E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3271c0d7fa1ec51db5b46a4d9431ed9fdbdb4f51","datavalue":{"value":{"amount":"+0.7905665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$6A7B99CE-06BC-466A-ACA3-2FC5B97E838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6876f5f83f3a9504bd4a67af198b87090057fe8d","datavalue":{"value":{"entity-type":"item","numeric-id":5277715,"id":"Q5277715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df2d049e47df6751060ef7106f3926f49a058b2","datavalue":{"value":{"amount":"+0.7896893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q784125$AF5FFBDC-3D93-4B89-A4D5-F214987390B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharing ghost variables in a collection of abstract domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharing_ghost_variables_in_a_collection_of_abstract_domains"}}}}}