{"entities":{"Q2947225":{"pageid":2957945,"ns":120,"title":"Item:Q2947225","lastrevid":52349657,"modified":"2026-01-22T10:15:50Z","type":"item","id":"Q2947225","labels":{"en":{"language":"en","value":"Building high integrity applications with SPARK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484164"}},"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":"Q2947225$25878EF3-A011-4F3E-8164-D67129D77426","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dc29d5109d4732a94bf616dd5f1f2b2c926e765","datavalue":{"value":{"text":"Building High Integrity Applications with SPARK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947225$23B974C5-B2CD-41CD-BAD4-EAE90CB0AFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"012f18fa20aefaaf49cbae5076ab46a786c6a17a","datavalue":{"value":"1328.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$E82F645B-6777-4020-B775-5CB12E04E70E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7cc6d7dec48ef9e96b9d67c83213c166b4e15e5","datavalue":{"value":"10.1017/CBO9781139629294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$BAC2E84D-D9B2-4EAA-942C-1D035D33CABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a9e0f3d3c3d886a66944042dd4b03ebc22be42","datavalue":{"value":{"entity-type":"item","numeric-id":2947223,"id":"Q2947223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947225$D6111681-5880-412D-913B-6BC8932EA196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e993ce7b2d3221a02b5716d2f2c04facaa42aa76","datavalue":{"value":{"entity-type":"item","numeric-id":2947224,"id":"Q2947224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947225$424718E2-7E0F-4637-A889-BB0090FEEFC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28857d5b8ce74b0fd649738f47e9ad422078bca3","datavalue":{"value":{"time":"+2015-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947225$B2F14DFC-5D12-474B-96EA-B8A44C31750D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$3AF34B10-DD87-46BC-9FFF-DB8629488791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$475D3A8C-AB93-42C3-9A21-E070ECABC412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$4BDA6009-36FF-4ED5-A1D8-A4A58AD3043A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8497ffee215392ae33dbfe6ec3bcf0bba8248cf","datavalue":{"value":"6484164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947225$EF70B831-0BA2-450B-ADBD-6DF3E180297B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$AA31876B-9139-4B13-B009-0CD7B4E05FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9165fa3ce2962abffb6b9eb810aa65c4a5fd45b","datavalue":{"value":"programming with contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$E8C27D23-1F32-4793-BFF8-A708EADA264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$4B56F244-A3F1-4BBC-B5EF-3220559EA115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$DD37099B-AB24-4AF9-91DE-8C43722A7985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$428C74A5-B572-4426-8493-8F4E9FF68875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$9F82210E-4345-464D-94FD-459DEB22D3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28937b2d41328338ef9c13842b70a6b3be703161","datavalue":{"value":"SPARK","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$8ACA0AA4-8241-4730-A30F-55692442578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cb2d05897b92a65bbcf5c284b4b94ced80cfd1","datavalue":{"value":"Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947225$B0ACB7AC-4C93-49BC-8BDD-1B158D838BDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947225$F2F7A067-CC96-4AE2-9DE1-3F4293FCD0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947225$CE210473-F088-4976-83EB-FA7CFA499C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e022583ed74f81554a39976429e547bb532293f0","datavalue":{"value":{"entity-type":"item","numeric-id":25978,"id":"Q25978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947225$D5F1BE2D-B9F6-4D96-9778-9350E8A7DC84","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":"Q2947225$7094BE55-BF0B-4E96-AC68-6FDA3438D20F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edac45a735478dce71130a82b57aa3f7e4984f6","datavalue":{"value":{"entity-type":"item","numeric-id":4343983,"id":"Q4343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821b9c99263a51d173a0b338e134b11c9b05c73e","datavalue":{"value":{"amount":"+0.8645821213722229","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":"Q2947225$11E2F01A-CF47-4DEA-A12C-7DD836F43FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51455d403e873eceee0b12bd906bf6b494716f7","datavalue":{"value":{"entity-type":"item","numeric-id":5503618,"id":"Q5503618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821b9c99263a51d173a0b338e134b11c9b05c73e","datavalue":{"value":{"amount":"+0.8645821213722229","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":"Q2947225$29559BB1-E17E-4FC5-BA41-0EC476C06750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7204f9d3cddb76e2e610ccaa9aab9cc20b7787ca","datavalue":{"value":{"entity-type":"item","numeric-id":3457776,"id":"Q3457776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bd42eb60b70322add23b652f79a65e3a994eb9","datavalue":{"value":{"amount":"+0.7499416470527649","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":"Q2947225$D0D3C43E-7974-4657-BF99-8BCAC6257AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870463a405f6780ac7b84fd55611186843837dbf","datavalue":{"value":{"entity-type":"item","numeric-id":861714,"id":"Q861714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dc1a4aa738e620ecf3c34ca36ffa5d1861e3c8","datavalue":{"value":{"amount":"+0.7394473552703857","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":"Q2947225$F10A6D17-0DD4-4CBE-848C-51C5300C6E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3cf171f7ccc2154b186556577239b797c2126d0","datavalue":{"value":{"entity-type":"item","numeric-id":3558215,"id":"Q3558215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a8dae850b08b2281099ef718ea1d038ba4d816","datavalue":{"value":{"amount":"+0.7154374122619629","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":"Q2947225$8A668688-6338-4993-A189-8416FB49759C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947225"}}}}}