{"entities":{"Q4012708":{"pageid":6042505,"ns":120,"title":"Item:Q4012708","lastrevid":55184830,"modified":"2026-02-04T13:34:25Z","type":"item","id":"Q4012708","labels":{"en":{"language":"en","value":"Deriving descriptions of possible values of program variables by means of abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65194"}},"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":"Q4012708$D508A398-A7EF-4AD8-8365-C1F55B1D1B38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"595353bbbd3c6a738d4eb6babe645da977116b7d","datavalue":{"value":{"text":"Deriving descriptions of possible values of program variables by means of abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4012708$124A6E87-1334-4E2C-80E5-9D3FDB9EFF67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b6098ca7656c5121a3116e487da25d8bb2f56e","datavalue":{"value":"0776.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$C29BD6D8-26B7-479C-AE59-F80F6246403F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61bdd1d76b3334ff9f5eeb8657417786f11c1b2b","datavalue":{"value":"10.1016/0743-1066(92)90032-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$D049C2C0-7B52-47F6-9E6A-36102932AD01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10df364845edaced0a0bcab5763b691a5d68702d","datavalue":{"value":{"entity-type":"item","numeric-id":2317966,"id":"Q2317966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012708$FD33B27E-7252-4724-A0BD-2D84DC7FB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012708$E104555A-0EE1-4952-BFDF-22A41EB51877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012708$BF6063D1-9321-421F-878F-ED43318C1E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012708$7EBCEAE8-25E7-469A-B776-F986D757C7FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$F293F1EF-D719-40F7-B289-8A7E016CB59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$8BB9E317-C685-45B6-A667-AA662B9328B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$91B028E8-CB74-49E5-B52C-D4EF11AAE307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$F6A7AA68-CDA8-44EA-88A1-7BB97EF2A361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0a2b8423acc8991db517cceb8b0485e56ecc64d","datavalue":{"value":"65194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$BEED2D4B-6604-4871-AA93-3EF3C1A7B8C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aae9d98879439a3cff669bd2ea5e22fbae2b3b5","datavalue":{"value":"PROLOG compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012708$2109AFC2-6387-487F-A433-0C2668063892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012708$4D6AA32C-27AB-443E-9E9B-63DB19DD71CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53ac6ab58ed5e7e452764d7a1db3e6be85fe1b05","datavalue":{"value":"type information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012708$067344CE-466F-4802-9011-7B636445ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69020b90f2a295125077d4c830cfc6ef19605b9f","datavalue":{"value":"free variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012708$42EBDFEE-25AC-464D-9BB6-842209DF1147","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":"Q4012708$403619E7-F247-4886-8079-C8237E949DEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2038df67989d607501812e9767296d6de2bd023a","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90032-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4012708$1D426D52-855E-491C-8E9B-92C2C56C104E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e601b9f7645f5af135324db7f0e73926e5369e28","datavalue":{"value":"W2069076448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012708$33184D49-4D64-4C6A-8F02-4F888963B5D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05979d1e5a6c327a4491046e17f058c3e0ee8c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969f7309faa3251411a3cfc37f75b09803c3e259","datavalue":{"value":{"amount":"+0.7687905430793762","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":"Q4012708$89F02A61-1829-443E-A260-54E569D629FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b317c0fb7d5cb46c0c64dcea7ac77ea3e229d5a1","datavalue":{"value":{"amount":"+0.7645344734191895","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":"Q4012708$C9792558-8A5A-426E-8336-04C324ABDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f9dd4b34a5b400236566619697ee4c22cf75ab","datavalue":{"value":{"entity-type":"item","numeric-id":1108783,"id":"Q1108783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f63ca478cbab36e38d27552d921118282ff255","datavalue":{"value":{"amount":"+0.7600092887878418","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":"Q4012708$2DE80B77-FB68-4911-9AA0-62E97177194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8943e16bcd7c4c879d63f7f6899de2a2f6454c28","datavalue":{"value":{"entity-type":"item","numeric-id":4944878,"id":"Q4944878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2607afac19ce908ae10d533dfae7a37c891ebd98","datavalue":{"value":{"amount":"+0.7465879917144775","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":"Q4012708$072B5A47-AD36-4ED5-BD9F-2C0155B300F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3705c1134ebaa804353c6649ba3045fab73e5c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4415114,"id":"Q4415114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbc4d51df2ebb4d1ae421e49b46d3e04da0050c","datavalue":{"value":{"amount":"+0.7405813336372375","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":"Q4012708$8648BE80-439A-43EE-B425-AC78CB3E3370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012708"}}}}}