{"entities":{"Q2220814":{"pageid":2231557,"ns":120,"title":"Item:Q2220814","lastrevid":71590110,"modified":"2026-04-13T23:15:33Z","type":"item","id":"Q2220814","labels":{"en":{"language":"en","value":"Safe functional systems through integrity types and verified assembly"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300903"}},"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":"Q2220814$4A1CFDEB-0CF4-4375-9199-2D0810693CA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17db9b7359992edb637437541b08d726bbd5bdc","datavalue":{"value":{"text":"Safe functional systems through integrity types and verified assembly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2220814$E63EDFF4-50F7-46AA-9D9A-DD5F59804250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9a606ca0a5365d8fb45439d39963d1d112d1d3d","datavalue":{"value":"1477.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$6B3CA9C6-A631-4556-BCB0-F8C9DF402298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c14fd0be1ba2fb300e714d04f5a21f9fe0cb905","datavalue":{"value":{"entity-type":"item","numeric-id":2170445,"id":"Q2170445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$48FB4FB8-4174-4B0B-9116-3C1685F31BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"704154eb31e4a0d0931d959f4d986f0057909a38","datavalue":{"value":{"entity-type":"item","numeric-id":2220809,"id":"Q2220809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$08E7CACF-5A9B-4464-BE8F-910A88DD236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3183531e261bcedeb8e2b44d0abeae44e3ac85ea","datavalue":{"value":{"entity-type":"item","numeric-id":2220810,"id":"Q2220810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$B7B6C35C-1F1A-40BF-8D88-A6F98D032686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212dd7d7a3774a23e710bd74f198978b8a60c459","datavalue":{"value":{"entity-type":"item","numeric-id":2220811,"id":"Q2220811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$07C6A461-076C-40E0-B431-D8DE7240E411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7d669e828d7df24c00965a929b275f063d7f8b8","datavalue":{"value":{"entity-type":"item","numeric-id":2220812,"id":"Q2220812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$8AB12926-79C5-41E5-A716-45B0CAE15E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c48c9addd59f11208a3de3fbfd484effe23d825","datavalue":{"value":{"entity-type":"item","numeric-id":2220813,"id":"Q2220813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$EA7FE57B-8A7C-42D3-97E6-F843F0B0A4A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$C88FB752-7B1B-4DD2-A4FC-F6D3CDB2EEFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2220814$04B12AA2-53E7-40B3-A45C-13F60E6A8B29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$2A1E3B15-DB8B-4231-9903-5DE330384210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$89D384A6-9590-4556-9136-F8CB964C1F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$CDDA62D6-AC7C-4FB1-BD86-58CBCE58847F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9769bbcc4bb148f011e824fa202400ef214eda7","datavalue":{"value":"7300903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$D9177F86-BDF8-4946-9EAE-CCEE48ECA74B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220814$3E8264E4-51FE-46FE-94D0-A7BB76025658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f676037d259dc0d26787ae5ea20a1648dc32dea7","datavalue":{"value":"computer architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220814$024C1A93-C8A8-4B1A-8507-B4E025769AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220814$511339B9-EEE3-43D5-8871-D85AA1A50D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b17dc4feb1404a16d1f4fca7f819cd45aefa2b","datavalue":{"value":"binary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220814$08A9CD0B-88B0-47A0-BC8B-B8547DF2E3BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$989CA04E-F04E-4484-B4A7-7E4625620BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$3A11C706-B428-469F-A8E4-A924B5A15100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$99962ACF-4779-4183-9469-49D3D185855F","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":"Q2220814$A8DAD599-CB70-48FA-858B-750FF80A34C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$9DD7DE49-AC33-4C78-A76D-011DCA76D44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a9ff7c29b88ecbd3bb30b10875fc8eb845d9ced","datavalue":{"value":{"entity-type":"item","numeric-id":31827,"id":"Q31827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$D1412FA0-4801-4A31-B2F1-E24C1B914921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46152d70346fbeb158db52731720f01cd90b0736","datavalue":{"value":{"entity-type":"item","numeric-id":34428,"id":"Q34428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$BDC46EF7-DAB6-4B7A-90FB-BF7A48A488ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb6a7b246bf9c4bb421886df1d84726267770772","datavalue":{"value":{"entity-type":"item","numeric-id":40358,"id":"Q40358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$B2338040-E771-47CD-896C-D56F8AA056BD","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":"Q2220814$A2371923-51EC-4F7A-BB5B-70B10E5E65A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12debab1c9a55397b12698a7c52b429eee0a998f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.09.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2220814$CCBA6427-18C3-41D4-BA22-34EF7809B24F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d21f53363f513e8f43b27e5265b55aaeebc30710","datavalue":{"value":"W3088736626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$B9F0F5FF-7DE8-4DC2-8A2C-D69E9454A8FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c809324dad89dea1ff7eed3c15e089468094a1","datavalue":{"value":{"entity-type":"item","numeric-id":3940832,"id":"Q3940832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$19814F73-639D-4748-B307-CDAA982C4AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$2AF2DE09-22D4-42B4-BDB2-06014C71B73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab8803f370a224eac629d99d2c45655ab10934f","datavalue":{"value":{"entity-type":"item","numeric-id":4417905,"id":"Q4417905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$60E15D33-3DC3-4229-813A-C4840A9C9551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb092c315a2590c3ad5a09ffd7c096cdb90bbe44","datavalue":{"value":{"entity-type":"item","numeric-id":2723406,"id":"Q2723406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$94BD0C73-ACA8-47D4-9C59-04695138E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51840355e08753d0377af591c495ff9f8053cee","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$1CEC5BA1-CBC8-4F45-93C9-B35C662E3FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0312b175777d8c6f7313e8f08853d353eb42b159","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$BEDED3E5-582F-451C-B167-B108EDB68C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6756b931d462059a364d24416dd987a75ffa57f8","datavalue":{"value":{"entity-type":"item","numeric-id":5178007,"id":"Q5178007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$EC649256-132F-4BE1-A9CF-AD49D3D252ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16ee5e65f1db51f9c436dbb90be9daf0b8247a","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$EEA42B9A-1020-4213-8CDA-9E9426A58771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$9AC620A5-5232-4FC0-AC51-781CC0F1DD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$C2248281-3940-4BE1-817A-B704DDEC57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$7DD20F4F-8E39-4531-89C7-51A0CE139290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6de883b4095c2040a6b6dd480be2d845aa081c","datavalue":{"value":{"entity-type":"item","numeric-id":2981953,"id":"Q2981953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$4830F754-0C55-422B-931F-F7215D96DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$4B45838B-BB4A-4578-BC69-DAB5852755E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$015905B2-F66C-4675-8806-F0DE42B955D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$D4A7E191-BD9C-4553-9576-7DC5FB8A4B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$8B920590-E179-45F9-8700-53D7DFD9F932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7459964b7e59b41b227b93925d675f0772165a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5725063,"id":"Q5725063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$F34911E5-D6BC-4F5D-8EED-53372DB1AEB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"960ea48a921d97184cde12a5f16fa4fe2cd38932","datavalue":{"value":"10.1016/J.TCS.2020.09.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220814$9B133DB1-E78A-4287-A60B-B47A0C3E6D71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a2b8f419e0132ecea16dc32586c55f3a147d21","datavalue":{"value":{"amount":"+0.6798365712165833","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":"Q2220814$9AB6AD47-CE2F-47AC-A65F-FDDE6E0C7CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed5d758f9568df2fc2c63e8fa6d923b7c7a8012","datavalue":{"value":{"entity-type":"item","numeric-id":1663225,"id":"Q1663225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3641ec506500e0fd5947adf6026453367e2dccf","datavalue":{"value":{"amount":"+0.670364260673523","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":"Q2220814$2AD97E0C-23FE-49D7-84F7-D78586036E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85da01ce5c8c2828ef73396ab04705487b850c","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038f6be8d185ed9b0823912ffc172e2bd6a8f6b6","datavalue":{"value":{"amount":"+0.6684286594390869","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":"Q2220814$1C68779D-A816-431C-AD7C-D6C9989A93DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c724d01f0b25423e58fc90fe6a19f652e1a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1749143,"id":"Q1749143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c800ae5c95ee2bfa21cb4e4d14f0f294cc9a46","datavalue":{"value":{"amount":"+0.6603807806968689","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":"Q2220814$33E0F378-3D15-4840-9908-42D43B5F79AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ed055ec8f5656036578820cd66c4de107a3a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067529,"id":"Q3067529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d119e2f6f37e48692ca9ae209db427040fe8e22","datavalue":{"value":{"amount":"+0.6583683490753174","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":"Q2220814$929F6977-92E1-42FE-9678-7463DECAD86D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220814$A9717254-22FA-41DA-99BD-C1C06592BBE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe functional systems through integrity types and verified assembly","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_functional_systems_through_integrity_types_and_verified_assembly"}}}}}