{"entities":{"Q1791193":{"pageid":1801935,"ns":120,"title":"Item:Q1791193","lastrevid":53218826,"modified":"2026-01-24T12:01:40Z","type":"item","id":"Q1791193","labels":{"en":{"language":"en","value":"Boosting the reuse of formal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946997"}},"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":"Q1791193$33FAD13D-413F-40C3-BB96-CFC93DBC0558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183e9a30293398c3164714a5929c825f31846f4f","datavalue":{"value":{"text":"Boosting the reuse of formal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791193$A6161E96-0F3D-482F-BC6B-EDFD1C8B5D57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf2ba4ba1c2a2ed6dabc7793909a79047fdd6b62","datavalue":{"value":"1452.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$C3159139-6DC5-4A69-86CF-0C089D782944","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42311f0db5a8b34282262e9110486399ad6c5e36","datavalue":{"value":"10.1007/978-3-319-94821-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$D49D6E0E-7E01-4671-84E9-887CA2696B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1684e6d1ab96f8ce065c335ada648ad924c8214","datavalue":{"value":{"entity-type":"item","numeric-id":1791189,"id":"Q1791189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$66DFE75A-0823-40FD-9B82-B640247AB07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$940158C1-E11E-4BF9-B7D5-8B459717F09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d7072f9e4d3a85d3d79e55bdd537181245106dc","datavalue":{"value":{"entity-type":"item","numeric-id":1791192,"id":"Q1791192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$FA55A065-8733-4EFD-83A4-BE8DE625E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d27b5bff64d8d29333ecf657df19a343901a95c8","datavalue":{"value":{"entity-type":"item","numeric-id":817581,"id":"Q817581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$F4B52807-536F-4734-BE61-A603F44D6153","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791193$784E4752-2342-4F70-A344-E6319F17F4DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$9924B943-1670-486C-AECF-57E709CDC089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$9E6BDA78-AE20-445C-A4EF-949C56887300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$9F4DFE81-449D-46C3-B6A0-8857AEA22EEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a0e60db7203424ea32d15f69f1cbb8939cc7e1","datavalue":{"value":"6946997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$FEEDE2C2-6BE8-4494-BA3E-E74BAE245B92","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$09DFF39A-1437-4190-8CD4-20CDD80E65CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$852AF3B1-40D8-472B-9B5D-5A15857B83FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791193$BDC932EC-642F-4C88-BB1B-5D6234B12A60","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":"Q1791193$FFFFDEB8-D8A7-44F6-B4BD-8AF4DC7343A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061ac2be7ef8c59c02dddee6650cfd2badc3d06a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791193$C5F82F92-B79A-40F7-A827-920F4A3D368B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9e6f13c5bec30cd80bbba2485e1db4490ea0562","datavalue":{"value":"W2809909177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791193$C5D71E38-5FA1-4D6F-AA1D-9BE3AA587029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62887986c756a5f38a919efdd01c5d9774c7b9","datavalue":{"value":{"entity-type":"item","numeric-id":4435460,"id":"Q4435460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b2c3e2aed38272f2bc20fac642b935784c1ba4","datavalue":{"value":{"amount":"+0.706448495388031","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":"Q1791193$5FE96A64-CBFD-4ECB-B25A-A02DE7DCEE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742df09458d658ee0759f7fe5f890644f872a27b","datavalue":{"value":{"entity-type":"item","numeric-id":2864361,"id":"Q2864361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b2c3e2aed38272f2bc20fac642b935784c1ba4","datavalue":{"value":{"amount":"+0.706448495388031","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":"Q1791193$1A01A114-37A1-491C-B492-F32F253DBD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deae9157aa6f8c0d2ba123323acf4b63430234d0","datavalue":{"value":{"amount":"+0.700927197933197","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":"Q1791193$7AD80163-FBB1-498A-BB82-19DCB2F6E1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c591f239c08636ceecbef1fbf1359ec9cc457305","datavalue":{"value":{"amount":"+0.6968144178390503","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":"Q1791193$F6153BA9-886F-457A-9A12-6E441C841063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a14f51c461e45f89e4801a279c3e28305f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":1419888,"id":"Q1419888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f070fc44d1fb946ff9de043a68961e830f3a8b9c","datavalue":{"value":{"amount":"+0.6962065100669861","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":"Q1791193$DF300F01-A1C1-48C0-B846-50045769BC57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1791193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1791193"}}}}}