{"entities":{"Q5179355":{"pageid":7208927,"ns":120,"title":"Item:Q5179355","lastrevid":41529063,"modified":"2025-05-04T20:17:47Z","type":"item","id":"Q5179355","labels":{"en":{"language":"en","value":"Verified Compilation and the B Method: A Proposal and a First Appraisal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417333"}},"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":"Q5179355$DFEAB274-7040-4713-85F1-27F828583A9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c34115065df491c83774e1d2f029dba2dfba379d","datavalue":{"value":{"text":"Verified Compilation and the B Method: A Proposal and a First Appraisal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179355$4449D932-5DC7-451C-96D9-6E00940AADBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a161eedc999f6d8c64e35b2656f0a8e31f2bae25","datavalue":{"value":"1347.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$BCFE8697-268B-414D-BAC8-C7CA304E7A45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c7be6f47246cc0f29afe0e46018e78cb618724","datavalue":{"value":{"entity-type":"item","numeric-id":5179353,"id":"Q5179353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$44C38678-0A95-4E00-8159-91FDC693E1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$02C8AA3E-335D-49EC-A368-6463268AB837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e040531a734b94357fe1a7913ef9ff2aff87ce84","datavalue":{"value":{"entity-type":"item","numeric-id":499373,"id":"Q499373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$E76C53BD-E2AF-4AEF-AB2C-6E8E10A1BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ff793006ed21724f5b5b06ca942859b3f3dca2","datavalue":{"value":{"entity-type":"item","numeric-id":436378,"id":"Q436378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$D4DE0741-7D59-467F-9F37-D81A678EDC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a431953c221517ea34a621193afef208062c12a","datavalue":{"value":{"entity-type":"item","numeric-id":5179354,"id":"Q5179354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$48657198-12E6-4548-9D30-A310DE54E49A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$0ED56B92-3A94-4222-A869-AD2A85CEABDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179355$A7BE3A27-B181-4A42-889B-4E14259B8A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$10F6D6D9-483A-4F9E-9538-E533D5026037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$A7F9615C-FC76-4FF0-905A-C61ABCF93241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$8955BD73-1633-42A1-B7D0-DD33B3D49FC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cb0f3dad1d279cf310049cf0949709ab0434514","datavalue":{"value":"6417333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$A54D8A1B-0917-4F7C-937B-7B2F07436494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2284745d58a1e39c709f275c7ea6f712b319d53","datavalue":{"value":"verifying compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179355$9101E927-BAF5-4048-A20A-94CF5E9D29D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c99825fc3750d24a6d5e8f9dc34ef12c1bf4f","datavalue":{"value":"B method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179355$708767CD-DC33-41B1-95D2-823D895366B5","rank":"normal"}],"P1463":[{"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":"Q5179355$0E3E3BFA-3BE1-4B40-ACDA-1AEEB80EE831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$A51DBF18-D16B-4B0E-9008-47C93751652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$02DB2E03-1C98-4C7D-871D-3B0639FCB2F8","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":"Q5179355$DB327D37-892C-424D-81CF-88534A6C3731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccac1a4014ce358ad613e959c08940835342f5a6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179355$26341532-E8A0-428F-96DE-0AAC9CB2301F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9a7edb00d23691d2f5c11562a846968a0ebaa7e","datavalue":{"value":"W1982085713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$2BD3121C-068D-4C62-8C7A-E5FA92F166A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba410b9e12f5248fb1a467353448eb8e12f87fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3559759,"id":"Q3559759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$C7B41CF6-8315-4554-BBA9-5074544FA663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$62968A6A-4A8C-4B65-8BCD-FBE273781566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$1C6770A4-75DF-4F69-965A-9D6A0167569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$1C07B984-FB03-49A6-9C5C-12446A61E7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92675f5e403aa048758701e9494c47c58ccd9981","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$2009FDB4-AF56-47C7-8C4E-7159673011F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$0A1D1105-34B3-4B02-B00E-7FE82B92C77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$967704C4-9A84-4882-8C9A-FD5D01A8C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$E35A7856-AFB2-4080-BE70-5A5903EE728C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179355$8771D7A0-9558-4C7D-A669-6B2108974BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"426c2637dec649de98df1de2d82ad00454944372","datavalue":{"value":"10.1016/J.ENTCS.2009.05.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179355$051E4FF2-97C7-478A-9459-25BF53AB82A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e5511c15d878b2757b1c0d41fa1af2be59fd32","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd9b2a247168073fc6c8b9158320bb036673a06","datavalue":{"value":{"amount":"+0.8804736","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":"Q5179355$7D441F7A-80BC-457A-AA61-1C8CC11ADE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e731b1ab1d24a7e831d6e96e139492400c47f7","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fea045587eb04bf006c6b733ab0bc117ca33f23","datavalue":{"value":{"amount":"+0.8767931","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":"Q5179355$BFF15D5A-40D4-4813-AF22-247818DC3D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7833298f7b4bcee38aad70caa6bfc39f468bd1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2432233,"id":"Q2432233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7812bb67a119cf707d0338b513ed5d3f788c666","datavalue":{"value":{"amount":"+0.87472093","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":"Q5179355$FA19341D-FA31-48DA-9796-A3D4FD9D9576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63995462221b457d05d0bc6ed844400dfe44f812","datavalue":{"value":{"entity-type":"item","numeric-id":2729963,"id":"Q2729963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce0cef1de83480958e24b2b9e3ce0074ce990a4","datavalue":{"value":{"amount":"+0.86290836","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":"Q5179355$170D85FC-A029-48A5-91EA-69EF7AC30E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af1a7f88ccf611b0db3e4f22e477109f6066aec","datavalue":{"value":{"entity-type":"item","numeric-id":1881665,"id":"Q1881665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02db8680d43909c778603c03c133bf25c8ec139a","datavalue":{"value":{"amount":"+0.86284834","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":"Q5179355$4326D6DD-7EC4-4731-9E5A-A2D0B48C7692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179355"}}}}}