{"entities":{"Q6536146":{"pageid":14147289,"ns":120,"title":"Item:Q6536146","lastrevid":103738103,"modified":"2026-06-06T08:03:31Z","type":"item","id":"Q6536146","labels":{"en":{"language":"en","value":"Context-sensitive meta-constraint systems for explainable program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827819"}},"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":"Q6536146$28F80DCF-1376-45AA-A844-3DD4B16FFB78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e1c41a399e665c8b4832a2d9513f5ddaf2fc04","datavalue":{"value":{"text":"Context-sensitive meta-constraint systems for explainable program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536146$83C79FB2-84AC-4CCB-B2B4-19F5133B58D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa7f2b4d4c9d87d59059c7107b511345ff99333","datavalue":{"value":"1547.6811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536146$033BE161-4831-46E1-9C2D-1B34E5CCF419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0fba4c74c166fd457e124b8229cb2dc6d5ea1e1","datavalue":{"value":"10.1007/978-3-031-30820-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536146$E36F41CC-578C-4A5B-968E-96337CAFB52A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0aaa36aa4d97c2b667ea61078255881d224490","datavalue":{"value":{"entity-type":"item","numeric-id":1785849,"id":"Q1785849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$1B8892D6-116C-4DC9-A5F2-EF287850930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01e72257892987bc013aea32c9a5ae6caff4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1785850,"id":"Q1785850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$C6905340-ED0C-4936-B5BF-7037520CE820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536146$9C569DB4-6321-4D72-A483-BA2D4F01ED96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536146$8EB6E3EF-3D64-4A17-B085-0E4EEEFAAD6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b8cb35f8e2423314b14de72dbd2cd5e2cdfbfaf","datavalue":{"value":"7827819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536146$B4D74322-614C-4299-BF71-DA784A845C23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536146$E93D5DB2-81AF-4D34-AE2E-7D6E5E01FE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de4932bfd6c39a209d6b6c0873900210095e11","datavalue":{"value":"data-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536146$39679D54-48B6-4E61-ADD0-FC4C873ACBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49097a6a646d9605427866b5a7b7d49dd8318e87","datavalue":{"value":"constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536146$9DD2B1C3-F4F3-4DD7-9035-EC89BC4931FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536146$8CEA8AB9-083E-4E5F-80A3-32F5A0479B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925a8d89d661377587d86412ea89cad5cf30a0cf","datavalue":{"value":"explainability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536146$EA2B0DE4-EFDC-4BC1-9777-4208326D7530","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":"Q6536146$DE0307B8-B163-46BB-88E9-0C9D34086828","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d17bced200c861b1f68e40b8ad1d6ac729ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$8646ED72-8302-4F8D-9C38-C97D6DFCF5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676968c78144f97fab58f793e7da2a6810a76873","datavalue":{"value":{"entity-type":"item","numeric-id":1785851,"id":"Q1785851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$E3A3D807-3ACE-4862-8B62-95C11CEC5CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$3DD3BED9-BA3B-477B-837D-D83BEAA5A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$2645F349-85C4-444F-8EBA-A4F3D4211EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$BDC666E9-8912-4F9C-BAA3-DDE6390BF27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$30F90787-0190-42F2-84FA-9A568FA5A4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed25a4cba0bd47c7429205b2f7b182b67fa89d","datavalue":{"value":{"entity-type":"item","numeric-id":5108517,"id":"Q5108517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$6F76E63A-860C-4355-A506-06BCD7CCF9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbf43fe8ce1d724a6507d2551b95fa071ea15a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$F81475D9-D479-40D4-99FF-AAAC3D90C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f101b5f0fc995f830634b7b6cd442baff4f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$33F21928-67F2-45E7-8152-447A4F2463DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$5F0E7EC6-8D2B-450D-A14E-542370C8D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d65898a766783da6ec0392493dd6440361349","datavalue":{"value":{"entity-type":"item","numeric-id":5898628,"id":"Q5898628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$C69A0811-1FA7-4E75-AF4E-67C08D02D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3d3be3ec5b2236a70027245a7bc4b849ec1795","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$2AFD844E-04FF-44FA-BCBE-189582E5DA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd18d6161e1d131ba850ef976845fa9c1e6b5088","datavalue":{"value":{"entity-type":"item","numeric-id":4828479,"id":"Q4828479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$63271876-5A5D-463D-ACF1-564889FF349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb73b716dfadd98ffbc1ac88c5c382bdc809c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5084314,"id":"Q5084314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$FF619EA4-0AAC-411C-AF49-4EBC35542F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec70f35ffe4a5b33ed5642160d351f6c5c4f2985","datavalue":{"value":{"entity-type":"item","numeric-id":5892586,"id":"Q5892586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$504F3C5F-CA2F-486E-AE99-989A216C88B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c04662862ead8de939d158c5f35dfa57a533bba","datavalue":{"value":{"entity-type":"item","numeric-id":5168916,"id":"Q5168916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ca016d181bb4e5972e11d274ce0723f28bcc08","datavalue":{"value":{"amount":"+0.6709802150726318","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":"Q6536146$08935EAE-7642-4AD6-8B62-ECC4BEB40FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e6dccce5295e547dfbcef543b07308b46b90a","datavalue":{"value":{"entity-type":"item","numeric-id":5505421,"id":"Q5505421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac944b5a880bb277b76bec02703d4a428011ed16","datavalue":{"value":{"amount":"+0.664549708366394","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":"Q6536146$C022B5CA-0C90-45D5-A5A3-827A933A06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae2a4f003854d2baa3d12a7a2c7f3724d9af3c9","datavalue":{"value":{"entity-type":"item","numeric-id":6488155,"id":"Q6488155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7300e2f1855bd949843071e5d4ce050e9f2ca52a","datavalue":{"value":{"amount":"+0.6507009267807007","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":"Q6536146$57F64C51-8806-4B3E-9204-A3C63D62CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fcb727a15f3632bfb1837223b68b485fb06587","datavalue":{"value":{"entity-type":"item","numeric-id":4913442,"id":"Q4913442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e923dc2a71266bb8a94d4dc7401be956352853","datavalue":{"value":{"amount":"+0.6497663855552673","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":"Q6536146$017C5F22-9263-4590-A0A3-0EB5793B47F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40badb39629f318cbc4c2d8b6b28d17a0861851","datavalue":{"value":{"entity-type":"item","numeric-id":2163172,"id":"Q2163172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cd1c80385084dde783e6f30121a7ad348e1cf6","datavalue":{"value":{"amount":"+0.6488932967185974","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":"Q6536146$9A3260C5-9745-4755-8B47-EBEA9A9962E4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536146$8896F3AF-12D1-4AC2-999E-5CC7117CD2A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context-sensitive meta-constraint systems for explainable program analysis","badges":[]}}}}}