{"entities":{"Q5743596":{"pageid":7773147,"ns":120,"title":"Item:Q5743596","lastrevid":52453112,"modified":"2026-01-22T16:40:39Z","type":"item","id":"Q5743596","labels":{"en":{"language":"en","value":"A generic intermediate representation for verification condition generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539456"}},"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":"Q5743596$786BF0D2-8905-4173-A3AE-68E67A9B7A11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084c8b7c7fa4b674e533d28f49700b1118789e6c","datavalue":{"value":{"text":"A Generic Intermediate Representation for Verification Condition Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743596$970F55A4-6B59-4367-A2E2-4CA651192240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bcf80868e30ad6ac2729b825e8808d012f19fcd","datavalue":{"value":"1473.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$BB9D83A8-91D0-41F3-AB2D-D8BFE0B15F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"358ecdb16e3c17402f95d92666659607a98f65f1","datavalue":{"value":"10.1007/978-3-319-27436-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$A5133C8F-EFB5-49E5-AE5F-A1CE75F26FB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc554f6471ff9eed49aa19334a728f6412a548e6","datavalue":{"value":{"entity-type":"item","numeric-id":209390,"id":"Q209390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$860C0501-F0DB-40E8-B01A-2F9B8BC37849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73479b70458c0789796858f4b05c9d38291cce00","datavalue":{"value":{"entity-type":"item","numeric-id":2037427,"id":"Q2037427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$23FF52E7-D184-4897-8DC1-19AAE9EC9D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c4f0a73cb16daf1a6d20b105b364dce4d8e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984796,"id":"Q1984796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$0D3BACCE-E7D9-44CB-814E-EDE10AAA4131","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$2FBA0855-6068-4E24-9997-34F4F09BF4D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-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":"Q5743596$52817EF0-DE97-42A9-883A-221281D18BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$1E2CD0FC-6A9C-4507-864A-D09312BE26C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$2CA4204A-87C3-4BFF-8924-2EAEA712A8E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd29bf2ba0eced7bd6ae0f8ea2a47f7c1e2b624","datavalue":{"value":"6539456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$06A24C49-EC87-4C5C-A234-FDC0B874D366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1dce7d5fb5bc7b29af8b5cf5ad73f30f632fed","datavalue":{"value":"verification platforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743596$DB162946-E6CC-47E3-B5FF-C958027FCFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa75b0cf12c21394129a09cf91fa52d44d00338","datavalue":{"value":"intermediate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743596$AE16063B-F121-4656-87A2-5D3B29C6FBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c466a31828be4527e6fa92732efebe73d5786789","datavalue":{"value":"verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743596$7F5FC529-3723-4360-A780-BB8B6C5A2853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743596$BDCD2B18-854C-4C03-9199-E7AEBCA85CAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$84C56CC6-B65A-4EA4-9851-1F29BC01C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$1F5E31E4-DA97-42BB-B7CC-1141A5B7CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$72DA2148-7748-4311-946B-26A3AE362F5E","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":"Q5743596$3A229EB0-89D1-469F-B93B-72831BE3432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$783EF486-417D-4D35-8181-C2F98EE8B36B","rank":"normal"},{"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":"Q5743596$2B595C39-2C3D-4EBC-A191-A34BDB703C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$CF05B367-410A-4D12-9CD2-50BF9F5D5E3F","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":"Q5743596$4D6EB037-4AE0-4BE8-864F-15284D757BB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"995a4b5dd8d5490f4b4100927a9fc0d265242b4c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743596$89CA1016-4844-4B33-BD5A-6C1C2F8FC8F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1b565fe2e3cc8ddfcede94872a3aaa92da92431","datavalue":{"value":"W2294420626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743596$F7B56126-47F0-4EAB-815D-F06B7DAE211C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$1BF255C5-C4D5-42A2-8A76-43F5712CCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2d917a98e9ba47f267e20d5dc5fbd3a2f2e909","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$BC945332-7274-4605-8F07-CAB466F9293E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$FE75EE1F-337D-4A89-BC5B-DD98319F8A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70622e4b36de8d6dd6046aa3f307f2f922e6aeb4","datavalue":{"value":{"entity-type":"item","numeric-id":4813229,"id":"Q4813229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743596$17A4ADDB-9AB7-4618-811F-C7A253077C07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79daacd80091bde89a54cb32e28332e739a62c10","datavalue":{"value":{"entity-type":"item","numeric-id":465685,"id":"Q465685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b62f1f1379a80aac60f465fc46e5f302ba8c14","datavalue":{"value":{"amount":"+0.7389879822731018","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":"Q5743596$DF67C1A9-05C9-46DB-839B-D869373E42D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e54de70359c17c91d77e16505b0af0925517b0","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972bc9d9ceab53d669785ce2c6e0a737f8cc75dc","datavalue":{"value":{"amount":"+0.7253410220146179","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":"Q5743596$443141F8-D913-4BFB-A23A-9CFF361C20F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1991339c595d4dc97bb89adbbc394122047a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":2864396,"id":"Q2864396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005dce0db66c5ad8b845bf66622656c5b89f80d0","datavalue":{"value":{"amount":"+0.7209265232086182","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":"Q5743596$E0A0773B-F488-4B0F-BDFB-72A42E8D084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2969032012922ddb21c6cdf39ed8ed34db5a8b98","datavalue":{"value":{"entity-type":"item","numeric-id":3599104,"id":"Q3599104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46db19f7bdad665406852b3c1372a60fad83343","datavalue":{"value":{"amount":"+0.7198909521102905","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":"Q5743596$75E3A101-6D2D-46AF-A48F-0B1D4754CDDC","rank":"normal"},{"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":"15add2f7e3a801deeaa407eec946b83e7b406ab9","datavalue":{"value":{"amount":"+0.7076988816261292","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":"Q5743596$3272F3D7-3613-4DA0-8642-8156ADF50DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743596"}}}}}