{"entities":{"Q5030183":{"pageid":7059760,"ns":120,"title":"Item:Q5030183","lastrevid":54225530,"modified":"2026-01-26T12:16:12Z","type":"item","id":"Q5030183","labels":{"en":{"language":"en","value":"Semantics-directed program analysis: a tool-maker's perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474220"}},"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":"Q5030183$EC299044-17E6-416F-B3FA-9B2D7788CA81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c9273fe0e48ea37c43a11e478a453c98501fdbf","datavalue":{"value":{"text":"Semantics-directed program analysis: A tool-maker's perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030183$93169D24-92F5-4D63-ACF2-FA4E60F42D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1722cd11ab5865df7441487c64a6698524b41ec7","datavalue":{"value":"1482.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$49CC19E8-0532-47D9-948E-75922F4FD636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6810fff7bada1e0b54140e8b2193f65b7d2096d","datavalue":{"value":"10.1007/3-540-61739-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$0EDF02BB-E6AF-488B-ACF0-B142A0928638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$EB6CF38A-6E3E-4E89-AF1C-32CB0935D8E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$D8364BD1-7219-4ACB-B067-8821EEE9FC7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030183$A80B9FDE-2FC7-45A6-A43C-80C8984F1A95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$4B9D0F6D-AA60-444E-925A-14257C369273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$14447DDC-AEEB-4C93-BBD7-6303A83E5557","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c910825eedba2aad10a64bf0751cfeb4fc9c56d","datavalue":{"value":"7474220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$4724151E-500F-4599-900F-9BB62ED83883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030183$9E84B5D8-7385-49FD-8092-18E4E17F5339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030183$B5CDEB2B-FDE0-436F-B9BC-746BB16CCCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030183$A21E691F-4DB0-4AB7-BCED-A9F3564139A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73fae406eb08cbd562d85b90b64f0aba8825f29","datavalue":{"value":"two-level metalanguages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030183$AF5C050C-E715-4FC9-BD55-B028A9B633CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b3373a72d485037b9a123eeb3da1b354b5f613d","datavalue":{"value":"tools for program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030183$17154E1E-0BEC-4448-9B31-358B51C797AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70b73d320337875812539d189092baccd8d4ab9a","datavalue":{"value":{"entity-type":"item","numeric-id":13423,"id":"Q13423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$8BB69276-E7B3-4476-9935-80431372CC08","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":"Q5030183$36378EA9-F2CA-4BC7-9336-DADAF153D0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85672ac950f3492ef839300a9bb92b85f424dc64","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030183$C8350D22-9373-41B0-9418-B8B4E3FB7A83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6123d7af3c9976fdd8f126b901b923c86dd7eac9","datavalue":{"value":"W1679306079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030183$D91C779D-0ED1-4ED5-8979-37B2F9181F4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c012e9e7f8615bd9f015df51cf98112471a0adb5","datavalue":{"value":{"entity-type":"item","numeric-id":3713564,"id":"Q3713564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$15F8030B-A835-4417-9B43-ADFB57F83CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$6BDBCCB9-4173-451E-8F12-F74C4E5930BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf0600607c5bc17609f9d84077eec71edabfc31","datavalue":{"value":{"entity-type":"item","numeric-id":3713560,"id":"Q3713560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$499F03D6-E0C7-4D7F-ADE7-721167329DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1fd100ba49d79341053b43b60105b7dfb1c67","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$EE797834-3539-45AD-984B-1D263329CD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b03de6f1dad401a15e7167ef5bc6e87332d6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1095636,"id":"Q1095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$AE9762D6-1ACB-4B1B-A3FD-EDF6CB78534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$08A418BD-ECA1-4F5C-9B7E-CFD8774E965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$5E1ED90E-C8AC-43E2-BB36-8E55B3087ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08a9a3ef008eec58c2212b6cb7c459d1dce737e","datavalue":{"value":{"entity-type":"item","numeric-id":3709882,"id":"Q3709882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$34C8719B-5537-42F0-984D-0DC39506297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c041f75172a57ebbbacd43f363f521129e24c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$B5AE378B-A694-4A3A-9D93-5FF74FC5F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fba58ff256554daa3c7c00e75c486e7bc08ce19","datavalue":{"value":{"entity-type":"item","numeric-id":3664406,"id":"Q3664406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$7B37CFF3-0163-4CA3-9976-0188E695D3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$4FFF8681-B752-41B9-A3FC-BD8FA4F43672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030183$2C452AE7-5BEE-4EC6-96B0-A3169DB0237D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdbdc9e92f62106777a01e7176cdb53ad66dcb7","datavalue":{"value":{"entity-type":"item","numeric-id":1856179,"id":"Q1856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858db5f059851f05358e6b91ffa96100d04d1cc7","datavalue":{"value":{"amount":"+0.7203719019889832","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":"Q5030183$12977A7D-8163-4367-9E87-017330B9759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cf79a6ea05689e21ba20669af94e94870bb814","datavalue":{"value":{"entity-type":"item","numeric-id":2843912,"id":"Q2843912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083fb3c50ca61412ac942acc33b9c034869fcf7e","datavalue":{"value":{"amount":"+0.6741946339607239","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":"Q5030183$737C29AA-C494-41C6-AD5B-727FEA17619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9339d41e22912d96348613fde3258ea053f323","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d386883c14ea53b20b31e6f51a1ca925e5e4f6","datavalue":{"value":{"amount":"+0.6733200550079346","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":"Q5030183$78E62885-C954-4781-B304-AA2CAC3456E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c67139b4ac18816427719d0bd5d5f2d59bec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87b90ad61f227fe9420fc4e5d4e5d2869f942b7","datavalue":{"value":{"amount":"+0.6720706820487976","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":"Q5030183$017B2755-3FC2-4FBE-8BC5-1A2640BC254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68f530c13a3c1e3e15cccd287639e4550fc678","datavalue":{"value":{"entity-type":"item","numeric-id":2182314,"id":"Q2182314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c570c6365737fef420828f9a3146a745883ab9","datavalue":{"value":{"amount":"+0.6680877804756165","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":"Q5030183$1A6C765F-E793-439E-B3CB-8AB43B78F83E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030183"}}}}}