{"entities":{"Q2351144":{"pageid":2361887,"ns":120,"title":"Item:Q2351144","lastrevid":72576051,"modified":"2026-04-14T05:51:16Z","type":"item","id":"Q2351144","labels":{"en":{"language":"en","value":"A framework for the verification of certifying computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448963"}},"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":"Q2351144$92CBAC78-7193-44DB-8BE2-6C87E8C8BDB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd6a4bdb1162dd8b89a696fa872f2a6b4fe9178e","datavalue":{"value":{"text":"A framework for the verification of certifying computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351144$D5A023E7-5A45-4642-B087-58044B86422F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"645578a1c8b538ef6ae768f43d73c3f918ba6c52","datavalue":{"value":"1314.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$66CE0351-657F-4D01-B517-C1638B08D862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"121ebc550732324a563b7891cb358ad4077c955a","datavalue":{"value":{"entity-type":"item","numeric-id":835774,"id":"Q835774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$166F187B-09C7-4018-9E3D-CB73940DD837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52ea9fecc32655489a0560f1f3a2c96d34140f0","datavalue":{"value":{"entity-type":"item","numeric-id":287336,"id":"Q287336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$BD8BF28C-18C7-48F7-8CCC-0F37227B5093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f2bc7106f436b3e95136cb7027e49039db559e","datavalue":{"value":{"entity-type":"item","numeric-id":270030,"id":"Q270030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$8F6CEE8C-51B7-4E79-9483-7D319A71716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686f26ef2102dec34f922caacebd6571ad7fe765","datavalue":{"value":{"entity-type":"item","numeric-id":1786740,"id":"Q1786740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$4416EFBF-5864-4420-9BE5-84865C67B08A","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":"Q2351144$854F540A-5F96-43B7-9C4E-9D97230C0687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351144$B4576E96-5DF0-415C-8FCD-D53B599C297C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784c5037fc6830ac132c45647ae388362aad0224","datavalue":{"value":"https://arxiv.org/abs/1301.7462","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351144$5A776184-CB15-47F8-9326-168CD117996B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$660A92CF-FC82-4EE3-A402-CE0F69E135FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$1AD3C22C-D831-4F68-AE05-739706F05573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d83f73845adaeaf4eafc13c6c78767a663c0092","datavalue":{"value":"6448963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$EA38141E-C2E0-48E8-8302-73BB733BFAAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$3AD430BD-53AC-4AE4-B235-1306999404B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46dc9e5ce8a3e8c2ddfc0b27f61fe6f6d98a0f3d","datavalue":{"value":"certifying algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$5EC8922C-8809-4D99-AE9A-F3F1EBEC423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da7c4be5d95f55e174c402e27dfa8bb579e9766","datavalue":{"value":"certifying computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$B5C29373-FB77-49CE-9B60-C269FD2B013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$7EB9B825-E5AA-4567-89EF-A0198F998499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc00c741d0798cf239ede89f8a9aa74df2149b2","datavalue":{"value":"VCC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$EC74145B-52D7-46F1-B20C-BC3E536CB2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$A1C128CB-D1A5-4B68-B50D-DB2C2F2C5190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$7F80DDF1-D8E7-4236-83F1-88BBDCA0A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e723223025f9006f213ac4ef68d443dd83a73e","datavalue":{"value":"automatic code verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351144$6C228008-86F3-44C8-B7D4-6749907E4ED8","rank":"normal"}],"P1463":[{"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":"Q2351144$E0996D56-5B60-40BF-89C5-D653EC38858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$E7F19647-B291-43FC-BBF9-7D0E274C8C9C","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":"Q2351144$A16C3C2C-730F-4B8D-AAFE-0C398D449A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$0209F189-DA81-416C-824D-C5A1EC1E0A8C","rank":"normal"},{"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":"Q2351144$D07563CE-AD06-4310-BE5F-7C27DE66CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$06DAA32B-1F73-479A-9024-C732CC0EBE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87cca02f8a00784fd1e7b5b6c01b040b2f0e2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$346A4A9E-0BE1-4AA5-8A67-7944223F73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3529dcbe65830ad48d2d0c523be608474426bd8b","datavalue":{"value":{"entity-type":"item","numeric-id":41246,"id":"Q41246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$DC06271B-2C11-4B84-97A3-BE0DDAF6D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$838A5728-C68A-4EE2-9CBF-356EEE6939DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$910A8665-2CC4-475F-B8E7-79534DA342B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$6F13B6F2-5EE8-48D1-9851-68F90CA7F346","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":"Q2351144$677B26AD-BACD-4C3E-A6E8-B6FBF9CCE56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$3DE8204D-0FC8-43D1-AD90-46B2C079DB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$81EC3AA8-A4AC-4C72-A17A-4F99CD7F399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$4266F179-D7DF-4D83-BF25-CA8E275D54BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$3D6C65A1-EFCA-42B2-AB5A-728406778345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39043226d92a6121a04dc81b86abb47dd7470c5e","datavalue":{"value":{"entity-type":"item","numeric-id":43947,"id":"Q43947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$E78A8651-8D9B-45D5-8593-E6BAF29B49D5","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":"Q2351144$2363D9EB-4F5D-45B2-9FC3-A56336B575FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8970d53f5fc5de8a7599b5d4b50f76cbd183814b","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$F2688AA5-5F8D-4430-8EE3-4D9D6B829F4E","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":"Q2351144$D1A57541-CEB1-4190-A672-7ACEC4D6AC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"665b81d9c0f077e3e09c3e4e80080780b437ea70","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$C3662617-6D01-47E1-9729-94A5B57A2E98","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":"Q2351144$8C82C6BF-1818-410A-86CC-BBD566F43889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"028763431b33af0e2a50c1773fc0e47256801fed","datavalue":{"value":"W2001092196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$744ED92B-BA1E-440C-B152-91B99E34D97A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$5C58EC66-D88F-4566-947E-A629BB9C747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$2A57E42A-69F4-439C-B977-C1DF171D208C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c36aeadcd6c00a43e7c10ff17ccee1d6c442d2","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$3864B352-E610-4CFB-A03C-3B8B2CE243D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee1ea8cf54f9acb5c85bdbdec2a3cd970b582f1","datavalue":{"value":{"entity-type":"item","numeric-id":2904256,"id":"Q2904256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$C0E53DCF-997E-4ECA-AE89-D61F0B80AD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$BA26A82D-B4AB-4103-ADBA-AB57E3E21DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814f08a007eccd0762345bdf06bc2170a9f2f1b","datavalue":{"value":{"entity-type":"item","numeric-id":2655335,"id":"Q2655335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$744475E3-75C1-4C09-9AFD-FE0B8616CFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$D284EB0A-F7BC-4DD7-B88A-00F1F2FF7BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$BFB54FE3-0126-411D-A9A2-08E055FD563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$8AF20C63-E87E-48DA-A5A9-96C01BD07AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd8b848f40aaa3f56b8b15df38fbe662aeb1afa","datavalue":{"value":{"entity-type":"item","numeric-id":5516087,"id":"Q5516087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$6A34B3E0-6A2D-4D58-8355-21E20D3EC1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$B7920E41-B01D-440E-9491-8581F3A1BF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$9EC28BC3-7E6A-4C04-BFF7-0EFE89F5BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$F14BD981-D91F-4B6A-A262-E485B684EE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$A08B7E4A-3F35-4E11-B905-D70AD51A903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de431ae5e1e6d0bce50265c8838d96541539c883","datavalue":{"value":{"entity-type":"item","numeric-id":4702188,"id":"Q4702188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$F3B8FC04-9762-4331-BDB3-A3A33811628D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$AF5074FE-D45B-4065-8BA3-79FFABB4875C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$777EDD60-2F0F-4037-86E5-DFF53AF678DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351144$F46A5A15-5A42-439F-90B2-FD195C8925BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e907022ed6fe635d954e260796bf0820a8e8c4","datavalue":{"value":"10.1007/S10817-013-9289-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351144$94F6F7ED-F24D-4F12-89DA-2C10ED09CF21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df710a2fea7b73097607b1b735ec1e1d58cf9363","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa9d5979030d4442942ad8f637658b48ee4aa6a","datavalue":{"value":{"amount":"+0.7678312659263611","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":"Q2351144$F4F3CAE4-578F-49C9-9254-1E51B5CC66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9bfa0976beb5292215b4d131d2eafc8825fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5881540,"id":"Q5881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc7340d8b9818c83589bfb5ec2dbab37837bb5d","datavalue":{"value":{"amount":"+0.735816240310669","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":"Q2351144$9D1F892C-DF51-4AB5-8B60-5769D6C5B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c02b302c1c433cab3b2ee88912ab465b722b26","datavalue":{"value":{"entity-type":"item","numeric-id":3587331,"id":"Q3587331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8d3518de9121b2c1c17efb99ef805d793e872f","datavalue":{"value":{"amount":"+0.7286586165428162","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":"Q2351144$FB7175BC-36BC-4BD2-8F4D-4B3C6CFED58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f16eea90e865fda6c3e442b0bf795177c4e870","datavalue":{"value":{"entity-type":"item","numeric-id":3558330,"id":"Q3558330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2612de8587a7ce0ed2b5ec8a95caa5739ab89c3f","datavalue":{"value":{"amount":"+0.7264348864555359","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":"Q2351144$2AC75C7E-57ED-4997-BFF2-CC779C7E2511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b6de0488af39ef3830498792881213aa4e86d","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0cafdcb2b5c37db646d1b5b6c7f2882cca6682","datavalue":{"value":{"amount":"+0.7083670496940613","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":"Q2351144$4BC20CF0-B485-4048-A71E-052B6CD49E4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for the verification of certifying computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_the_verification_of_certifying_computations"}}}}}