{"entities":{"Q5495943":{"pageid":7525503,"ns":120,"title":"Item:Q5495943","lastrevid":58584399,"modified":"2026-04-05T21:10:18Z","type":"item","id":"Q5495943","labels":{"en":{"language":"en","value":"Developing corpus-based translation methods between informal and formal mathematics: project description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327281"}},"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":"Q5495943$A0A0DEC4-8B36-4104-A122-AF6F50B7CCE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"556202f896bf2426d5f4617865b0b74f72611d8a","datavalue":{"value":{"text":"Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495943$DF7C12B7-58EB-4750-8FDC-D86B1346375A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ea1db293b19e4669dc4435d7cc864480afd83c8","datavalue":{"value":"1304.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$502285AE-3DA0-4D38-9724-6C8D122748D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85ecb2ebc4d00073c7bbacf5034392ddca0af55","datavalue":{"value":"10.1007/978-3-319-08434-3_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$E6B5F062-3FB2-465C-A0F8-A72DFF4ADC39","rank":"normal"}],"P16":[{"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":"Q5495943$69292A8A-323B-4990-8B65-59FD3601F906","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":"Q5495943$2258481A-BDBC-45FA-8694-B76CDBD49365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9eb10efb36d91b4a71eba9375e0f24add1b3f2","datavalue":{"value":{"entity-type":"item","numeric-id":1687710,"id":"Q1687710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$60EEE8BB-4A11-4765-B2C6-E9B3D62E7746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$E33035AE-3589-4E51-9493-92059D13ED16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$A9741664-7EF0-4AD5-AED6-ECE1EC9AB555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495943$69EF3A9E-A4DC-4B54-BFFC-A57FFB5170CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9f8a848b57a4c4f2ee8e724d65c4bca3a6dffc0","datavalue":{"value":"https://arxiv.org/abs/1405.3451","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495943$9AF54B81-F728-45D4-A93F-4E58D60F0D83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$8674BAFC-631D-4F81-8FEE-013C440059AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$5FBFD47C-2367-447E-98B5-16F8EACE12FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$9A35965A-A476-4EF6-BA83-EA77872D3798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd3d1407c720d8196bdd5fc4af0ff83468cff5ec","datavalue":{"value":"6327281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$D4B7E50F-DA44-4C61-A22C-42A8EBE19BCA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e245c125a72d9850cc05170cfaeb00c5bc04847a","datavalue":{"value":"Q108482165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$F33842EE-6540-48A9-A22A-06D474D8F462","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$0B28A68D-A358-4C5F-8A7F-7649C0F19AF3","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":"Q5495943$DB4543B1-9380-42FF-A490-4C13279EC74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$8928DD48-7044-42F8-AD51-16675DF5DA69","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":"Q5495943$6E25678D-343C-48D6-A159-6B5F49C6A949","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de99d5e669607e75b8e07dc67fbf7a6728bc3cc4","datavalue":{"value":"W1509866286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495943$36ABFF9B-FD53-4E10-A10D-9400DF0B9046","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$6F1D7D2F-AC26-4DD3-97F7-E622626A1EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$3EC1478C-E53A-4905-865B-876B8992836A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$2FEADC25-6351-42DD-AEFB-9B37F8C7EAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58a95fd58a090c4b255bc81edb808d7e4b3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$B760C211-D48E-42E7-87A2-97F9B7EB237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495943$19A9C893-8F68-4BEA-B106-601AA72CB6EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a19f9900adabbd234bfb29b7495c80e0f59b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1798975,"id":"Q1798975"},"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":"Q5495943$A3B769CA-A2B3-4E26-BB07-CDCC0BF0B43F","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":"5d98e11d9c6278763316b9c1eecb90ec769583b7","datavalue":{"value":{"amount":"+0.7234646081924438","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":"Q5495943$51FA05B2-862A-4A3D-9919-042854F4B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42b1e5bc7852ea633c1df6bd18cf8b5a3a49240","datavalue":{"value":{"entity-type":"item","numeric-id":5200132,"id":"Q5200132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c8f5aaad76038126ecc01b3acf01560da36c3e","datavalue":{"value":{"amount":"+0.7028002142906189","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":"Q5495943$74DD9BFD-445E-40EB-95FB-834D95B1E3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efc59129756ba3c3c3e14e79092bfabca6450f3","datavalue":{"value":{"entity-type":"item","numeric-id":2945635,"id":"Q2945635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750f2fa292d51b1f902cc7ea7f269bd7de10a4f2","datavalue":{"value":{"amount":"+0.7013580203056335","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":"Q5495943$BF4C7B4C-A0A8-40E6-80F6-36AB0F8D25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54beaf1bed1a3eb297952b34feb5b59dfa0ff3d6","datavalue":{"value":{"entity-type":"item","numeric-id":2866734,"id":"Q2866734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7852fa05ac7acc592e1106f1d6d5cffde72ccebc","datavalue":{"value":{"amount":"+0.6923632025718689","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":"Q5495943$21772F87-AECE-471E-9072-129E65C1E2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495943"}}}}}