{"entities":{"Q5048996":{"pageid":7078573,"ns":120,"title":"Item:Q5048996","lastrevid":98335760,"modified":"2026-06-05T17:15:32Z","type":"item","id":"Q5048996","labels":{"en":{"language":"en","value":"Deep Generation of Coq Lemma Names Using Elaborated Terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614664"}},"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":"Q5048996$BF6D90E3-956C-43A3-A6E6-0E35C8BAD232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"570764c97bfa2b8b5b6d7a97dd4c68fc386b0c9b","datavalue":{"value":{"text":"Deep Generation of Coq Lemma Names Using Elaborated Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048996$7DCEB705-4676-4B3D-B9BA-B3CADADED786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db687f0e0451b18b5cc6a6c68eb5790ab52e0e7","datavalue":{"value":"10.1007/978-3-030-51054-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048996$7C174A3B-CA85-41FB-BFAE-F8A8C7E0ABD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a030bf0c672bf357edb41090e5256cd9fd05a50f","datavalue":{"value":{"entity-type":"item","numeric-id":5048994,"id":"Q5048994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$ACDDF23B-A663-4192-861F-7DB35FB10A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5ac0ae33ff7fa9924b6f774160286197ebb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4994125,"id":"Q4994125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$B231ABB5-277F-4743-8E3B-EECE60D04531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b66910b1f4f9cdcd00a2d9173795ff21de6cd53f","datavalue":{"value":{"entity-type":"item","numeric-id":5048995,"id":"Q5048995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$B5AB57F1-3A6A-462B-974C-4ACD85A9812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87fbfcb69dbfb495d3ea58acee66aa8c55a5342e","datavalue":{"value":{"entity-type":"item","numeric-id":2298260,"id":"Q2298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$D95169D6-BFFD-472B-B892-529FB38F47BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$8A9F9EA0-26CC-41E2-8C7A-62BE420DCB47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048996$84392D96-9FA4-42D1-B46F-0BD49130D8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d472c8087148c6847b2935659b6eba96522e31","datavalue":{"value":"https://arxiv.org/abs/2004.07761","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048996$4F42EA36-3731-4381-B158-1058770AE960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048996$8C3EC78C-535A-4E8C-AD40-7C30EBB19100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4347aa329df6019fd87bbb72cf1e268284103b","datavalue":{"value":"7614664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048996$2D7CC614-7CE3-4404-AFCA-B6EB9CDE91B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048996$03BD0522-8F3D-4DF2-AE51-CB7DD6E51637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048996$82E6E340-F821-4824-9CF9-A766797B5DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc8dc89803aab82063616ec867eae8f2e51daac","datavalue":{"value":"lemma names","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048996$5A530DF2-3C50-43F5-AF5C-DBE73E7B4670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048996$50227100-ECDD-422B-B031-C6FDE73DEAEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc193c888735a9f4878b53aa89dc8d7224e4bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":38236,"id":"Q38236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$0FBA86B2-61C4-4C2B-BD0B-6F255A5FA057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c12593e90481012955ba06a445653beda0ef2a9d","datavalue":{"value":{"entity-type":"item","numeric-id":51907,"id":"Q51907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$895EA3C6-4CBE-407F-ABEB-849AB47DF1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c7f51f049643ebe126419110f0742c830bf8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":35045,"id":"Q35045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$95178B71-A973-411F-9C3E-B75ADFA9EA90","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":"Q5048996$A0708CA1-E637-4B38-8C6F-70F6ACC7389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"caae4b45b7a7aa100c018e3880944106208b786e","datavalue":{"value":{"entity-type":"item","numeric-id":1334060,"id":"Q1334060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$E2C8BEC6-7B16-4460-9075-E0D633EEBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ecee973cce27aca9d6609100a6fb4d87c282d91","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$166E2EAB-A76A-4B18-8DD7-51BE30BC773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30bf75efb36ce548a631ba3177096a709329cc05","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$169B705C-EE22-434A-8799-00515E63776F","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":"Q5048996$6EE0BBC1-A3DB-497A-9DA1-0A86D2A82E23","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":"Q5048996$BE1A4DFC-C00C-44D9-BA3F-48D438E9CC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$845B6648-CCA5-400F-A57F-53BC59B8A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12baf076dbae612f60fb00caba7d2f769ba680f1","datavalue":{"value":{"entity-type":"item","numeric-id":53515,"id":"Q53515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$7DF32DC0-D731-4BB4-86EC-40B1B511F0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723501325a83c597975238fada166e87a140940f","datavalue":{"value":{"entity-type":"item","numeric-id":27040,"id":"Q27040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$071C28A1-3C14-48DD-BC43-BA0623B3331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$3B152983-4503-4DDD-8F16-FAA5C509119C","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":"Q5048996$38538AFB-5349-40AB-BD03-1D83D75E8274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1841e3a652f434312e4369a33269641e60d80bd5","datavalue":{"value":"W3046547863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048996$86420319-6C5F-47FB-A139-6FCFDA5E9686","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c74711eacf096585ccccb1980eb895b28e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2945620,"id":"Q2945620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$A098C185-7826-4567-8E9F-8AC5E5C371AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc190857161b83330c14ed92ced5888e4ccf55dd","datavalue":{"value":{"entity-type":"item","numeric-id":2829279,"id":"Q2829279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$34FDDE02-F0DF-4CA1-B47F-683F7B879CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$A6F42A01-87C5-4D33-83EF-B8C5F4C82868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3b0ff24df3d779a2373d345e4557c5d3496988","datavalue":{"value":{"entity-type":"item","numeric-id":2879245,"id":"Q2879245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$592FCE2F-F3E0-4458-825C-1F769A21EB8C","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":"Q5048996$D1599630-E383-46A6-90B9-F0F769AD7336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$550247B9-382F-4BC7-9217-3B52FA8C4F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$61E220DF-A07A-44D2-A414-AD07007967B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c0b8a0f8557abe5c45e1641d2ef385feb6d7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1663246,"id":"Q1663246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$83A8EE4F-1554-47A1-8A90-ADEEE2C87586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$D44620FE-AF65-4CDD-A5FB-E1DDFEC25A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$6DDDF52B-4BF7-40E9-AD55-6C2CB76DA088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59378303f23190f7cd6dbd55effb31c072323c5","datavalue":{"value":{"entity-type":"item","numeric-id":2843038,"id":"Q2843038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$8BA2E50C-45FD-499E-99E1-0C857FD2758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6072a2f9daadee48cb9bafeb2cca60d5dd661308","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$4DE663B9-8647-4903-A1B1-8309F32C341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$B9B2DCC3-D196-44C1-BDB2-EA864F9C44AA","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":"Q5048996$74CDF0CC-48D9-4BA6-926A-D8EEFA9623FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23abe57081fa3e8a7b0f52c73f87c8e7faf3ce62","datavalue":{"value":{"entity-type":"item","numeric-id":2287907,"id":"Q2287907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$C4EC0556-D721-4F93-B779-B310E042284A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57add18399ac92bebfa90b4e20d6bad37a3b8f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2819795,"id":"Q2819795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048996$9E216054-EFAB-4802-90D3-E3C25C669DFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df48aff8ed0802176336a8bac0e3a1fe32c7030d","datavalue":{"value":{"entity-type":"item","numeric-id":5051990,"id":"Q5051990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8891d0bacbc1eb5b0547c0d1e44e0272cf1506d","datavalue":{"value":{"amount":"+0.8199376","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":"Q5048996$6239C6A5-8583-4CCD-B78F-0C47D251ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b29c499323d35dfcc5c765968119e36c36f5c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5096388,"id":"Q5096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef08f83d3629bb517ea4aa1f29c17ed4a7158583","datavalue":{"value":{"amount":"+0.81673294","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":"Q5048996$242ECFD7-1A8B-44B9-93FE-77774448226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d72b2a5a9fb1810d850b52fcfccb7bfaba9d8b","datavalue":{"value":{"entity-type":"item","numeric-id":2964472,"id":"Q2964472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d26480549d928bc213521a0b3de0956931a0508","datavalue":{"value":{"amount":"+0.8071526","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":"Q5048996$5BF2D4FB-4F32-4A82-B7CC-E9A8E636CE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb27ab82d86d579fbe962c877c8c6b995aaa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b14ad3fe1334d360de6e5cedeca98daf1bebc2","datavalue":{"value":{"amount":"+0.80640805","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":"Q5048996$EACD3503-C4D5-45B2-9022-C7A9B3EB67C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac105ce3172a3ea2919fdfcd7f106a4b9e2e84","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075a71d1d4a3186ffdb7085fa20db0756417c50b","datavalue":{"value":{"amount":"+0.80581766","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":"Q5048996$7A3F568B-C951-4D78-B19B-EFC94BDADF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fceb22d85b600074d968477828dfcd2669acbde","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126a46c3a2b9df42f8e462965357ef06e7f29ee4","datavalue":{"value":{"amount":"+0.80408156","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":"Q5048996$CCB3947C-D989-4123-BD74-30C89B06B75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c865d5b90acc59ad549936fdf95330982270cb4","datavalue":{"value":{"amount":"+0.8021589","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":"Q5048996$82EF3B62-52C2-4087-8F27-798E68E1DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e455d4ca94c6ccec51ac2375f704f1f242475f","datavalue":{"value":{"entity-type":"item","numeric-id":2258817,"id":"Q2258817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2803e85d95efd219798650ee6d6282dca8736580","datavalue":{"value":{"amount":"+0.8016967","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":"Q5048996$356E355C-83B3-442E-B484-036D192786CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e937a88ef960b487417e66dc27f226fec10c47b","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae665f52747088a62fbd0b34d57a55dc1a9128c","datavalue":{"value":{"amount":"+0.80134267","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":"Q5048996$789E193B-C74C-463A-8B56-F999BEF4277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a755e8e13600ecbb1c45890fd328a1def4c92c5","datavalue":{"value":{"entity-type":"item","numeric-id":3400638,"id":"Q3400638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684db088bb2dceb5b696462847761b267ee0d46c","datavalue":{"value":{"amount":"+0.8008822","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":"Q5048996$554A4876-BB43-4BE5-A448-849FA7BD8B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep Generation of Coq Lemma Names Using Elaborated Terms","badges":[]}}}}}