{"entities":{"Q2763544":{"pageid":2774283,"ns":120,"title":"Item:Q2763544","lastrevid":83148401,"modified":"2026-05-07T06:19:33Z","type":"item","id":"Q2763544","labels":{"en":{"language":"en","value":"Programming languages: Design, analysis, and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692400"}},"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":"Q2763544$D20E6CB9-F746-43CA-A459-4D58DFFBF51F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0b60e2e5df5334987804dd649dd944343d7cf0f","datavalue":{"value":"0982.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763544$E761DF84-4B03-49BC-9426-E551322F4AA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f8949c8020c74d88dbc6ce4808d4168fc0cf54","datavalue":{"value":{"entity-type":"item","numeric-id":2763543,"id":"Q2763543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763544$8A92371E-6FDF-4E4D-8547-79FF84FE7646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-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":"Q2763544$0FACCBA6-52EB-49FD-8040-2A1132B9F5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763544$7D3A1702-E3B5-48C4-A8F6-000C4075FFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763544$B1DDFDE9-25A1-4CFD-A987-DBFCA14EC785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763544$3F341463-20B8-4D9E-A12A-51F9F578C1B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86aab61b38b0b4e23e52f8fbc705ddb4e5c293b1","datavalue":{"value":"1692400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763544$3D35AC79-9C32-4636-9EFF-A8EBFEA4642E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff2d40e5d072ddffda52a2102fb61fc9186b671","datavalue":{"value":"domain-specific language design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763544$A8A5A90D-1AC5-4402-A366-BEB5C47E6166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a48b6965f403b2ffe7c9169c46b2244dd91e7289","datavalue":{"value":"runtime system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763544$283F8073-7308-449E-88AA-049B700C1ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763544$AA689E60-5B2F-4AB1-BFAB-9053AA221BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763544$C2B64489-C018-416B-85D9-8E6178F32E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763544$A2E24CB4-4487-4271-9ECD-ABD667E0FF03","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":"Q2763544$46D49706-7A92-4A0C-A6D0-2C1D3AACC93C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d306334e178d31e0564795f9bed36a92033b54","datavalue":{"value":{"entity-type":"item","numeric-id":3776587,"id":"Q3776587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc747cdf3fe982793f22f3f38a0c63fd86efd497","datavalue":{"value":{"amount":"+0.92609376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$EEB9C0EF-9C35-4A45-8F2D-8C2462853A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c939fe2becb9a2fde43643ce4aa598c56eed2c49","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dd91c2867ce67e523f5b1e7957686f7a77fe77","datavalue":{"value":{"amount":"+0.921229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$4886173D-CE82-4D9D-82D9-E84E4327F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc2fda55d6591ef7b4b3df4a73111fb3cf989e9","datavalue":{"value":{"entity-type":"item","numeric-id":1049892,"id":"Q1049892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772fe24ca6d63cf7519641d14d4a622c9894a9f3","datavalue":{"value":{"amount":"+0.9134322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$8F7B5B1A-978C-490C-ADFA-E8DBEA07F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24904c6be5df9730ec82a31efdca3a6e0c2cab06","datavalue":{"value":{"entity-type":"item","numeric-id":4398768,"id":"Q4398768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffe9e747c41b697ac42119cc061ec72bd68c613","datavalue":{"value":{"amount":"+0.91145766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$130566BF-A428-4B57-8AEB-AFA9DA98280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6435c50ec5496ad766b24eb44f5b629597f70dc","datavalue":{"value":{"entity-type":"item","numeric-id":4856558,"id":"Q4856558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e18c61018768473969a1c4bc063173841d5c8a","datavalue":{"value":{"amount":"+0.9111145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$C85E0832-1ED0-4CB6-B127-4395F13BB905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1414ea05eca67b4e8370a2c68ffbf1f2efbfefe0","datavalue":{"value":{"entity-type":"item","numeric-id":3631317,"id":"Q3631317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798d449567fc928f82ca077644d0f95206a8e547","datavalue":{"value":{"amount":"+0.9092392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$1D49360D-1D83-4F32-90D7-58A2CEF4F340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4606078d2598a00341e709c52382c5f9c817a663","datavalue":{"value":{"entity-type":"item","numeric-id":4201910,"id":"Q4201910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc5648cc3f32851003d9696a71c5fd6a12b122b","datavalue":{"value":{"amount":"+0.90798724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$AAF62982-FC47-4AE2-81B8-803A7770CDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe0eabd7559b99a54e00346b93f9fab3a4d684a","datavalue":{"value":{"entity-type":"item","numeric-id":4907534,"id":"Q4907534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a43958e0d76fd29e1e730d56656e74284136c3","datavalue":{"value":{"amount":"+0.9064971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$C7FB0148-131B-489F-A8BB-65C806C7CFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e170e21ac7d98843e68d29adcb58e2f9b00cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4699034,"id":"Q4699034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a785f07b6ca1273ce526563e8902a1adf31759a","datavalue":{"value":{"amount":"+0.90023816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$5A96316F-B0DD-4739-8C29-952D138B9C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609af195db87acde236f4fdeaa7df19b19a4a583","datavalue":{"value":{"entity-type":"item","numeric-id":4715381,"id":"Q4715381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbab5485e857f0b3fc20102188cabfb95810bae4","datavalue":{"value":{"amount":"+0.8977536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763544$5C9EED4A-5F80-4AE9-86BE-0F292B2817F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5526a2357e615e121166796260c1abfedfd5393c","datavalue":{"value":{"text":"Programming languages: Design, analysis, and semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763544$BFFF2977-3E60-4CCB-A8BA-66918E0DD36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming languages: Design, analysis, and semantics","badges":[]}}}}}