{"entities":{"Q2796053":{"pageid":2806791,"ns":120,"title":"Item:Q2796053","lastrevid":58003269,"modified":"2026-04-03T10:12:47Z","type":"item","id":"Q2796053","labels":{"en":{"language":"en","value":"Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559860"}},"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":"Q2796053$B674D761-4261-4F96-A184-1D4DF22D4E7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154967b85dd87013fce4e1eb6d4636f1ef183ab5","datavalue":{"value":{"text":"Abstract Interpretation with Infinitesimals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796053$70BAF583-17C5-463C-AF04-1621AB93BED6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22574680056018ed2ab51b01c5c39f49fb47776d","datavalue":{"value":"1475.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$397C6391-7F43-4B5F-A5D1-B3BE915F98CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4550f70273fc4d99c6603477a400468eacb94317","datavalue":{"value":"10.1007/978-3-662-49122-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$2E0BF632-82C8-4422-B578-4113671A7ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61f979c6a572e2d3e5a7b4bbf2f08fda041b6b64","datavalue":{"value":{"entity-type":"item","numeric-id":2796052,"id":"Q2796052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796053$4D8D61EB-93B0-4CED-B309-E7ED3AB655AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a79f3b409f94f1ce850864706ce220316e5542","datavalue":{"value":{"entity-type":"item","numeric-id":1653003,"id":"Q1653003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796053$E0680295-A350-4E59-BAF3-ED629DC4157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796053$B2B3E3E4-8267-4037-9D21-8AA1AD756F97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796053$6178804B-D87E-4E82-9BE2-AFACD4734BEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796053$61779B6F-82D3-4E3E-A7D9-A075E9A25063","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74111d11a5865f5b14550a44d0b15b711c343424","datavalue":{"value":"https://arxiv.org/abs/1511.00825","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796053$60A0EEEF-F055-416F-AB2A-F56DC7BD254D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$4DC6593A-E693-4576-9276-C262605E11D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"022273e3fb81c8f88f6ea055a4646ed826994fec","datavalue":{"value":"03H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$225EDCCD-6D2F-4839-9B6E-17DE368D95F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03099de16727924e7dc3ea1458a4dfac72b3e68e","datavalue":{"value":"6559860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$0FC92D1E-A4B5-487C-A40C-DE7F5C9F1A89","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":"Q2796053$EA8A23E9-A365-4C8F-97F9-D2F75BF51102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c7fe6dce84da7b491f5c64671177b66f80ce179","datavalue":{"value":"W2296029809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796053$23193D98-E709-410A-8D59-B5EDE5D401BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f808d9c41e19c465fff132b9891c021bb4d8b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":3012935,"id":"Q3012935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9f8fe3a934074d1c6d5976f5d17ace2f8a43f0","datavalue":{"value":{"amount":"+0.811684250831604","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":"Q2796053$27EEDEA6-C027-4112-9FF4-F42389A76237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824e3987c18b67e69c97307b82d5c66e4f4338c6","datavalue":{"value":{"entity-type":"item","numeric-id":5703947,"id":"Q5703947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298371cd5269dc48ad6d07824952571c5f83442f","datavalue":{"value":{"amount":"+0.7414926290512085","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":"Q2796053$C7367E17-B533-4F72-9C19-C6442A938B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a2c00d156902668c0979d24425e406ec681c81","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc96f6ab2c0c6c67d33f4c1e8f5cda3aa744a3c","datavalue":{"value":{"amount":"+0.7349706292152405","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":"Q2796053$4E06E48A-AD0C-4B06-A66C-B6AFBEF8BC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14caebf316fcd23b564511028387001f0da93b9","datavalue":{"value":{"amount":"+0.7310659289360046","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":"Q2796053$113551C5-F973-4AAD-8755-E1A5AF886719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde53ae633408acb3736433b145ea145b3e5d845","datavalue":{"value":{"entity-type":"item","numeric-id":3066089,"id":"Q3066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa63bb77ab2152b1d527866a4c7c33988ec77cb3","datavalue":{"value":{"amount":"+0.7294564843177795","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":"Q2796053$D93C320C-5867-4D8E-9EC8-51A7615E2BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2796053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2796053"}}}}}