{"entities":{"Q1125425":{"pageid":1136174,"ns":120,"title":"Item:Q1125425","lastrevid":46858620,"modified":"2025-12-25T17:53:36Z","type":"item","id":"Q1125425","labels":{"en":{"language":"en","value":"Design for proof: An approach to the design of domain-specific languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375207"}},"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":"Q1125425$9EF6998A-254C-43D3-B868-C3EDF959BC6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"061186169b9e83f1216332b5d4bd7c815f8d0763","datavalue":{"value":{"text":"Design for proof: An approach to the design of domain-specific languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125425$068F5A25-CEA2-4452-9E9C-D5E0B96BAF2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d428d1a7898abce25d4b6dc9f6e93c719b905c7","datavalue":{"value":"0951.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125425$C4D1EFCA-332F-4050-8744-3A60BE504D8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125425$F18DDD27-A540-4709-9D10-9E446FABCFCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125425$A7384AD9-67EB-4663-A0E2-59F69FD20493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e7b4afc73733724b1d62a948563b59de6d3ef40","datavalue":{"value":{"time":"+1999-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125425$5CB169F1-F0AB-4DEA-BF26-A88FF33B4BDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125425$639BC8A9-75DD-4494-8453-491CBB9BDCC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86ff89f7d26a39375ec84f11ec0613f4e8b726a","datavalue":{"value":"1375207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125425$65760F8F-80AF-4865-8B72-42A860111569","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a9162ab85e0915b9e54a6f19fae18e611f8502","datavalue":{"value":"domain-specific language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125425$908A48A9-78B1-412B-95CE-49383BDCD0BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125425$AFB7ECCF-288C-4A06-B790-B5D4D68BC0CD","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":"Q1125425$83FD5922-4B92-4CEA-9807-BDF6A9D40255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba10ffce4f0df69a88332d141ded6b20a18378ab","datavalue":{"value":"https://doi.org/10.1007/s001650050027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125425$74C83753-5666-49DC-8890-E1EACA91E4CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"decd9fb59ad4b5c8bb3fcc49367ae9f31368defb","datavalue":{"value":"W2022453506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125425$E9C07B50-2DB4-47AB-8D83-3464CA782734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f28cf495f3ddbd0a0bf601f6fa10cc63a14196b","datavalue":{"value":"10.1007/S001650050027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125425$926C2E76-0D44-4FFE-BD4A-1A5A7603DCDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8489ff02a5c08559f521f1142ec4f94016a5dce4","datavalue":{"value":{"entity-type":"item","numeric-id":3150022,"id":"Q3150022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18391a770076c0c015bacf24484768d8feabf65c","datavalue":{"value":{"amount":"+0.7651997208595276","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":"Q1125425$5096B8F9-BB54-464B-A163-4643DC87535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e506fe004e3b794556633a1fc6b45a16d260eb3b","datavalue":{"value":{"entity-type":"item","numeric-id":4707740,"id":"Q4707740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b8e6c8fc2a1a00035df27f8d6e69d469427a1c","datavalue":{"value":{"amount":"+0.7600618600845337","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":"Q1125425$A3F64E8C-B737-4AAB-8338-C601EF21D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a44c8079d2efdd476985bb23fc951b24e044e5","datavalue":{"value":{"entity-type":"item","numeric-id":4412503,"id":"Q4412503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08874458b00851c2ec2552a7f67cda4076396abb","datavalue":{"value":{"amount":"+0.7159916162490845","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":"Q1125425$C2A8F64B-BAE5-43B8-BE9F-152087A605CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e99b97d458f16e7f308f50ab714fc4e3407d66","datavalue":{"value":{"entity-type":"item","numeric-id":2931279,"id":"Q2931279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3947e28e5dec4c2c8a52c42a299a5c1e3a325a58","datavalue":{"value":{"amount":"+0.7097792029380798","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":"Q1125425$F2F03757-5CFE-4000-B9AD-FE123BE55950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125425"}}}}}