{"entities":{"Q6174548":{"pageid":13309436,"ns":120,"title":"Item:Q6174548","lastrevid":94155062,"modified":"2026-06-05T06:01:14Z","type":"item","id":"Q6174548","labels":{"en":{"language":"en","value":"Program semantics and verification technique for AI-centred programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728858"}},"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":"Q6174548$224C3526-5B33-40FD-A018-A86CAA0A5E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"393ae0f5b47d57da9300ea9a4e34019dba9a7379","datavalue":{"value":{"text":"Program semantics and verification technique for AI-centred programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174548$F1F99891-67B7-42EA-AF13-A02BF67BE7C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45056333d5d501a126b885a029dd92593206cc6b","datavalue":{"value":"1529.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$0CD679FD-4B74-4C71-832D-C92EEA6DCD52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e63674f9dec2f4ae8d7decca5857e45ed5c1914","datavalue":{"value":"10.1007/978-3-031-27481-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$ED0645F6-5E2F-465B-90AA-94F89754D33F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a4edb54a1ac9688e9e0cd95e98d133953c4bb32","datavalue":{"value":{"entity-type":"item","numeric-id":6174547,"id":"Q6174547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$D5B50191-8912-49CF-91A4-C528E14BC3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c76d101433f5e35590cea68128167d58f5915156","datavalue":{"value":{"entity-type":"item","numeric-id":2851355,"id":"Q2851355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$E7AE6F2C-F201-409D-B482-587675DCB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e80469ccad547cffd757801ac819d677ad7e1e3","datavalue":{"value":{"entity-type":"item","numeric-id":1641033,"id":"Q1641033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$A9436204-FF87-489A-A729-75EB0DB5628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$DFA2CB3B-7A50-4991-AB74-48D71C62384A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$D04B7B15-32B0-4F4C-B16E-60E85DDAEF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174548$27F9B5D6-E07C-4DC8-947F-074AB9D5F315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e7116addedd9cb8c589149c8c8f13d86528822","datavalue":{"value":"https://openresearch.surrey.ac.uk/view/delivery/44SUR_INST/12173360500002346/13173360490002346","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174548$395215AC-C195-4D54-B9DE-CDC71F5766E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$EBB825E3-3634-4501-B010-390D63DE4467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$EC8B7E80-C355-45BB-85EA-A797166FDD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$A74A87B6-C5C4-4236-861B-F0357D274F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$A58F43F9-CD40-4521-A4EC-98DE8D268F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$5744B55B-3A99-43EA-9DC2-998DE248BAB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"588df960ce73354469e9faa950e5b412450f146a","datavalue":{"value":"7728858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174548$A5E99F4D-6646-4589-A018-1B6A451E6CEE","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":"Q6174548$877F45B4-E69D-44E2-BC19-3A4DB3A03165","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$8A062ED7-EC21-4141-B940-B0419F39A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd581593d9945acc067d150d7876e9a41087ba0a","datavalue":{"value":{"entity-type":"item","numeric-id":3457719,"id":"Q3457719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$9CE2C42E-D981-495C-983F-87DA8BF110A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$872D8EC1-2A5E-43A2-AD22-0094E75B3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$73054E97-3BB4-4D9E-A027-0EBC67CE206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$C8FC0341-C480-4801-9192-31E43EC424B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$79EBEF9B-A7FF-46E0-AFF1-56BC048FA56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856f174cb5ff12704323688c5358a4073aac4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5296759,"id":"Q5296759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$59F3CDA4-7A60-48D2-A5F3-B9057B797BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$903CC1C7-37A1-4F53-8F51-8377322882F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78827296fd56cab89c78aedc2bdf3076c2862d3","datavalue":{"value":{"entity-type":"item","numeric-id":5016794,"id":"Q5016794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$A70CA850-3FD3-443E-9DBB-6CFEF7C33BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41d93531fa325bdb8d2247bc6edcf55c388c15","datavalue":{"value":{"entity-type":"item","numeric-id":3574475,"id":"Q3574475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$D1B85998-419F-4F91-8326-38CF1DEDA6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a51c4131406feb3360654a16bbe1b5f9a9ecfa1","datavalue":{"value":{"entity-type":"item","numeric-id":5361449,"id":"Q5361449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$BA4AEC12-3982-40B7-8E9D-7E6D1780FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$E4742187-C48B-42DC-88ED-9FFF709B37A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$3899E6BC-CD44-4326-884A-04FE76F23B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247edb4d29125065a4b7bcb1f8e741cd7f4f6b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5215818,"id":"Q5215818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$22111220-2C2F-47E6-BA26-F774E731B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$5135FE0E-4435-409F-AF89-3FB14160D453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee09d94bfcf54044ba878c48690e939ed437ef","datavalue":{"value":{"entity-type":"item","numeric-id":5486061,"id":"Q5486061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$3DD4DDC8-1A7A-4A41-A048-CACD3FAC2604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$F402B8B7-5501-4D05-9A6F-ACCF56523EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b762df6d7899899353ce32a9470e3db827ed0388","datavalue":{"value":{"entity-type":"item","numeric-id":3393399,"id":"Q3393399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$C54653E1-B1DB-4421-A472-55E49BD992D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$9D8A0076-5EBF-489F-9E60-0943CD7675F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$361CD9A3-5F49-46B7-B71C-9F185D662059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a125502fa850f6a5ab3619570f7db924c393b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3680260,"id":"Q3680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$44735F84-89CD-4398-BFE0-6C3B053981E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$173C49E5-45DA-439E-B282-109098638F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04adff89bc96cf899336247629fa57fcdf5761b4","datavalue":{"value":{"entity-type":"item","numeric-id":2716928,"id":"Q2716928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174548$6F59309D-6F60-41DE-837D-819A71918FD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81a6e0ee5b47b893ac70653e844d8160c093751","datavalue":{"value":{"entity-type":"item","numeric-id":2761214,"id":"Q2761214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf62f5b522951495599e453b465eb0f1ac2a9b7","datavalue":{"value":{"amount":"+0.8778752","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":"Q6174548$F05B9647-F4F6-48C3-9D0F-02A94D895102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d31a1939b7e893a04b16b337fd391a8c5a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb99462d73127f03de08d072fc18b3827280920","datavalue":{"value":{"amount":"+0.8581252","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":"Q6174548$15596765-469B-40C3-9455-0B4D8AF33E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e204e168aa04f6b27162b55a7e9484a7d34cd0","datavalue":{"value":{"amount":"+0.85032827","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":"Q6174548$D88B95CC-2A04-4652-AEBB-B7ECAAAFC104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b314ad2c8c0dcd9683cf4103c66bcf577385d0","datavalue":{"value":{"amount":"+0.8445654","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":"Q6174548$23449475-4B41-42D8-9689-57E3DED22E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ff2ad334ffc968cdaa2267876515ed59b775ba","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4f043d1eadd93ca5b4b418340e4117d0276592","datavalue":{"value":{"amount":"+0.8430187","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":"Q6174548$3F2F5C8C-891E-468D-829E-2ADFB4BB220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07864a2c016645e157c3192b9a7512ac8b52e2b","datavalue":{"value":{"amount":"+0.84240913","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":"Q6174548$1AE9EAB8-FD9C-4018-AB7F-1E79C6BA847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f0777262f840661aed114a408dca165d5cd6a4","datavalue":{"value":{"amount":"+0.8386558","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":"Q6174548$22D2AFE6-618A-431D-A4AA-A3F8ED7D2258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821798f6c2d9800877cb4b42bc3b754a3413284b","datavalue":{"value":{"amount":"+0.8382067","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":"Q6174548$C311943C-DC5A-46C3-B964-27F2023EB053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program semantics and verification technique for AI-centred programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_semantics_and_verification_technique_for_AI-centred_programs"}}}}}