{"entities":{"Q6136742":{"pageid":13271049,"ns":120,"title":"Item:Q6136742","lastrevid":58710183,"modified":"2026-04-06T10:24:46Z","type":"item","id":"Q6136742","labels":{"en":{"language":"en","value":"The Development and Deployment of Formal Methods in the UK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732880"}},"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":"Q6136742$7CF66AE3-3F91-4487-BB3E-6DC2C4A3C3F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd3d4d8376f3295c8abbcba96da63b55a54eab72","datavalue":{"value":{"text":"The Development and Deployment of Formal Methods in the UK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6136742$429584B5-12FF-4088-98E6-712350E6581C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0731e11ddc9a3ae97aafd1adc23dcc137048422c","datavalue":{"value":"1522.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$32AF1851-6F21-413C-BEE7-73A3B5951F6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"945e6637fbdccca1fd6e0789b37d22f56ba2b6dd","datavalue":{"value":"10.1145/3522577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$4F30908F-F6F9-4BF7-931D-F91589F519F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab9d14b6e6a1decf0c3a30019cc307a4c867a39","datavalue":{"value":{"entity-type":"item","numeric-id":890477,"id":"Q890477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136742$6E9108DB-5467-4669-A861-3DB0D6FB6192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a617f80b347e534257676f74957cdccbea674102","datavalue":{"value":{"entity-type":"item","numeric-id":6136741,"id":"Q6136741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136742$9AA46F12-F5D4-4ADC-BC69-97369E8721C0","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":"Q6136742$DE581D45-FB84-42CB-BF8A-32FC53004522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6136742$B8B1E046-EBA2-45D7-B475-F42E90FF6EC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a31bd81cda5d73737ea71128457c01247e95dd7","datavalue":{"value":"https://arxiv.org/abs/2006.06327","type":"string"},"datatype":"url"},"type":"statement","id":"Q6136742$4FC637B6-C138-496B-B5E7-B5A4071170D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$E163A0EC-E495-4545-8937-EFFC581169C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$DC745793-B2F0-4CB3-A289-83558E8A46E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d198f0ca3848eea1658000eef6c1f96e60ad270c","datavalue":{"value":"7732880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$D0ADFF1A-9699-470C-ACCB-24CACD05A157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfba42e233dffcfef51982ae07da11d5de96705a","datavalue":{"value":"industrial use of formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136742$F66A5612-E878-488B-976C-9C357D0DCB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136742$FF3CFD86-5A9B-4C36-9BC2-0234D7EFB891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136742$96D40315-404B-43A2-A7F3-7E0D0A9B5277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136742$8A9F4C60-A59A-420B-9CC2-2CBDEBCEEA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136742$0FD987A5-1742-4876-B637-7D34B2FEA9B2","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":"Q6136742$B64460BA-4F24-4C3A-B859-07B2DC52BC50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d10a73eb21be991094c69180bf4f6ca8f126c993","datavalue":{"value":"W3035586298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136742$7A1ABDE7-638C-4F8F-A9A5-A3D34E430446","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58e2d82250348f6f3d4b47a43f692ed2b025550","datavalue":{"value":{"entity-type":"item","numeric-id":4275030,"id":"Q4275030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a702308ea3a6eebd01629bc3fa88aa19d37703f","datavalue":{"value":{"amount":"+0.86796254","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":"Q6136742$5C964DEA-9536-4A17-9D50-9262E6A5346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a7137aac244cda029ec4b480539407939893b","datavalue":{"value":{"entity-type":"item","numeric-id":4499181,"id":"Q4499181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16f989b8509c7b8304aa18d544cbf341866d4cb","datavalue":{"value":{"amount":"+0.84372544","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":"Q6136742$BEF9D3A4-3D4C-44DE-944F-556E8579DBC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6136742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6136742"}}}}}