{"entities":{"Q2796039":{"pageid":2806777,"ns":120,"title":"Item:Q2796039","lastrevid":83511344,"modified":"2026-05-07T08:34:38Z","type":"item","id":"Q2796039","labels":{"en":{"language":"en","value":"Property directed abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559854"}},"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":"Q2796039$27F9ED4C-D607-4056-8870-813EC598A82C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"707442a293274331929f82d45c55c9b76da853fe","datavalue":{"value":{"text":"Property Directed Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796039$FF13318B-646B-4F0E-8FA0-A52340485E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa3ea0bf8d78082817ebd0eca5b8d6e66ae7f6eb","datavalue":{"value":"1475.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$7165FF23-34BE-40FD-9001-53C7012BCD69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ec14005010487f0ed38ddb9bbe014bc36acd52f","datavalue":{"value":"10.1007/978-3-662-49122-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$A69A8E97-1C0A-4C37-A60B-1B80F93E7E9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796039$D237CC6F-9261-4EC9-ADCC-E9FF7A7CEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796039$B300C2BE-3C7A-4DC2-A9CF-3F1D2AD84521","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":"Q2796039$957B43BE-89EA-45C2-A1F2-ACF0DDC35057","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":"Q2796039$50241986-2BED-4172-A2C6-59962A364113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$07D2374D-1317-42BB-873B-BFE1D589AAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$3ED99B15-2E3E-414C-B028-18F2CDA6A81E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddefe8e3dcba55c77fe65bd2971992c52c2b7722","datavalue":{"value":"6559854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$91EF0D67-D631-41AA-A292-3E3114C39643","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":"Q2796039$C29C985A-D403-4898-A683-F93C337CE046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5c949969c7f6a139f8a6be6a9804350dfcbbe04","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49122-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796039$65C9858B-9651-4FC2-BCF4-5D1DF1A51F27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93b35e7a10c1808cf074e8f550a7f6745b41a402","datavalue":{"value":"W2295934074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796039$A8A2D08D-F8CE-4A56-BEA7-3328AF03275B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65b59f053891bc48374bd07239cf3105cdec628","datavalue":{"value":{"entity-type":"item","numeric-id":5039500,"id":"Q5039500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033dae0640800c533f73acf09c44e884c27085f2","datavalue":{"value":{"amount":"+0.7909162044525146","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":"Q2796039$C264D1B5-F3BE-452D-BF86-EECEA05674A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6ff91e010703ee4fbad84024e8d0fa028fb1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c73a2832bf58e9e9b134a1227d721dd09fb135","datavalue":{"value":{"amount":"+0.7753999829292297","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":"Q2796039$0140B333-D509-4491-946A-56A21DC85DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0f8b8de057ab428a18bcf5c9c80ff15a5efe65","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db49122b56fde4efe96c3d12c8189c397f479b95","datavalue":{"value":{"amount":"+0.773697555065155","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":"Q2796039$A21A59FB-B863-4D91-9A04-27A14A82CB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3417357b4cb83cc52718350f3ca7e09ea7f585","datavalue":{"value":{"entity-type":"item","numeric-id":5452721,"id":"Q5452721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cee36758ab3eb0ed7eea14464dddd1d58735dc9","datavalue":{"value":{"amount":"+0.7618644833564758","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":"Q2796039$DACEE9D9-93B8-49CE-BA58-F1534C87E6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb611003393c1dc0205556b91d6c0ac6c96c45","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bf16915f1b42d84d64bf0241c9f2cc0fd285f5","datavalue":{"value":{"amount":"+0.7559865117073059","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":"Q2796039$BA0F8796-965A-43B2-A19A-511D776EFD9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property directed abstract interpretation","badges":[]}}}}}