{"entities":{"Q5019022":{"pageid":7048599,"ns":120,"title":"Item:Q5019022","lastrevid":98292722,"modified":"2026-06-05T17:09:11Z","type":"item","id":"Q5019022","labels":{"en":{"language":"en","value":"Cogent: uniqueness types and certifying compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450856"}},"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":"Q5019022$89C7D43F-59DE-40FB-952D-6326ADD2B486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9799728867d76e305a2f2b6d2fe56f6cf942d29a","datavalue":{"value":{"text":"Cogent: uniqueness types and certifying compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019022$047C2CBD-48AE-496F-81F2-B344FD6086EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c0c705eb048959dc894970b57cc0aabc5c9bc28","datavalue":{"value":"10.1017/S095679682100023X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019022$31AE87C0-A2FE-4C79-AC12-3C7FA3134E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd6094f21c1e1d5be129c3232983e75a4ab79dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2829267,"id":"Q2829267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$05319999-9A01-4105-9403-1B607FF50C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf5bf73d892ad168b08770f308e46cff0968e0c9","datavalue":{"value":{"entity-type":"item","numeric-id":2115978,"id":"Q2115978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$574FAB16-75CD-4577-A0E2-A0310C06530F","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":"Q5019022$24BB67B1-0E22-4D5F-BAD3-46BAD41C9790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45b517008924496e413897d199e4c67fd01971dc","datavalue":{"value":{"entity-type":"item","numeric-id":5019021,"id":"Q5019021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$92ECD6EF-1CFA-432B-ABF8-07B3F61755EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1471d40486df588cbec70c79883b59fb64e3a7","datavalue":{"value":{"entity-type":"item","numeric-id":2982004,"id":"Q2982004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$7AB5E3F9-179A-4A5A-9968-22138FEEDEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$30747167-C615-40A8-B259-ED9C194185FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6c2a5937a40e685c427c9b959ad4c359ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":287363,"id":"Q287363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$45CACDB7-E426-4ACC-B07A-A551EF15863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d312af30877232f30bb9c23fdc31fcdcb768e4","datavalue":{"value":{"entity-type":"item","numeric-id":2631536,"id":"Q2631536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$09B76895-A9C8-4A44-99DF-2B440724B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11826fe8b3f5997f99246ef3200f2753c8a6d89b","datavalue":{"value":{"entity-type":"item","numeric-id":2163160,"id":"Q2163160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$345AD19D-A8E0-4124-A39A-B38C71A74804","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$EA78CC28-C0FF-4257-B8A1-19EE09D2F158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019022$C8FE66BC-4A09-4A57-84E2-219414FC83C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019022$09314662-B060-4B12-AAC6-7A63FDDFF651","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2aed84be77ec7ee4c8c12b0a10c772c5c6e8a175","datavalue":{"value":"7450856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019022$3CE265EE-F68C-40B8-ADFE-B4D01A446FA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13f67486c0c58686d48c68220b3db374c3676e3d","datavalue":{"value":{"entity-type":"item","numeric-id":30361,"id":"Q30361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$9E3614AB-BC2E-4FDD-8BC2-E5AD67E1E65C","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":"Q5019022$429B6393-CB0F-4987-9D6D-C4F297D0288A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0eae107ea1a4b558f4d87379a7cb85de7f5f09","datavalue":{"value":{"entity-type":"item","numeric-id":2351144,"id":"Q2351144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$70A9BA0D-1094-42A7-B0AC-2135306BBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a574cab1020084fdb769d8615fa38a18cf329a5","datavalue":{"value":{"entity-type":"item","numeric-id":835780,"id":"Q835780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$EB4F8FDE-C1FE-4C02-AE4B-130FF704B50B","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":"Q5019022$BEF62503-8BF6-4125-ACD9-78EBEB25AFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$66BF6F7B-D44D-43A3-80EF-8E189B5B8CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c78b1bd1fc510c5bbb7ca332bdb23d3f9de35","datavalue":{"value":{"entity-type":"item","numeric-id":5018778,"id":"Q5018778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$975228B4-613E-4B18-AF6F-2C91C0A8B4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$83236386-9429-4B13-BCAC-C4D5AF52FB86","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":"Q5019022$A2F0A9C2-84C4-4167-9422-6824D2380503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$EB27A830-9388-4AD0-8829-824E858258F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$3727CEF5-52E2-4E0E-AF47-FCDB1785217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33aaafa124ee27456e16e4952fcd8d06ec34d02","datavalue":{"value":{"entity-type":"item","numeric-id":2324196,"id":"Q2324196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$1507B4AC-E638-47C2-B647-A3C422CECD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$50577E2B-E420-461B-B4CF-D1728CE8A542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d0938de3a4e5deedd656318088e2d5da1ed0cb","datavalue":{"value":{"entity-type":"item","numeric-id":3612953,"id":"Q3612953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$C98D528D-C932-4ECE-B24B-54C196844CA0","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":"Q5019022$8D387991-77B0-4520-B496-38EDAFDC08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945a40e88f8babd0f050172f7775c6fe3494c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":5308699,"id":"Q5308699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$F107DC6F-C682-40FD-B993-B1197960C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$9C6856B5-2A1E-4590-B9F9-8E90ED68579D","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":"Q5019022$7A09677F-B333-4578-80DE-96429619C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$1BC0AFB0-BB0F-4CD7-BBC0-35C99621F7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f38c80724dd5a232c6be24fe3f22d3c6ef9738","datavalue":{"value":{"entity-type":"item","numeric-id":2994491,"id":"Q2994491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$C0A6581F-0409-47F9-96FF-AA77EC7DE679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa66d24fd4ae36ff9c8289943d7b63b134269a8","datavalue":{"value":{"entity-type":"item","numeric-id":4518880,"id":"Q4518880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$A62AE8E6-5F12-4C6C-9EEE-282ED439ACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$7F1D9F7C-E137-4F21-9446-8676E723474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$01B07085-F397-42A6-97A0-F6415D4C8B86","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":"Q5019022$FFB5A40D-FD81-4C03-8F7A-0C6F6D6CAAA4","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":"Q5019022$3D7A2E90-D066-468E-B8D4-BBB7775E1351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8d26da867e0c36f196c0cb75c3d3c7bb2c96b4","datavalue":{"value":{"entity-type":"item","numeric-id":5176947,"id":"Q5176947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$CDCCEF82-1B1D-4E67-B7B2-FFE58CF2A7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398d44412f4db1adf75a492fb0d957243a508bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3314973,"id":"Q3314973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$F489CBEF-9559-42FC-A6D7-62C59F7ED5D6","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":"Q5019022$9600E570-1AD8-45CC-91BB-D7B9E754D3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6d1f02d1dff7e0706b804b37a3cfa574fb6579","datavalue":{"value":{"entity-type":"item","numeric-id":2982005,"id":"Q2982005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$F689A318-C0B3-42E6-9EAC-AD8710394115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$74C968A7-701A-4EDE-8174-CABE2487E4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$9FFD70F1-A4AF-44E1-8D6F-66AD85BBB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$B3BB36F7-9EC7-4387-B625-8EDFB8827B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabf83ea4c060f5e14b4a8648daf2ad197ce4208","datavalue":{"value":{"entity-type":"item","numeric-id":2829268,"id":"Q2829268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$44AE0C7F-3FAE-43F0-B696-1E824AA663D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$BCD865FC-BCF2-4DC8-93FA-24A116435851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d55a511373a8918e32f223a2ec23132d65d1f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2452328,"id":"Q2452328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$FBA01356-C856-4D11-8CC8-E96E9FAFC44B","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":"Q5019022$2ACBC863-14E0-42A1-B55D-73B2CE78037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe8e445f2f6db1acc9db9699eb6539c8ba5f35e","datavalue":{"value":{"entity-type":"item","numeric-id":5875439,"id":"Q5875439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$9863B393-E6A6-4885-B952-657E2B934939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$C82982BE-D1AF-409C-8EFC-210DEAAED341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019022$E8B466F2-747C-4232-8066-E42443EF5DC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9669ecd73a39e3cd6edd8a7539cdbfdc88c6c2e","datavalue":{"value":"https://doi.org/10.1017/s095679682100023x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019022$D9C20483-2791-4FD7-8F01-C5AE313E7700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"209e4dfd1b3b890fb7bd790499456d615df708a1","datavalue":{"value":"W3210291382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019022$ABCCBAEA-A01A-47DE-AED1-224A9055BCAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b915282581e36755a7886b56f9dd0ef41fb437","datavalue":{"value":{"entity-type":"item","numeric-id":2982005,"id":"Q2982005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c6b78fc1ff3fa7a04251434a3d26fb9bc4aceb","datavalue":{"value":{"amount":"+0.8059828281402588","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":"Q5019022$EB9E352E-883F-49DD-BC5F-9C9B08EDEA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c27db4e491ec20525e5271e9d76278f61f79d3","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa7d3795b980b91f9d163324eb1125bf8de4632","datavalue":{"value":{"amount":"+0.7452704310417175","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":"Q5019022$6011DD59-A0D0-4FE0-AB58-A61C6E02626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2825bfa32d5f46b7e1e58bc1d8b777bb73382ab","datavalue":{"value":{"entity-type":"item","numeric-id":4428314,"id":"Q4428314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c59b2b11938d3091610e7e786e80f2e131957d","datavalue":{"value":{"amount":"+0.7326117753982544","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":"Q5019022$1A14FD5C-02E7-465D-A3C1-187C5281C5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6b9a86020d10f1e6f83af2b47c77ed39c249b7","datavalue":{"value":{"amount":"+0.7306638956069946","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":"Q5019022$7DFC607B-73F8-4F88-9EA5-4B9BC91BAB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ddedec4dbaad0dc206f5f821e6238ebfaa746","datavalue":{"value":{"entity-type":"item","numeric-id":2829268,"id":"Q2829268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06221a5130627814ac15ba7502cbb5e8b7c9dbec","datavalue":{"value":{"amount":"+0.7278873920440674","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":"Q5019022$45A9843C-DE76-4939-B883-D49834C8B407","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":"Q5019022$2F2842EC-B3D1-43DE-8243-2D6F95D68298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cogent: uniqueness types and certifying compilation","badges":[]}}}}}