{"entities":{"Q859954":{"pageid":861802,"ns":120,"title":"Item:Q859954","lastrevid":64920594,"modified":"2026-04-11T23:06:54Z","type":"item","id":"Q859954","labels":{"en":{"language":"en","value":"A calculus of logical relations for over- and underapproximating static analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117723"}},"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":"Q859954$A3D09ABB-A8C6-4761-A27B-390512C81AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df4b576ad236adf18219ce9b624043dd6c1255ec","datavalue":{"value":{"text":"A calculus of logical relations for over- and underapproximating static analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859954$0AEB6A23-C3ED-42F9-8A7C-257CAE102741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"954e53609a145ed6fd33d40171c4f4cc6449aec3","datavalue":{"value":"1171.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$02EAE14A-03C1-4482-85AE-F0BE43307E92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859954$8899EB36-B66C-4C0D-BA5A-8A68871DBE32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859954$4E1B4AA4-0649-4059-B541-D678D8CAF413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859954$C8C9022F-79B8-4778-ABC9-18D2D6865310","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$840557F6-005F-4150-B230-2BA1547A455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$804F7D55-E719-4512-994D-53CBC5E45EDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1b333be425b8ea55a14db9c47b8b50a0014216","datavalue":{"value":"5117723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$876288E3-B20E-4150-8B6E-FDD65774465A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$06875CA2-19F0-4CDF-B7D9-935E505C8417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$8106EF99-4EF4-4DE0-BAD9-321CCBEB19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$735A6830-5E2D-4951-8FEF-580C02C2457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ae2e76a94134630492fbf529637ddb4e7cc619","datavalue":{"value":"underapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$68A8D691-A6B1-4E09-8CC5-1705BBDECE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee25712a8d0e0d115e7cae6c46a5b59478b1622","datavalue":{"value":"state-transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$7188EEAC-AB73-412E-816E-38FC40A1EB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q859954$7D2F827A-3915-4977-A9C9-920FFD09030C","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":"Q859954$9DB11822-BB3B-4BF9-86AE-463DF1AAD3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"453ed46caf11d6409dfa6b0f72f7f62f570a86b0","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q859954$97D66621-394B-4EF1-B3A9-CD9428E43310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d1774be9d309653252d74beae869253bacf93d1","datavalue":{"value":"W2052286082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$45A0B9A7-86A9-46D0-955F-DF492891F06E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1480fd8e03956963f5362d52c84770ddd0eed19d","datavalue":{"value":"10.1016/J.SCICO.2006.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859954$E2AA812A-D979-4AAF-B001-660ECBA8DEA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271e3a01ce3821a97f94e0190677efbfe1af6674","datavalue":{"value":{"entity-type":"item","numeric-id":5466576,"id":"Q5466576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae3b883007f89c8c8b361378cf47367ee19fcc3","datavalue":{"value":{"amount":"+0.8339001536369324","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":"Q859954$619740DE-E7CF-4E71-9469-738FD0D5A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac202c4b4678a43f028362efb729beb06ced3655","datavalue":{"value":{"entity-type":"item","numeric-id":5408396,"id":"Q5408396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94057ed16177e94538ac4e8e15b881c99ae6b31a","datavalue":{"value":{"amount":"+0.8030852675437927","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":"Q859954$CB812578-C926-465E-B6D4-C5F2F67E0081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6ce15a31d3c635a504d28c4ffe50d024b84e83","datavalue":{"value":{"entity-type":"item","numeric-id":4808686,"id":"Q4808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43488dd6d3da2223849c712a2701571a159d2e5d","datavalue":{"value":{"amount":"+0.7703989744186401","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":"Q859954$27388B5A-C0FA-4D9E-950C-9F893A506B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7d6f9a0ca47c83194a999e638a7f5b10c205bc","datavalue":{"value":{"entity-type":"item","numeric-id":5385595,"id":"Q5385595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b3d418972fd18b083dfa99f9a5493559515279","datavalue":{"value":{"amount":"+0.7571765184402466","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":"Q859954$4AC3C43A-D046-4FD3-904C-7E22322ABAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e99ac8ae7008d6bda0b3e33b5d83bb88c0e089","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acaf870fe750890eb785f4070af7d3f96c5ae2a3","datavalue":{"value":{"amount":"+0.7563562989234924","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":"Q859954$76ED8A2B-BAC9-429F-829C-659ED317CA0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus of logical relations for over- and underapproximating static analyses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_of_logical_relations_for_over-_and_underapproximating_static_analyses"}}}}}