{"entities":{"Q5016211":{"pageid":7045788,"ns":120,"title":"Item:Q5016211","lastrevid":91093262,"modified":"2026-06-04T22:14:27Z","type":"item","id":"Q5016211","labels":{"en":{"language":"en","value":"Cubical Agda: a dependently typed programming language with univalence and higher inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443766"}},"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":"Q5016211$D323C0AC-DFFF-4C77-B675-6A4A7B01CFA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63b9446203f95e5fd8a9bf4c86b03f0bb231710a","datavalue":{"value":{"text":"Cubical Agda: A dependently typed programming language with univalence and higher inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5016211$36AA1BD5-AAA4-404B-9077-8BDA02BE01C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27238feb4f74c28fe54d288eca1ca5f4625399e2","datavalue":{"value":"10.1017/S0956796821000034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016211$BB15EE80-7D1B-4151-AA5F-E9D4CCF4540A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9199f6b62b1c2d447cb8fb326815f8911fcd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2319984,"id":"Q2319984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$43948922-9504-4503-9992-F6228918A203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$90ABB64F-0D73-43AA-BEDA-5D502AEBA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$2A8E0455-03C0-4561-A4C0-62B47B0D1300","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":"Q5016211$FF3FA89C-4C33-43DC-86F2-016576CACB0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5016211$F8A170AD-105B-4749-A7F2-66E0C96D2A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016211$1349091E-8A03-4018-A269-F7831D5D104D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b7d24fbdaab5f040ecf620713ab465cb7dff14","datavalue":{"value":"7443766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016211$9EFDF533-E833-4686-A0A1-E71C53D17DED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$28807D18-BDD7-4147-82D9-5844647A2FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99a52005aa724b06d0b4adc32b5c339fca615b02","datavalue":{"value":{"entity-type":"item","numeric-id":39200,"id":"Q39200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$7E646CEE-CFFC-4539-8811-610E2503DC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$5EBFD230-AE71-4EAC-AFD8-4ED862601D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$47A1BC1F-B5ED-4897-957F-F575681D4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$32A128BB-FE64-494A-B097-42BDAB0BBE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e9b09c47e4b49c0108868947f797bbd493cb767","datavalue":{"value":{"entity-type":"item","numeric-id":1350644,"id":"Q1350644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$AAB98CB6-98CE-4040-875E-4570BCBAF48C","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":"Q5016211$DEB5C0E1-F4AA-4A3C-A36E-0E6F99530A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1de2c57e0cb711aaedf939b75ac180671a62a96f","datavalue":{"value":{"entity-type":"item","numeric-id":35364,"id":"Q35364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$DF265C00-74E9-4036-827B-7B3794508A25","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":"Q5016211$6764671A-831A-4DD5-BFF6-8B211333C15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$AA6444E8-25FC-4B04-A4F7-987E91F19999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0473ed6d7fc7ca641b0df021e4eef65b253f7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$ADA81939-9AC7-4580-8EDA-E90125B52FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83f5e7ee8acac3c358822f4b10e229d10de117f","datavalue":{"value":{"entity-type":"item","numeric-id":5145619,"id":"Q5145619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$D67EC21E-249A-42E2-BB70-5375FCEDBAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$AE8AC085-CCC6-4718-B03B-5995ACAA5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9390e95fffae9f95ec8fa4777df99d6b0b56a6a9","datavalue":{"value":{"entity-type":"item","numeric-id":5371976,"id":"Q5371976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$F690F339-5A70-451E-BC03-F2271277697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a716814d7cadc84018efd2d185f2970d5c31d7","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$C7919F67-EA8D-4C2E-904B-7BE83292BF02","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":"Q5016211$99DEB40B-3EB0-4934-9AB0-EFC575F70A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b49d47e4d50e00c2291196f8c1595481aaa71a","datavalue":{"value":{"entity-type":"item","numeric-id":5110925,"id":"Q5110925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$07684121-3136-4282-B834-2A898D9F8865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$01FE338C-31E5-4271-A10C-BD26FB8BFEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$01ED8B4B-12B9-462E-8CCF-BE07A94E9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8731c146bac1aecaa6e55715a01fc9cd2963ab","datavalue":{"value":{"entity-type":"item","numeric-id":740487,"id":"Q740487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$DD4C9A96-9EF1-4F54-A0E4-356AD295F3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$C96545AC-8078-41D0-BE59-CF39DE57C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac80c1a99e03453beb4d81cb61a193708a958d31","datavalue":{"value":{"entity-type":"item","numeric-id":5089011,"id":"Q5089011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$0AF422DD-4A72-4295-915E-8129244DF67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b7dc8e8e6489679d6e5c9494cf6b27b8e1d2f1","datavalue":{"value":{"entity-type":"item","numeric-id":6079241,"id":"Q6079241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$86544C98-0927-453C-8A45-A8BFA8BFA7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$92C69568-6777-41DE-A5FE-7644C5D21E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$697BBF42-08B7-4D2E-8855-E46077BB3041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$E49BA03E-B6E8-483F-93CC-BC8E445029F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$29EAA4A5-1EAD-4DE9-8ED1-A01D1E36C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53458ea6fb8226f45286b66b34cfd0506d1878ea","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$6B18476A-2BD9-4B85-BA13-A5B4B5A29207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$9BDA1557-72D0-4C9A-A63C-723F3C2A1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"421863787c09ded355555bca4a0064cb7527459b","datavalue":{"value":{"entity-type":"item","numeric-id":2888481,"id":"Q2888481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$FECD1D45-4792-483F-AD45-ACA5C8625290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$FC8A0663-D934-4635-B502-B0A9A13B3AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$385E4D79-2378-4D4F-A5F4-84AA867223B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e949be8cd7dd84283709303fbbad7d3b572bd50d","datavalue":{"value":{"entity-type":"item","numeric-id":5278189,"id":"Q5278189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$4555C4D5-5EAF-44DC-98D9-C4915A7B30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65ea38725f717a21282826d464ceb89082cf0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5089034,"id":"Q5089034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$8D0DF370-AEBF-4814-8CBC-39A3246A9412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$7DBFB329-7C7D-4344-916A-B218085902FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$97EFCB6B-30A1-4D89-93E7-854DD4C7495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016211$CF994DDE-7AD3-4A6E-B634-6A739AE633D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e3d42c5581253359a3bf879fd340a3aea2a2332","datavalue":{"value":"https://doi.org/10.1017/s0956796821000034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016211$124CA810-5668-4C9B-9260-EE8C7F0F0B6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"022469ccc052158184f97f5f90ac7f7609ed6452","datavalue":{"value":"W3141612224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016211$01779584-C796-43E3-AE13-C360CB21F7BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a087ce6888e89c27346063181cdf526639e94","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a52b83bbb4e0ab61d5280821c7e91c09c9e307","datavalue":{"value":{"amount":"+0.8112626075744629","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":"Q5016211$46A8E17B-F9D5-40D1-835A-2D7EA54753A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fbe322ed1d699541160816d3f742a23fa208f3","datavalue":{"value":{"amount":"+0.8030569553375244","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":"Q5016211$A3A4DC6D-863A-4A6A-947F-80FA215C1CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8effd829e58950e817a9d3f1148acabc2c7bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5278409,"id":"Q5278409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0ae546a0391d4daecdb745cb6b47f8c466c405","datavalue":{"value":{"amount":"+0.7422645092010498","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":"Q5016211$1EF37DF6-FF5F-40E6-8015-FE2A1C8589A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d629a70418c496226bec93e6d349b6e261a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060c8b21db69b929e42e231ac4b71bd0ad8d8c04","datavalue":{"value":{"amount":"+0.7393067479133606","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":"Q5016211$A80D0C36-1921-4449-B6FE-93D29AF96BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b82f244443386be345532129271c03a84ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ab83318b5d931ca122e10c6be5e0687b308e69","datavalue":{"value":{"amount":"+0.7379297614097595","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":"Q5016211$C6F8D69F-555D-45D8-A4DD-23ECC443EBAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cubical Agda: a dependently typed programming language with univalence and higher inductive types","badges":[]}}}}}