{"entities":{"Q2908512":{"pageid":2919237,"ns":120,"title":"Item:Q2908512","lastrevid":79824020,"modified":"2026-05-06T14:47:32Z","type":"item","id":"Q2908512","labels":{"en":{"language":"en","value":"Reachability analysis of program variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076924"}},"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":"Q2908512$4E2D6805-4388-48E1-B679-94344C1ABE39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be431c99583c7c84ce390e3ba1456965d74734e0","datavalue":{"value":{"text":"Reachability Analysis of Program Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908512$F8C5A8AE-1168-48A2-99DC-53F491BAA16E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79bf7ee26a9a9753b9ed3999e63586eb776b31fb","datavalue":{"value":"1358.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$92A0DE43-540C-455D-BB02-B03C0969C6CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee531324d2a4e54c8dd66ea96082a85ba031213","datavalue":{"value":"10.1007/978-3-642-31365-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$3B38748D-1C30-4C7B-B18C-0811960ADC0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b96e6f557273599c2b2b0754d6ebec9ba9c41e6","datavalue":{"value":{"entity-type":"item","numeric-id":383354,"id":"Q383354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908512$2439C4FD-6CE9-4965-8B28-6C90713FF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908512$AD4C628D-D559-4702-A4AD-75E3B61CAF8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908512$5ACC53B2-5686-4F17-B6DC-77C159647C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-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":"Q2908512$96B94B85-BF43-4898-AA79-6BD369DAA738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$4554B5ED-77A3-493D-927A-1BC2FE7D3CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$DF6F506D-9EFE-45EB-80AD-F5969D392B93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af36b73517c1856422948a79bb4bfd08961b8bfb","datavalue":{"value":"6076924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$D0323FE0-8ABB-4BCE-A338-B89BF565285D","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":"Q2908512$374F12FA-F31F-4442-9987-163EAFDC97E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7091671d4cda41588dfe3196084f201232bfb7cf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908512$52D2BF0A-0FB0-4B20-9352-F3A0B1664C48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79908465e681a29aac55d3b34b585515f7c4ec73","datavalue":{"value":"W75979710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908512$D0E295AA-E204-4378-94BB-A4CFD6DFB833","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cd45152579f82449f3ef54e5c762c34bc28e47","datavalue":{"value":{"entity-type":"item","numeric-id":4940927,"id":"Q4940927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6760858d63dbe10bfec9582b3eb2080aa62d53","datavalue":{"value":{"amount":"+0.7566320896148682","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":"Q2908512$DB8E7F88-D171-4DD5-B8AB-BF123F820BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5276d4229b8662550c0e73f873d92009d067f","datavalue":{"value":{"entity-type":"item","numeric-id":2915100,"id":"Q2915100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38935223773bf5f23eb9713777656478f283a25a","datavalue":{"value":{"amount":"+0.739207923412323","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":"Q2908512$49367533-9BB2-4E33-9FDA-7AA336E58B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a443caa83c8def60aac59570ff10d3fd9493b957","datavalue":{"value":{"entity-type":"item","numeric-id":5757242,"id":"Q5757242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec09d1f67d3c247e0547c09cb6cece89220631d1","datavalue":{"value":{"amount":"+0.7128364443778992","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":"Q2908512$374E1BE4-4D28-409D-A63B-698712B88887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789e1de36889536e9c3035b05f947cd565285331","datavalue":{"value":{"entity-type":"item","numeric-id":1944776,"id":"Q1944776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0ec96c795a0d7aa9e6bc6345960a31c86a9d4d","datavalue":{"value":{"amount":"+0.7030558586120605","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":"Q2908512$33BADFD7-BCB6-4DB9-8268-B8CFAE077E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d27d08d5a38de67257667db455aba969d884c8","datavalue":{"value":{"entity-type":"item","numeric-id":3388708,"id":"Q3388708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b245b7df296428e13699d26a555d3af287dce0f","datavalue":{"value":{"amount":"+0.6984220743179321","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":"Q2908512$D4F5C9A8-09D7-43D0-8661-EDC1758E65B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis of program variables","badges":[]}}}}}