{"entities":{"Q1798975":{"pageid":1809717,"ns":120,"title":"Item:Q1798975","lastrevid":73871328,"modified":"2026-04-14T17:34:05Z","type":"item","id":"Q1798975","labels":{"en":{"language":"en","value":"First experiments with neural translation of informal to formal mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957974"}},"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":"Q1798975$4E363050-62BD-4526-B9E0-65198151F542","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c97db64863fd4b74396525bc64097af3cda0a296","datavalue":{"value":{"text":"First experiments with neural translation of informal to formal mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798975$951B7ACD-E40B-4491-8F3D-F9329555CE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97779ac5126b488b5ce4cf6d0d65b854b3cfc326","datavalue":{"value":"1417.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$35CAC1A9-FC2A-4E08-8376-76C06F505B2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f8629986aec222160ebb53e494f0ee147d40745","datavalue":{"value":"10.1007/978-3-319-96812-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$89956199-FCCE-43BB-864D-CD648437FAF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eb95a4808de8c6b31b57e0ff6eae4b441be1c64","datavalue":{"value":{"entity-type":"item","numeric-id":831931,"id":"Q831931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$D4444359-E656-45BC-B640-CC7B562FA55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$1F51C1A4-E1D6-4A24-B494-796C9ABA4570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$1C7A1FD6-22DB-4D3F-B00A-B4C66242C297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798975$7E5005C4-4745-492A-A4A7-AD97F38D3D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1512f82c837dd323337fdc283326df89bcfedd8","datavalue":{"value":"https://arxiv.org/abs/1805.06502","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798975$697375A8-73C4-4CDA-A6E6-1B14A23DD4FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$9C5D2660-E035-4582-B751-0FD1E55E00C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$DFB39FBA-67B7-41EE-BFA3-921A0735CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$E3A353C1-3F9F-41D6-9BB8-811399EC4BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9209629a2eab6b1eb6b42c07a2962b984decd150","datavalue":{"value":"6957974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$3730CD02-0ECB-45EB-B606-E793B97F8026","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$9AF6402C-BD52-40A2-9053-A361FF10EF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$36CA4D65-52E1-42D0-AF45-7844468B185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798975$F986D95F-9370-4721-A833-14C6BF89CB83","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":"Q1798975$6C21E32A-DB92-4693-BB61-93F53BFD293E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dffb530dc5546342d0b5085aa35b7ba6c99ab312","datavalue":{"value":"W2963272542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$2739F292-B2FB-4BB9-98E7-F3BB3B4A74E1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"26c7a293440e224273122974f0b39ad63c8571f8","datavalue":{"value":"Q108482117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798975$CE65A6FC-8F3A-4896-BA14-6CDB704F1FA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c95e967f4768e788396cc3d49f60ba3940693c4","datavalue":{"value":{"entity-type":"item","numeric-id":5495943,"id":"Q5495943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951891f40f397a55fe663df7a962be4839f8a50e","datavalue":{"value":{"amount":"+0.7654091119766235","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":"Q1798975$90569594-7850-43DD-8B19-3DEFDFB094D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7dd5644f99beed0c150bd19e98c0afbc1ac32b8","datavalue":{"value":{"amount":"+0.7121613025665283","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":"Q1798975$890A1D14-905C-4037-A033-7430EFAF6AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a705358459b42fb79281729a58d7d077dc84b08a","datavalue":{"value":{"entity-type":"item","numeric-id":2219416,"id":"Q2219416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6c874859ce9f214a8ae92a201163f1b8a3cade","datavalue":{"value":{"amount":"+0.7069084048271179","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":"Q1798975$DE9F16B8-9B09-4735-A6C1-4313A16ED4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647cdd1df5ee06089ce31833827877fcab63e78c","datavalue":{"value":{"amount":"+0.6787078976631165","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":"Q1798975$44EED694-F34A-4343-8DFC-FEA06BC7EA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6043697ec9c59003c9b7466504bfe632a2ba311a","datavalue":{"value":{"entity-type":"item","numeric-id":1687711,"id":"Q1687711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cefd3936e76c924f989157e52cafb12c0e208d","datavalue":{"value":{"amount":"+0.6785634756088257","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":"Q1798975$7D75F7E6-25FA-4AA0-8FC4-D96685D3E50C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First experiments with neural translation of informal to formal mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_experiments_with_neural_translation_of_informal_to_formal_mathematics"}}}}}