{"entities":{"Q2757791":{"pageid":2768530,"ns":120,"title":"Item:Q2757791","lastrevid":41978017,"modified":"2025-05-20T10:32:02Z","type":"item","id":"Q2757791","labels":{"en":{"language":"en","value":"Formal specification with B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1678347"}},"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":"Q2757791$68C6A7BA-00A0-4C48-B84F-FCD3BF95D0B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d426699c6dc2b12a09eb26ed2ff3951b3d828dda","datavalue":{"value":"0987.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2757791$9E45BA1A-B2D4-4EA0-BDAF-554FB23667AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f4ab0368d43948b41defeecf1a3465e930fe12","datavalue":{"value":{"entity-type":"item","numeric-id":2757790,"id":"Q2757790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2757791$2B6CC997-5547-4CBD-B3FE-F930E20DCA43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e47d735b40be96797b5c483fc98ce9be3ac31b3","datavalue":{"value":{"time":"+2001-12-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":"Q2757791$2408C9D3-6AE8-4F88-9040-017A54DC2538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2757791$A222505D-A11E-4AAE-9176-F158FCB1277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2757791$EE65A6AB-8ED4-47E6-B722-73F00F62333F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e42066a51d16a0bcfd77fe7e31c3ec47dbe5f153","datavalue":{"value":"1678347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2757791$6654FA2C-D73A-4DAE-AA5B-97039D9C7FF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c99825fc3750d24a6d5e8f9dc34ef12c1bf4f","datavalue":{"value":"B method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2757791$3DF46DCF-47A5-4891-8D78-05C0D6E16A82","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":"Q2757791$A037EAF9-5BA6-49C6-9741-B4E0CF396CB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f037857bb9198050e50962830410581a364a2781","datavalue":{"value":{"entity-type":"item","numeric-id":4233991,"id":"Q4233991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2eefd3f655366f9556b596865cd283fe0b230a0","datavalue":{"value":{"amount":"+0.88639367","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":"Q2757791$EFB1DDD7-E7E5-4C0F-A965-1F1E2BA292D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be936740d0ec375ff256545867f35fd6b0928bfc","datavalue":{"value":{"entity-type":"item","numeric-id":3091196,"id":"Q3091196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4a11994d9fc2443ac63479b308fdbb91c123b6","datavalue":{"value":{"amount":"+0.8587382","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":"Q2757791$79EFDB76-64F1-40F0-B25A-5DA5BB356F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98c0cf16d93e881034e641560c291962e001c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5133670,"id":"Q5133670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e292bce30b846dc9494ebe0c1c9626a3ab3f69a5","datavalue":{"value":{"amount":"+0.84853673","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":"Q2757791$442CF52D-31E0-4A3B-8A1F-B316FD78B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce29dbe16c4fc5cc512a9ff253cf2b20944374d1","datavalue":{"value":{"amount":"+0.8464315","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":"Q2757791$B05D580C-D3AF-4A42-8AD4-31130D640ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533b6d59ee2fa73074265492198af7ab7efe3b7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287557,"id":"Q5287557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9d7d20f408cf0da016d689ea84f9a8441030dc","datavalue":{"value":{"amount":"+0.837281","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":"Q2757791$DCE150E7-5181-4B02-A710-587C5392E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c4a82c3b968116a18d39f4a6a1acf5c3424058","datavalue":{"value":{"entity-type":"item","numeric-id":5391356,"id":"Q5391356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8ba81ffae4e8fc2f78dc84e5572220e055d566","datavalue":{"value":{"amount":"+0.8167043","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":"Q2757791$5F7E9A7E-6622-4051-AB0E-00F8E49A90BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2894b3a8a279b61898894c8901929e4635c56c93","datavalue":{"value":{"entity-type":"item","numeric-id":4727420,"id":"Q4727420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72e5e5f955fa4476678b80c017203041643c370","datavalue":{"value":{"amount":"+0.8158288","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":"Q2757791$E1730916-2613-4FDA-8571-96B7B63223CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d05daa0e3e850b1c92b9fd9fec8bcd8a09d2709","datavalue":{"value":{"entity-type":"item","numeric-id":5316662,"id":"Q5316662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d74ab4997eae996d81caef1cf2f34a04e20eaa","datavalue":{"value":{"amount":"+0.81529593","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":"Q2757791$83809CC7-055B-4A3D-BC41-1614201948D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb32caf77f4291f0294648a2030f7858ecd051a","datavalue":{"value":{"text":"Formal specification with B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2757791$A9B8B3BD-2580-4A27-8CD7-61FD801C3FFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc6efb7950539636f2786297b8df3df712e64e34","datavalue":{"value":"Le livre ``Sp\u00e9cification formelle avec B'' est une introduction \u00e0 la notation B et \u00e0 la m\u00e9thode B. La m\u00e9thode B a \u00e9t\u00e9 elabor\u00e9e par J.-R. Abrial pour sp\u00e9cifier, concevoir et coder des syst\u00e8mes logiciels. Le concept de base est celui de machine abstraite dont l'\u00e9tat est d\u00e9crit par un invariant. La m\u00e9thode consiste \u00e0 prouver formellement que les op\u00e9rations respectent bien l'invariant, puis \u00e0 raffiner les machines abstraites en machines implantables, et \u00e0 prouver que ce raffinage est correct.NEWLINENEWLINENEWLINELa m\u00e9thode B est utilis\u00e9e dans l'industrie, notamment dans les syst\u00e8mes de s\u00e9curit\u00e9, de protection et de contr\u00f4le de vitesse des trains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2757791$0E583AA9-0B7E-4EB7-B12E-F8E773C379B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22429411c426a150b941e36c98beea402dcf3087","datavalue":{"value":{"entity-type":"item","numeric-id":6075254,"id":"Q6075254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2757791$093B70BB-8ACA-4912-BD95-7042325C50B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2757791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2757791"}}}}}