{"entities":{"Q784116":{"pageid":785965,"ns":120,"title":"Item:Q784116","lastrevid":64306920,"modified":"2026-04-11T18:58:27Z","type":"item","id":"Q784116","labels":{"en":{"language":"en","value":"Leveraging compiler intermediate representation for multi- and cross-language verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228503"}},"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":"Q784116$7CF74FF6-2837-42A5-BF89-5CEAEC2905C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1063281546735fde3dea2e5858688e2d8856b885","datavalue":{"value":{"text":"Leveraging compiler intermediate representation for multi- and cross-language verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784116$4D339379-7F9A-4113-9ADE-B25BE6BAAED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78f55cb3053e6e992a02f501d2627a4fa438fa3","datavalue":{"value":"1451.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$DEBDBCA4-D0D0-40AB-A31E-68E526D9ABD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"028ff4c3c5a67bd00179dd4459e7f9aceb336ca9","datavalue":{"value":"10.1007/978-3-030-39322-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$C102420B-C4A8-4965-AFA4-3D462C358FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"163c95354156058864802f96e1caef098489e49a","datavalue":{"value":{"entity-type":"item","numeric-id":784114,"id":"Q784114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$60422ED1-CA02-4B75-9A83-9A76AC471AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c766000952cca708671d08c3c76d3f26a3f10fdd","datavalue":{"value":{"entity-type":"item","numeric-id":784115,"id":"Q784115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$90855277-7FCB-4822-8AF4-343518B1B735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fe1cb19090cbafd2a250660a31ddc4330d60bd","datavalue":{"value":{"entity-type":"item","numeric-id":682351,"id":"Q682351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$C3EF6650-37ED-4E88-820E-559F78803AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11f2b24824a3159e3071b1a76accae952fad828c","datavalue":{"value":{"entity-type":"item","numeric-id":470004,"id":"Q470004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$60C2DE71-DA0D-4DB3-87B0-F0EDA5F475C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784116$A7E9A9C7-4252-4525-AD23-F54EF5A0F7F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$0E490DB2-A98C-4650-A23B-6B83E32CC37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$A84604D5-83D3-4D73-9C1E-D2AF4041009F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$B14F6847-8E10-4C77-947F-E8D697560561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ea0a8ef7620a908ecce425fab626675efe976b6","datavalue":{"value":"7228503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$F03131E6-A279-451D-94C8-97E92B9A50EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q784116$1E6AA70F-CD37-451C-8419-FF348A2420F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95b6b567e1153465355830d1bac0b2efb062cef","datavalue":{"value":"multi-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q784116$6774DB8D-6AB8-4642-ABAA-A0F247E6CA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e6192f452d1242550c98f12123fad8160f6a16","datavalue":{"value":"cross-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q784116$F6961338-45EE-4DBA-A781-A802836ECC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9e295312f827a41cc71e8d23c5df7bd589c82a","datavalue":{"value":"compiler intermediate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q784116$EDB762B8-096D-41DB-AC93-545E9BA2C927","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550af4745ee61c125520a209383c6305679e155b","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$A0865B1D-4A49-4102-A4A9-CC36D1CCA3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$D35E7DF3-EB55-44A8-96F8-A81611AB4826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$CABCBEFC-A1F5-49F0-85A1-1A4FAAC11EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$60B76AF2-EE86-448D-9E26-70DCD05B0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$BF92EE67-FF43-49A8-976D-686E720DCE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$60849E45-1064-4889-AA3E-8196413D7270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7869818fe9952d2e6a36f10856eb4e7b0119a831","datavalue":{"value":{"entity-type":"item","numeric-id":25683,"id":"Q25683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$69A7E0BD-AAB1-41FC-B068-15F8A51441C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af2695500fdcfebb883601f9c061d62d67c46821","datavalue":{"value":{"entity-type":"item","numeric-id":25895,"id":"Q25895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$6B03C1F1-1CAE-4DA6-A945-BC5FD57E1229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$799B43AC-9071-4A9B-AF6E-1E6296395E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$FBD899EF-CBBA-4487-B64A-B1B0CA8972FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b310df58e245f0adb70ff331f7064e33f76bbbb8","datavalue":{"value":{"entity-type":"item","numeric-id":42647,"id":"Q42647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$8777260D-ED32-4048-99EB-D0EC188BB24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61fade3ca2a812fe89379f101f81d6f3b1f2db1d","datavalue":{"value":{"entity-type":"item","numeric-id":46050,"id":"Q46050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$74629D38-0A44-441B-B297-F3F5E2C33BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"271fdd8609347f5c79b47fc83679065a807cabb5","datavalue":{"value":{"entity-type":"item","numeric-id":46051,"id":"Q46051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$582126D4-EAF7-4F5B-AF0E-2B1F6EF2E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adfcc2a6183abba0e1b1009eddc472286ea82f45","datavalue":{"value":{"entity-type":"item","numeric-id":46052,"id":"Q46052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$68087683-09D7-4328-94C9-15ADF9B40B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e55bd7c0ce885794b8a39eb2d8394bd0c406e8b","datavalue":{"value":{"entity-type":"item","numeric-id":43299,"id":"Q43299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$1DBD1990-E3DD-4463-A3F2-71BB86C1E135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$288BB3B8-C442-4DEB-BF71-D5D3D8914D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72bb045a967cece1c020aea1f7a6ca46cf3bda32","datavalue":{"value":{"entity-type":"item","numeric-id":46053,"id":"Q46053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$7975AD30-19A1-4C16-A9FA-F5F00C6FF1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02bca3c4de213130626a67a356bc1a20cc47cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":46054,"id":"Q46054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$9F8111A2-EF30-4149-A775-FEADE9433FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$0D6F1661-1A20-4F85-AECE-607C2A51EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0e02e69d4eb70589c8bc6ff098a87428ca35271","datavalue":{"value":{"entity-type":"item","numeric-id":46049,"id":"Q46049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$13FBD3DD-1013-4B7B-B93F-3D7317AA3B68","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":"Q784116$8B447991-63E3-44A7-8992-7F51D65094BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$84CADA1A-CB7C-4E21-8723-34D730F08144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$FF23D44B-20EE-4625-BE31-69863678050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$1D5666F0-A080-43DF-8A7C-575B31C09039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$E5A492C1-43D6-4221-ACB3-A03716EF9652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$45D18403-FF3C-4FE2-BE46-164667FF1075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$A30AEA86-65C9-4659-83B7-F0B7F5A8503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$E05D9FDC-1605-4E42-8B19-A9A00DB2B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54d9ad795f151ea517d73c43f9226a6c7f8e7212","datavalue":{"value":{"entity-type":"item","numeric-id":40456,"id":"Q40456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784116$C0A26BCE-9F4A-4602-993C-8CFACD228F0E","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":"Q784116$41B530E7-914B-4F1E-BCAE-A6A9724586D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64ce52e6fad6c3cf2688cfec8a09c7b17c118713","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q784116$DC85AB7D-9D24-4AD8-B98B-819535277C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd1f7e5cd3e15e5a72baf6bf3fea92b7d61531d6","datavalue":{"value":"W3000442391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784116$E59D2D29-F4F2-4344-A04B-8AE85AADC1D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcd09ca564cf94ae2358840fc70f78023f079b0","datavalue":{"value":{"entity-type":"item","numeric-id":3557085,"id":"Q3557085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb104a56a5f95dd81e61feb6af7a8543893b4c86","datavalue":{"value":{"amount":"+0.7276368737220764","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":"Q784116$D73F2C77-24FC-40AA-9856-2F9B3351446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be783070fef793e84e2f531b5f64b3d84bdbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5410697,"id":"Q5410697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f2e7a13946e8abdbcd19a2d70595dfbc5188f4","datavalue":{"value":{"amount":"+0.696574866771698","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":"Q784116$1729CF67-0231-437D-ADB6-9374EA3E53D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3a32158bf22a71e594bb9ecc7310a694da434f","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7925e566c0876749e169ccc34b40380cc67d24ed","datavalue":{"value":{"amount":"+0.6904897093772888","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":"Q784116$19DB525A-81F9-4529-BEA1-B554FDC3EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c31bc4ac70f3a4595fb667a52ca7b1945ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":2102933,"id":"Q2102933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ad2c515f5ee480a6308827cc88b0e1f2d9b683","datavalue":{"value":{"amount":"+0.6725767254829407","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":"Q784116$40644ABA-324E-470F-8B23-F6E8FF9625DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a1f4c5fa531ec698fcffc162d27aff1d831ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48901fb4a56aba3e3311b234ee9e24594719c041","datavalue":{"value":{"amount":"+0.6704474687576294","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":"Q784116$51E5250A-E1FA-4380-8EF6-8022216DA1B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Leveraging compiler intermediate representation for multi- and cross-language verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Leveraging_compiler_intermediate_representation_for_multi-_and_cross-language_verification"}}}}}