{"entities":{"Q861687":{"pageid":863535,"ns":120,"title":"Item:Q861687","lastrevid":64957491,"modified":"2026-04-11T23:21:24Z","type":"item","id":"Q861687","labels":{"en":{"language":"en","value":"Tool-assisted specification and verification of typed low-level languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119728"}},"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":"Q861687$B0A39012-B8DB-4801-B913-FE480CC25554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4431644e399484798fbbb42c4dc16a864254ba64","datavalue":{"value":{"text":"Tool-assisted specification and verification of typed low-level languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861687$A5FD8E79-C144-42ED-A396-2BAA9668516C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2f18253ed9bb886e0c3b52abe38540391991d8","datavalue":{"value":"1107.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$66BC2249-964A-4CF3-BBCE-5141E3AB9804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$0913EE5E-B0EB-43A5-8687-8A3928D4721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcdce602f947ea2b49893140570219e6c30f521","datavalue":{"value":{"entity-type":"item","numeric-id":483060,"id":"Q483060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$6E426DFC-5766-4338-B957-2A13D6D1F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87ac1e91a14eff4b0b0eb084be9c3dc17e39d89","datavalue":{"value":{"entity-type":"item","numeric-id":861685,"id":"Q861685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$41E6F198-69DD-42AF-9BE7-6779DEA8B308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc44cf567d5313a91ff3d79601fb3b8611d7ad4c","datavalue":{"value":{"entity-type":"item","numeric-id":861686,"id":"Q861686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$2830D639-3F78-416C-9E2A-6386AD50C9F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$1D428E42-9F26-42BC-8FB3-BC0134B07907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861687$F4986765-DD23-47FE-A0DD-1F35E30F1B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$76D12E25-07D1-4ED0-94E2-01A52CBBD56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$7F853B85-9D83-44F6-9F99-90A12539AD26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64af0cb1962ba226853c9ea818b5bf6f4b7fbbff","datavalue":{"value":"5119728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$064EFFCD-7717-41AD-836C-A97736F42D17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2142f7b8ed09bf741df0b2311d5ef509818c0660","datavalue":{"value":"bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q861687$B93DB244-4D01-436B-B336-2F981EB8E7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99c9cb22c11fc5102e4fd7ac02c6495af6cb5bf","datavalue":{"value":"Java Card","type":"string"},"datatype":"string"},"type":"statement","id":"Q861687$91E600C3-8013-453D-8209-23DECF42F745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q861687$BF1F5425-FAEE-4977-8B65-69A56BCCB1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89121f58d9ccc88a1ad7287fbd9afd9d4b05bbce","datavalue":{"value":"virtual machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q861687$C38D4053-DCD1-48A9-8225-B6315E6296C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$CCE2210F-027C-4C15-902A-A241E648E3AF","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":"Q861687$8996C9F2-1E2D-456F-A004-B46E2744DB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f139be797ad6963cd2cbd5f2bce837e22e6da95","datavalue":{"value":{"entity-type":"item","numeric-id":17134,"id":"Q17134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$67EE0DEC-ADE4-48F5-9832-631F807C6DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0560a1d7352ea4c8a6d719cdb4465a914b75ac45","datavalue":{"value":{"entity-type":"item","numeric-id":14009,"id":"Q14009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$5A01E504-D53B-4E41-8FEE-BBEECD49BEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1086135eb7b4322a0d05723606cf2a9c1c52657c","datavalue":{"value":{"entity-type":"item","numeric-id":41255,"id":"Q41255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$CCC95BB1-E419-4B43-B8A5-95C6362D6009","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":"Q861687$AF5DB429-5427-4E10-898C-F10E52B966EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8152d752569e0aa17ec9157d36117a13442631b3","datavalue":{"value":"https://doi.org/10.1007/s10817-005-0084-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q861687$83517DF1-81E0-48F3-A1B8-E0E1B6D7FBDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c180eaa6e3e7420cb46761af134958736b8cf25","datavalue":{"value":"W2142949137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$287DB735-0004-4B49-91DE-AE6889190689","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$2A81A756-155A-4DB9-8365-18048354B41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$A326F6C1-696F-4EFF-8F03-9E44B4D55AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075592a9f0edf412848e922b8238d0038378060c","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$9E6A943E-C9B6-40F0-96CA-8715053C968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf9c74e5474866e8055b46dc283f59e88bb8f91","datavalue":{"value":{"entity-type":"item","numeric-id":4736986,"id":"Q4736986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$A7F7F250-A08F-4D45-B872-088BBBC67A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f9ad7602cc5d595ae9bbdf775b25418df2d804","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$B52C6D98-40DE-4596-8CBD-9C2A31835381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25667f2a6078416ec1d446a9aa809aa2c346bf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$280E6CFB-FABD-4C15-9F58-700340AB52B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$0336B650-C425-4291-A34E-296B05F7D638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$69036998-235C-4E9F-B1E1-6E0372C6C99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$ABCD772E-6C73-4296-BCFA-C1023114E202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$CDBFE357-F009-41E6-AF6B-FB8EB983D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$74FC77DB-9CE0-4AA3-B2DD-109F19700C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e7bd92b6b8e1793c9a322d28f926d29c9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5178887,"id":"Q5178887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$2821632D-4886-477B-B065-B02ED14E325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$016D9A84-5F4D-46F2-885D-37222BE47DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a67c4650d1a162a5318839b1e107870bb53a8","datavalue":{"value":{"entity-type":"item","numeric-id":1405993,"id":"Q1405993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$1F3666B6-A0EF-4587-83F1-CA299AA4CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c0dc24ae4af06e6cb3951e0fd95c44410f6401","datavalue":{"value":{"entity-type":"item","numeric-id":1853613,"id":"Q1853613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$DB7660B8-77E6-42F1-A388-AE8C483DD867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacfb30a2974955786a9bff56d0c03b19b34c30","datavalue":{"value":{"entity-type":"item","numeric-id":4553258,"id":"Q4553258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$11C85C90-F832-47CD-93E5-D440821A8B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d17992b371850be6b5e2985000a37a1fdccdda0","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$2C56223A-0412-4E98-84D0-9AA02162357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084eef17a096b7c40c0fb41db727301ceb159c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1868511,"id":"Q1868511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$A01EFB34-8F9B-4AE4-B8BD-6D9333CCA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$B53DD16B-1525-4CAF-B51A-6105A0FCA97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d689c6ebe5f4ce66342ea706faf5cd9a7eae98","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$5D16913A-7C0E-425A-A4D6-9912B1F1F78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$0B8B83F5-5C33-4655-9D93-60F129CB2267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65cacd61d4095ac218f25b8cc0e7be984388327","datavalue":{"value":{"entity-type":"item","numeric-id":4428316,"id":"Q4428316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$F6810EFC-BC13-4803-87A5-F4BD9BDB6A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861687$1375867C-09BB-4A94-828F-B65B465D2D23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc76a7db1e00456ccd34845017cfcb81f8b0c29d","datavalue":{"value":"10.1007/S10817-005-0084-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861687$BA04DF5D-B5FA-41DE-8A18-E6A1E3DFB8EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937531284985ea4847f738c19bf970df127e5e71","datavalue":{"value":{"amount":"+0.8672913312911987","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":"Q861687$76BA80F9-8301-428F-A5BA-54460E787E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e3006d98efed4fdab06ba90f6009980530aadc","datavalue":{"value":{"amount":"+0.823890745639801","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":"Q861687$C65AAFF4-A2D9-4FD8-BFDF-F6082B546B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50973f72ffc5fbb6502146851b57f20c004bcfc4","datavalue":{"value":{"amount":"+0.8150731921195984","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":"Q861687$1FCD8E7E-43FB-41F8-8927-4E74E2C3E6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb36254aca9ce96e4bf6f89f2ebcd90cb9cd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a04ad52371f3a2cd5b1edd1cf3e9efc033bc83a","datavalue":{"value":{"amount":"+0.8051906824111938","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":"Q861687$C618D8AD-F362-429F-BE30-232E839A5DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c775a190b977ffe56594cc58d840721902d116fd","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f1bf80ae327cc8b7544ce1522a1231cedc8665","datavalue":{"value":{"amount":"+0.801395058631897","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":"Q861687$A641991C-9153-4A4D-9BD8-4A6E621BC08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool-assisted specification and verification of typed low-level languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tool-assisted_specification_and_verification_of_typed_low-level_languages"}}}}}