{"entities":{"Q2653929":{"pageid":2664672,"ns":120,"title":"Item:Q2653929","lastrevid":50876876,"modified":"2026-01-15T13:20:39Z","type":"item","id":"Q2653929","labels":{"en":{"language":"en","value":"Automated generation of program translation and verification tools using annotated grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658539"}},"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":"Q2653929$F03FBB9F-80B4-4A85-AD7B-E389142D1678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae500765cf4f87a964443d1c16e5cbd243631b1e","datavalue":{"value":{"text":"Automated generation of program translation and verification tools using annotated grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2653929$4C62FC35-361D-47DD-A1AB-082BC7C988C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ca7415dd20c83ae426f84aea68a00cc987f8f07","datavalue":{"value":"1187.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$60E63B06-1315-4111-B799-254AAEA408DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d07900396546c5a2fd4c06c358eeb4ce2a8af7a","datavalue":{"value":{"entity-type":"item","numeric-id":2653927,"id":"Q2653927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$F1266C4A-AE8D-4CD6-88AE-AD08F3538FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab8a4f76269a0b0c0eff232645e34457bfe9038f","datavalue":{"value":{"entity-type":"item","numeric-id":2506991,"id":"Q2506991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$42D553EF-FC91-476D-9E04-BAFB78E3292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4467b4a78e1f591625ac51b9e897e173669b7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2499822,"id":"Q2499822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$2A12F2A5-7C6B-437C-8493-9286FB13EE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e78f37f0d5c8ef3f26f4ccb842174022cddad46","datavalue":{"value":{"entity-type":"item","numeric-id":2653928,"id":"Q2653928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$D10D3EB8-0E14-4999-8663-42AE37D5E004","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":"Q2653929$F5D57895-D879-4BCD-A0D2-C3100A21A0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2653929$4577F928-4851-415B-96B0-16D68F012F8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53fa0d268cb9478f627734ca8ca1f24c61f483a4","datavalue":{"value":"https://ir.cwi.nl/pub/15098","type":"string"},"datatype":"url"},"type":"statement","id":"Q2653929$A20C72DD-F7F6-45B2-8683-2B5B8F50E2A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$98B85611-88D1-4CE7-9694-624FEFDC5518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$95F7EF09-4447-4B9C-9186-4F7B8E7B716C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f2a6223d1fd445473cfc47e1fb834f0fccb83a","datavalue":{"value":"5658539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$30193A3B-D14E-4D21-9BE4-CB263A2DAC9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dc2c11ae090aa112034cdb508833f9617371c7","datavalue":{"value":"annotated grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$BA14FC98-B406-44F3-9E75-9EB826960BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7996d245a484efa1bb0be0855c64d7a750dfa0","datavalue":{"value":"operations languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$5B322F8E-DB04-46EC-ACB7-C38DA6A5AB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5917cc030e0e0c8b2558d006efa25191a75653bd","datavalue":{"value":"language families","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$E58362A1-A3A8-4AE9-843B-4C5B76C77081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c046ee0fdd8939c66bb5d2d158051f574465f21","datavalue":{"value":"program translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$89CE418A-9499-49E9-AD1C-EE302A760D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938291902bb3e4845daf0eaa389aaf4471596780","datavalue":{"value":"automated translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$6F5914D4-78A8-440E-B776-86606D98F54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1519d1409a3b479c35d23bc6845d55e6525eab","datavalue":{"value":"Asf+Sdf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2653929$03422606-F2C0-4441-9F08-C2F75761BA4C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d17fb9a917487393be50126987fc69d9c7e3fb0a","datavalue":{"value":{"entity-type":"item","numeric-id":54432,"id":"Q54432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$C839FFF5-5A77-4DC6-AE58-596A734A84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$7A9FD74A-FF1C-4EDC-81CD-C7F179F84E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab48fd6133fb966f7356a46ded6512f46a72a430","datavalue":{"value":{"entity-type":"item","numeric-id":23265,"id":"Q23265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$2C5168A6-6762-4B5F-98C0-8184DBC5036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd02d4d62b5959aa902e1ad2d76d1a474786d83a","datavalue":{"value":{"entity-type":"item","numeric-id":23262,"id":"Q23262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$F8B972FA-027D-40F5-AF28-850CE43699C7","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":"Q2653929$7A793AA9-9E8D-4150-85F4-F7B3FF457830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e04f83348acc666f641429f34820fdb4a9134b6","datavalue":{"value":"W2107436621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$B644A0FA-BDF1-40E9-9076-7EBAF5C75DDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3bb7fe34f5c2fd8dfe427a43aa5d9215951732","datavalue":{"value":{"entity-type":"item","numeric-id":5402509,"id":"Q5402509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$C1C8D734-AEAB-4098-ACB5-E15F9BD5838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9725f97824a4f1d00e8a3e75ae5354b69ab55","datavalue":{"value":{"entity-type":"item","numeric-id":4247682,"id":"Q4247682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$D0F22EEF-5EBC-464F-A498-9B868D6FF403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40db317833d7be26f4c368ea309fee728694c7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5549060,"id":"Q5549060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$20C3F72D-4CC7-4275-B441-4F7ABCE8B86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$3543BFE7-00F0-4A3F-879A-D9BAA4292950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0117ad46ee66fb6bfbca76e525bb0949b33f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2764099,"id":"Q2764099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$C70B957F-8C0E-494F-9CF7-533D687901F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21d1fb18758ab9a77014639bc4e5b9f79027e","datavalue":{"value":{"entity-type":"item","numeric-id":2485275,"id":"Q2485275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$E0A0BF3B-4186-4E89-BD29-E4C0AD28B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e21add89c79d34c9c773902500a073cf067b419","datavalue":{"value":{"entity-type":"item","numeric-id":4215869,"id":"Q4215869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2653929$75C0E548-35AA-438A-91C5-164AB2C66D47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dd88317df5ced810731fc2e77e87cb7da24958a","datavalue":{"value":"10.1016/J.SCICO.2009.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2653929$ADDDE048-C023-4352-AD4F-2749005A370D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7836764cabba95964819f11804e88dfac48196","datavalue":{"value":{"entity-type":"item","numeric-id":5706945,"id":"Q5706945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1320d0e5624442e1325c26350722d76d1b855e45","datavalue":{"value":{"amount":"+0.6900716423988342","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":"Q2653929$93A75ECB-318C-4BDD-975C-D7ED3334B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9d6a1665c7bfdeed9ae64697a00621a436b076","datavalue":{"value":{"entity-type":"item","numeric-id":801659,"id":"Q801659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f139d6843d504a156ce4641d1ddb6b99b2dc703e","datavalue":{"value":{"amount":"+0.6886196136474609","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":"Q2653929$183908B3-CA63-43E3-94A6-C20219605AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc17a629a394140085f9ae01aed9a4e5dc669b5","datavalue":{"value":{"entity-type":"item","numeric-id":1183780,"id":"Q1183780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfb53d60e16da445527be067be96b3c7f807272","datavalue":{"value":{"amount":"+0.6822013258934021","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":"Q2653929$7FDAF131-353C-4C18-9CA0-F22673B38AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a525bcad49d557ac47069815ab3489cd2b912b1","datavalue":{"value":{"entity-type":"item","numeric-id":1060833,"id":"Q1060833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fef0b27e0678923ca23e518d9de16dafac0c13","datavalue":{"value":{"amount":"+0.6748257875442505","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":"Q2653929$7BFAC7F9-EAB4-483E-BBA1-02497CF11833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95aec6920c419b9e53fbe3112c7409530214795","datavalue":{"value":{"entity-type":"item","numeric-id":973037,"id":"Q973037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92474524451e7918786502257fddfc7beabe9e97","datavalue":{"value":{"amount":"+0.6708711981773376","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":"Q2653929$F75FFBB8-7F34-4919-A8C5-45102FC456E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2653929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2653929"}}}}}