{"entities":{"Q578891":{"pageid":580658,"ns":120,"title":"Item:Q578891","lastrevid":62914713,"modified":"2026-04-11T08:58:19Z","type":"item","id":"Q578891","labels":{"en":{"language":"en","value":"ANNA. A language for annotating Ada programs. Reference manual"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4013992"}},"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":"Q578891$E021794B-31D0-439D-9737-8C954CB3C453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c29a5537804386a94b716f06cfedba3387de4bb","datavalue":{"value":{"text":"ANNA. A language for annotating Ada programs. Reference manual","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578891$FF5F38E8-6A58-4D7F-BC7C-1C3622531163","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e169ad06b7b5cd0b6d8baf2a164fb8800433e3","datavalue":{"value":"0624.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578891$196FDAC5-932A-42A0-88DC-9CB7DF7F0AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af116dba622053c3e73d8f818f795033fcfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":578888,"id":"Q578888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$A858E174-3281-42C7-B460-8826CFF17E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f88fcdb45649882b84173b906b76d9da3c506742","datavalue":{"value":{"entity-type":"item","numeric-id":578889,"id":"Q578889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$A5EEF79A-2DDE-4644-9B78-8CCD1EAC325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cea051d05f9c82cd45fe09a993a2a5ee175b6ff","datavalue":{"value":{"entity-type":"item","numeric-id":578890,"id":"Q578890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$50C21E84-1168-44A6-A59D-FB866619A710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$E08FA2F7-0338-48D6-82BB-9670FD48972B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$8F919017-E108-4080-B9C3-D34EE1DBFFC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q578891$6D87B5D9-FC68-491E-B401-43F2F93A8F4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49c96abc592a2234b9dc6a8aed4aace7e48ec8b6","datavalue":{"value":"Anna is an extension of Ada. An Anna program consists of an Ada program supplied with formal comments of two kinds: virtual Ada text and annotations. A virtual text is presented by means of Ada constructs. It defines concepts used in annotations. The purpose of annotations is to specify the intended behavior of Ada programs by means of Boolean relationships between program variables. The annotations must be described by constructs defined in Anna language. The Anna syntax is an extension of the Ada syntax. The Ada expressions are extended by logical quantifiers. The book is structured in the same way as the Ada Programming Language Reference Manual. Thus it is convenient to use both books together. There are described the annotations of all constructs of Ada such as declarations, types, statements, subprograms packages, compilation units, exceptions, generic units, etc. with the exception of tasks (``A theory of annotations of tasks and multitask systems has yet to be developed. Extensions of Anna to tasks are planned'' - is said by the authors of the book). The Anna kernel subset is used to describe the semantics of Anna.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$9785E9FE-E16C-4004-85F5-E9A7D8E2F523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578891$D12C402D-CD70-4867-A322-E537A3497700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578891$9BE35923-4A65-4D35-B441-B38CB3743731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c9d070e2e74abc9944dfe4d179cf4a5cdf337c","datavalue":{"value":"4013992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578891$C8BC1AB0-22DD-4076-8848-6E22A3D40DDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dde11a2d0d0b4c31181259a41206330f20ae1ce","datavalue":{"value":"extension of Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$F2DB3EDA-0E02-479F-8B28-19DE8F457F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b26e6d9cd81a1dd8d367cb93472bdd5f12b23919","datavalue":{"value":"virtual Ada text","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$C261EF9C-494E-4087-9771-25944E30C455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dc785b08f0c6f72b85311e75356e9c72959eeb","datavalue":{"value":"annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$31D35251-B456-4827-9A1B-3CDCD1D3E6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109bf541611276fb997ee5252675c8e14fb09a80","datavalue":{"value":"Boolean relationships between program variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$C5ECB5F6-B77E-4A34-B385-35F4E597B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4bae2cc19c611fe55d8df7ae5ff31f220232d8","datavalue":{"value":"constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$C21072E3-F2B2-4438-AB3D-F0496FA02242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f869de86b92160908d447bdb40a911b7853986","datavalue":{"value":"logical quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$E5FF11F6-55DD-4538-A239-22DD33869F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9caf0a8ee653eafb1f9632e307aacae7888c24da","datavalue":{"value":"Anna kernel subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$200148C6-69A4-4ADC-9696-5BE1E8C8B753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf2b5fecd6acaf5da48134d4649d1f31a4b0174","datavalue":{"value":"semantics of Anna","type":"string"},"datatype":"string"},"type":"statement","id":"Q578891$48DCEEE9-8A13-4A30-95DF-6B2754BC9814","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$A2FFBFB1-1AA4-4D89-94AB-26E7024369EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b729987b7763753c5a0a53bb9f15a06d9ae29813","datavalue":{"value":{"entity-type":"item","numeric-id":52025,"id":"Q52025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578891$291FA34A-4C38-47A5-BAA4-2407477C1247","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":"Q578891$CE6081A3-7354-4E04-A7CE-967DDF5408EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade82a8fffba43f2870dbc57000d8dda6ef90e22","datavalue":{"value":{"entity-type":"item","numeric-id":3997417,"id":"Q3997417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643ae861c5a52c4d00d0d6639358431b7a10bef0","datavalue":{"value":{"amount":"+0.8835419","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":"Q578891$305DCEF1-9D98-45BA-A5C0-D7A4CF8F06E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df25dd14a38d24b3ed4268f0502cab3cf35d59","datavalue":{"value":{"entity-type":"item","numeric-id":3811680,"id":"Q3811680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a0c8d25c7c518295a80bc94ede796562c5baa2","datavalue":{"value":{"amount":"+0.8193256","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":"Q578891$6A68028B-79A6-462E-BB71-6E60B9506AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33844012f5c50954a6042f67f37a6450943b87b","datavalue":{"value":{"entity-type":"item","numeric-id":5750409,"id":"Q5750409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d39aa93572bfcabefc6ce38a38fc445e0c48394","datavalue":{"value":{"amount":"+0.7998851","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":"Q578891$35A6455A-83A1-441C-97C5-8B726D1CB3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4f68c6b25a67ae8d11a0289680067833a78e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4911139,"id":"Q4911139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008d3602fae7039e5d36c27fac7ee86e3697eef5","datavalue":{"value":{"amount":"+0.79184926","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":"Q578891$93AA9104-D96E-4A00-A764-582DA9C1FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a7337591ac8cc84f19ca01b1297257a12f8ea8","datavalue":{"value":{"entity-type":"item","numeric-id":3796696,"id":"Q3796696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33c49cb5786bd1b8fa7dac92478dd369e67f9ae","datavalue":{"value":{"amount":"+0.78883207","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":"Q578891$6658F19F-78A0-4F70-8371-D985B39CBA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f828e1f846b713c489cd193e6c604aea47364c5","datavalue":{"value":{"entity-type":"item","numeric-id":3323232,"id":"Q3323232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fae768eada4bafa987a2f48b91bb0d59948de4d","datavalue":{"value":{"amount":"+0.7787261","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":"Q578891$A26E9773-00E0-497F-B619-E40BEBAB8D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13124693e0ef4fa81acf6e0fb9c92d3e368683c6","datavalue":{"value":{"entity-type":"item","numeric-id":2723930,"id":"Q2723930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4acb53021e0398066ad2bb8e4fe710f1a3f316a","datavalue":{"value":{"amount":"+0.764808","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":"Q578891$76050520-98DD-4A9C-8AB1-2AE3944889B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ANNA. A language for annotating Ada programs. Reference manual","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ANNA._A_language_for_annotating_Ada_programs._Reference_manual"}}}}}