{"entities":{"Q2755067":{"pageid":2765806,"ns":120,"title":"Item:Q2755067","lastrevid":47698882,"modified":"2026-01-02T11:29:13Z","type":"item","id":"Q2755067","labels":{"en":{"language":"en","value":"Ten years of historical development ``bootstrapping'' VDMTools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1668946"}},"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":"Q2755067$4AD2E13B-FC9C-4418-892D-2DBD9ECDCB3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebc05ed8fcb9125783739c321eaf27c2fc38c4ed","datavalue":{"value":"1015.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755067$2149308C-1135-447D-91F5-BF9C6CA3C4D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bcaf435e3085e48d5de3c74d7c5c98ba7eb05cf","datavalue":{"value":{"entity-type":"item","numeric-id":1343866,"id":"Q1343866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755067$38FC7D49-151C-41A5-93FD-4CBD626E6B07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2755067$D007400F-E205-4913-A9AC-467AD823B14C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f734270ccc04118c926274af2569e067d47d001d","datavalue":{"value":"http://www.jucs.org/jucs_7_8/ten_years_of_historical","type":"string"},"datatype":"url"},"type":"statement","id":"Q2755067$1235AC88-61F3-4C3D-BC9F-1D4413EF4F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755067$D150783D-7076-4B90-87ED-D6C7CFA4D272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755067$CFD72CF5-B6B4-481F-891B-08AC560FA463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef2c761f5461f6377c5cabd8084669b487af05af","datavalue":{"value":"1668946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755067$B62F2E2A-58DC-4450-B54F-C679F3E54E67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755067$9619526A-401A-4253-9580-B01714627501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755067$D99D832C-F1DB-46E5-8195-2E7DC40BFA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755067$6EA1F546-6250-40D7-8B20-AC5F1A883FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755067$C2E0CED0-B9D4-455F-A3C7-7885F861527D","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":"Q2755067$E2A1381B-A6D7-4C2E-A0E9-754DB8CE077B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6caa17db35f356859d2f165f26555d56f69b90ed","datavalue":{"value":{"text":"Ten years of historical development ``bootstrapping'' VDMTools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2755067$18B8A7F6-66F0-479E-BC10-23369B7DDFE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755067$50FE2FCF-9782-49C3-8D28-ECF9F96888B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ceea2621b6219197a8bd853b94b50c3194eb49a","datavalue":{"value":{"entity-type":"item","numeric-id":3996919,"id":"Q3996919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad344ea1b065796b547b8d08dc181d2c5b8f193a","datavalue":{"value":{"amount":"+0.7299486994743347","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":"Q2755067$AB4F13D7-A169-4F5D-A0AA-B62E01C65AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a147675ee1eb4602f937dbb79d93707d22eece46","datavalue":{"value":{"entity-type":"item","numeric-id":4287760,"id":"Q4287760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe18fd504315fd5f0a725d1a7cd36fa23b5ea77","datavalue":{"value":{"amount":"+0.72336345911026","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":"Q2755067$D3783B99-F397-44C6-A26D-270D8460C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b01005b97f6d0d4c7abbd892c0d5d3418c2af","datavalue":{"value":{"entity-type":"item","numeric-id":4493874,"id":"Q4493874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828c9c0ab673662d53e4c0edf6210e2f5d282712","datavalue":{"value":{"amount":"+0.7201728224754333","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":"Q2755067$FA4E476F-FA07-4DF0-8A1D-A9438498135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a44fba1747ce387dd7a919fdbc66d000ffe8372","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae262235ca009890a8ef37a4f4f0776eba1de68","datavalue":{"value":{"amount":"+0.7196571230888367","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":"Q2755067$3E051F25-1E1B-4A6A-A710-86B6B99AE71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6c40f1ae72e37016f81c32fb9001581376b68","datavalue":{"value":{"entity-type":"item","numeric-id":4783352,"id":"Q4783352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e3718808c494fd911a7de8f797f7cc7b867651","datavalue":{"value":{"amount":"+0.7158797383308411","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":"Q2755067$6361B013-33C6-4CAF-8E94-1CEF339F016D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2755067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2755067"}}}}}