{"entities":{"Q2814101":{"pageid":2824839,"ns":120,"title":"Item:Q2814101","lastrevid":56987895,"modified":"2026-03-25T12:26:26Z","type":"item","id":"Q2814101","labels":{"en":{"language":"en","value":"View-augmented abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594901"}},"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":"Q2814101$48F90CEA-A385-4D97-B71C-76630E75FBA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"410a55984abd2b24fb233162fc4e566297ab0af9","datavalue":{"value":"1342.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814101$6C20F917-B280-4674-9784-4A945B20708C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b107f0566f5124937afdfff03c338c04d0112be","datavalue":{"value":{"entity-type":"item","numeric-id":932672,"id":"Q932672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$A00D43BB-A122-4D60-A303-A350E9F01ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b58bb29ac7d862b86283ad0b2ef7516f644d169","datavalue":{"value":{"entity-type":"item","numeric-id":2814100,"id":"Q2814100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$DB7D5789-49BC-4B1C-A96F-480BF5CEC065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$F4D1CB04-7C26-4739-AF04-64C62AF135F6","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":"Q2814101$445C29B9-16A5-4DDD-A598-E5660E4266AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814101$BB01B98C-9F68-4D11-A64E-2162D16A57C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814101$9AA84670-B51B-48BC-8898-9A185B26427A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6fcc51602ff513779dda426afa8c747a570c215","datavalue":{"value":"6594901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814101$49B06FEA-82CB-4C4D-85C7-E1FC9B5C9BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814101$40EA9EE4-9202-49A4-806A-83EAA4527F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7501a63632e4fdcf6a112a0d15735bf6407b82","datavalue":{"value":"view maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814101$4399E2F5-7CE3-4903-AE44-301574F895A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b503e2f3dd46a80edc9260ae8996398762fe1fb","datavalue":{"value":"abstract-interpretation precision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814101$2D413AF7-D3C7-4299-A328-1E02638C6EC0","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":"Q2814101$6EC83112-49EE-4DA5-9137-A60CD3BF1130","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c82968d34b9f42f3da3123e147da5cb241c38980","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814101$7992E057-1649-471C-8CC6-FE2080CBE71E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b47ace45257bc68b3a82576f015078143888a832","datavalue":{"value":"W2127524927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814101$1DD89EC7-EF12-43DD-8544-33493F5C9970","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad90f6cec38c35afe0de2280ea56854eb9819aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5897426,"id":"Q5897426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$78424D77-70BC-420E-93FA-033AA4FD9808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$7648D14B-2F47-4F60-A785-C52259634BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$08E8E3FD-804C-48E0-A2B7-BAF1F1BDF77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$810ABF5B-84A8-4440-89D3-80A9BBE4F1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4656e53b5d8b00c0e3633f9f47b422c02453dde1","datavalue":{"value":{"entity-type":"item","numeric-id":4186267,"id":"Q4186267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$DAEBADCE-1C45-44A5-8CDD-6AF21B690714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$205E4328-0DE1-4E23-A4B4-C217762BE2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d65898a766783da6ec0392493dd6440361349","datavalue":{"value":{"entity-type":"item","numeric-id":5898628,"id":"Q5898628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$8096A356-A943-49D0-8545-822242ACBBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43d29cea4632ae9e5ef80b3f342a97b7af22778","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$D36A0A83-6161-4DD9-AE08-A5690FD34EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$20823E10-7FC6-439F-8588-53064BE98B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d6f89901bb1264c7e9f22a16224fb694fab3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3943982,"id":"Q3943982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$B2E6FB80-DE69-4069-AF15-9F0105285064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa2e0ad6c3a17491d918ed415db87319d88de9","datavalue":{"value":{"entity-type":"item","numeric-id":4417906,"id":"Q4417906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$BB34F6F2-0EE6-48AA-AC15-5E30AB5C64E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$90818B80-8698-482D-81A0-54B39817B77D","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":"Q2814101$F7595B98-7EE5-43C6-9826-11F143E429B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257d08455ef584eb671b59fe645a2702cfc11cf9","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$9EA298F7-30C4-4DAB-9C2F-BD7603312F7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e2819580afdf3de9b0c3277b349b422917903ea","datavalue":{"value":"10.1016/J.ENTCS.2010.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814101$B5F14092-5947-4AEF-9127-8AFB2D7C53DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d37d6eaf30aa6437e90fe533d66b4016224aff","datavalue":{"value":{"entity-type":"item","numeric-id":5240148,"id":"Q5240148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc86adffd2e09b15b42ef8c52ceafcc285f29566","datavalue":{"value":{"amount":"+0.8854145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$3E96BBC2-BD84-4937-9265-ADF74C1B53FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5a7209c8807a59fd82e112ac8295b1eedd0d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4225379,"id":"Q4225379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5f434395a45a71d0ed96ed6a5028ac4275c8c9","datavalue":{"value":{"amount":"+0.8331841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$2EB9144E-F57D-4F2B-A393-77541EC764D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85eff1e5f440100ba0dbed221c6cfb5b114e825","datavalue":{"value":{"entity-type":"item","numeric-id":2024368,"id":"Q2024368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a4d687853b00b82fc2cf98178e122dc6f1458e","datavalue":{"value":{"amount":"+0.8291587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$041C6ECB-05DF-492C-B176-4000BEEF4100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d795117573e6ca31df947357e663c6c6ba4a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3126766,"id":"Q3126766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55829e0f1e2678c64c9168bb4398118e219b1050","datavalue":{"value":{"amount":"+0.81531364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$7E2384C9-A558-4304-8BCA-9863AD0E4DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9119242a67cf3f03fff1ec828a820a4d00ad7c","datavalue":{"value":{"entity-type":"item","numeric-id":4364612,"id":"Q4364612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d22fa7e8047d64944d33196674147d0cf36cb8f","datavalue":{"value":{"amount":"+0.81462574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$0A8C925C-CB9D-4C41-B80B-224A357D93D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2469df5700677ea70b5042955bf6748fe102c925","datavalue":{"value":{"entity-type":"item","numeric-id":2767172,"id":"Q2767172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acacf902a708731ed054803df988e19ebc9ace44","datavalue":{"value":{"amount":"+0.80359054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$1B178272-4FEF-42D3-AA4A-88B25A47D1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349cddd7b576d38abc99ad805cec9d74ba6fce79","datavalue":{"value":{"entity-type":"item","numeric-id":3504371,"id":"Q3504371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dde57cb737467157b396227c275962a68f9882","datavalue":{"value":{"amount":"+0.7997935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$A8FC4584-BC56-468E-BF5F-89DD39A7F96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298e1967299a57334f05ec516cffed4a5bcf41c1","datavalue":{"value":{"entity-type":"item","numeric-id":4471635,"id":"Q4471635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc791d1026e209764bab1ac72a88d43f7b6c3f16","datavalue":{"value":{"amount":"+0.7986279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814101$28779FD9-773D-4872-BB20-BB192B9F9658","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64731a11a388aaf276e9e9a188f686ac50e4e946","datavalue":{"value":{"text":"View-augmented abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814101$7C9731B6-2FE8-487B-AE1D-0DB475471EB2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814101$A0D5788F-C6AD-4708-9176-CFF95B425212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814101"}}}}}