{"entities":{"Q3612010":{"pageid":5641916,"ns":120,"title":"Item:Q3612010","lastrevid":50588924,"modified":"2026-01-14T12:01:07Z","type":"item","id":"Q3612010","labels":{"en":{"language":"en","value":"Program Analysis Using Symbolic Ranges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522594"}},"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":"Q3612010$EC0E1AB9-6378-4DEA-84D5-CB350B986E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"732425ba5e61c4f790d7feb16b95264158f9131c","datavalue":{"value":{"text":"Program Analysis Using Symbolic Ranges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612010$4CAE3F8E-F41F-4CA6-AE70-A0C6731177E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7598537ac7ebbe2ba69744b252d0e539baf3bed7","datavalue":{"value":"1211.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612010$D7B84BD4-A0FF-44DB-A491-48993364B5AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba217027aeb0e16955412ef78ec01475a3d9a43","datavalue":{"value":"10.1007/978-3-540-74061-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612010$83C30246-8108-4FEB-A3FC-72C0E82746F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$6544A6C9-6D5B-4360-8335-1D9005A0F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$16BDA521-F94A-4C50-A710-D772ED124EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$F979AEB5-B1E8-4BA1-B080-CBA29BDB4F18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$D1F15EAD-7C7D-4AC0-94BC-A5AE398A400C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612010$C441C961-6F28-4B67-80C3-D8138AA66243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612010$3DAF9D2C-B3EA-4150-9A22-57C180EC4DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"591a025180ec318825ec1338d4896583bb8b9417","datavalue":{"value":"5522594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612010$C9136728-DC10-4C5F-B03B-709FB5DA27AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$D8C75FED-3338-421F-A472-56ECEF428DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$67E887C8-A57D-4D68-8D62-F0F76AF62A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612010$FF1606B1-48CB-48EF-8952-41D7ADAF4031","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":"Q3612010$23E11BAD-3975-4746-924D-868C64C1274B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f71c33c4d372681f838794cb7eb80b74a2b227a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612010$1B6FF87C-E568-4582-BDD4-9F7D65B58B02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1150920bcd52e73304caf25b95d050a8fec5f639","datavalue":{"value":"W1481954153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612010$F236F051-E3B8-4E91-9133-9C5C17F4FC63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0a5d6e4d3f3cfb5255be99928e4079fda73b99","datavalue":{"value":{"entity-type":"item","numeric-id":281291,"id":"Q281291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc005c79f185b4429fa5ee76845963b31d2019c","datavalue":{"value":{"amount":"+0.7792126536369324","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":"Q3612010$61432FA4-2A71-486D-A4FC-ED833A7B16BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf447ce3be4f4b023d09d4a3e573be5a7d6fb44a","datavalue":{"value":{"entity-type":"item","numeric-id":2575737,"id":"Q2575737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d60aac4a5c476b189d8632a46d3e383bc8f14f","datavalue":{"value":{"amount":"+0.7458962798118591","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":"Q3612010$C44637E2-15C2-42EC-980D-F202982F0C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4050b25181aef71f3813cc25ec235c187b56253","datavalue":{"value":{"entity-type":"item","numeric-id":3499221,"id":"Q3499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68feddb18b783d2e23d865b9dff60cb07c3cc0e","datavalue":{"value":{"amount":"+0.7394150495529175","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":"Q3612010$0F72888D-AAE3-4745-88CE-C1831699532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81fe236d1a71531a64b1214931681f0a73866e","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ec547d65f119f80d77f55adff9d5238e4cc2a4","datavalue":{"value":{"amount":"+0.7392063736915588","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":"Q3612010$6493560C-6BFD-489B-A3DF-6504CCC0F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e513a0939c0a5bb982d8f42accc073c8139cc4ea","datavalue":{"value":{"entity-type":"item","numeric-id":5308413,"id":"Q5308413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1ee9b78a3b828582e44027d6b43befce4894e","datavalue":{"value":{"amount":"+0.7370847463607788","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":"Q3612010$B3438728-347B-4116-93CC-06390041CFA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612010"}}}}}