{"entities":{"Q2219377":{"pageid":2230120,"ns":120,"title":"Item:Q2219377","lastrevid":78337046,"modified":"2026-05-06T11:21:09Z","type":"item","id":"Q2219377","labels":{"en":{"language":"en","value":"A promising path towards autoformalization and general artificial intelligence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298553"}},"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":"Q2219377$FEB48C9C-DC86-4293-8E3D-101F43864A31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab971de776e239856b1f4b3602531b9bbfc54eea","datavalue":{"value":{"text":"A promising path towards autoformalization and general artificial intelligence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219377$ADCAB235-8C07-4474-93D1-8B74985E93A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf53aa09521f37fdeefd960eaa198b2648030c34","datavalue":{"value":"1455.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$1445F4C6-765E-433B-9743-FFEEE9B1C273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1519eeca5e215fa80467217c075cf9176a36c17a","datavalue":{"value":"10.1007/978-3-030-53518-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$988F16F2-E39A-4AA0-8A02-5E40AAE9D30C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a15b8489bc23e9978bfec23bf3c3944da2339ce","datavalue":{"value":{"entity-type":"item","numeric-id":732239,"id":"Q732239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219377$3862066D-2B1E-4776-9896-C2E9FDF8B1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219377$B1B71786-23BB-4F4A-ABEA-4FF54EE2BDA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$EA7156C9-466D-44A2-BA6D-06640FA7F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$4FB5C097-6108-4D0E-A264-55A9C0B418B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$13482623-5ACA-4C20-8367-9385997E2C1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b131340e686fa621303a85f7f35b34ad566d9546","datavalue":{"value":"7298553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$734A068E-4E89-4EBC-895B-BAE6BCD7A515","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ee97b75187c1fc74a439e8fdd1c9b05b918bb8","datavalue":{"value":"autoformalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219377$243B2F72-7D27-4664-9501-3F7C53C4A314","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":"Q2219377$5ADDD7DD-86A3-4977-AF99-7D7C0D88E58D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d4e9d0ee78abedfe658618b84a9162af241ac46","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53518-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219377$0B61E953-76A3-43CE-9DCD-33ED33FFE59F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fdd24778c28a1827b256e87454294e2a3b3b3dc","datavalue":{"value":"W3042499904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219377$9E0E165F-4A86-42FD-B6BA-5C4470D3694C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87331d345db557a17dddad7ef6808bb14c4b1a49","datavalue":{"value":{"entity-type":"item","numeric-id":6066037,"id":"Q6066037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8bca37c7c47030c98e8af44458f72fc8935ced","datavalue":{"value":{"amount":"+0.8348841","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":"Q2219377$71240666-7A8D-4A59-9ECE-B25A2E193534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ff2ad334ffc968cdaa2267876515ed59b775ba","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c1b02969b933202243adfff247d5e613638d48","datavalue":{"value":{"amount":"+0.8140868","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":"Q2219377$C5BE672C-0844-409E-B468-524EF05771A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9e2bd0eec3882021b63ea7eaece049b98b46e9","datavalue":{"value":{"entity-type":"item","numeric-id":1070835,"id":"Q1070835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e0954ac6585b72fc88c60baa7ff9b4efd1882d","datavalue":{"value":{"amount":"+0.8111416","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":"Q2219377$8BC9C6B0-449D-4A94-A850-4C3658E73131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b09d678ac7f0bf9c373e6864f5d27657e3b1cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4995004,"id":"Q4995004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3566304007aad4b7a09ae35bdea3b8f110af275a","datavalue":{"value":{"amount":"+0.81068194","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":"Q2219377$0DC0B1BD-E6DC-4B03-93AD-5CC3410420CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef548e518cf62a327e2348f123a58255319e6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1819948,"id":"Q1819948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5650fe80ed7a6678a165cbe18f83c926a8399b4","datavalue":{"value":{"amount":"+0.8077377","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":"Q2219377$829CBABD-88A0-4A92-9C69-B4FDE7662FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1489a3aed5aafbee36f6423e1b641705e2d3e6","datavalue":{"value":{"entity-type":"item","numeric-id":671359,"id":"Q671359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9613074ad2c3bff598f6a96ed6bf02f218c44d77","datavalue":{"value":{"amount":"+0.8073633","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":"Q2219377$786DC233-C8CA-44BD-B11B-38213789BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946159e21745f3badd5af9fc47c8600eb072e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5717441,"id":"Q5717441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca92be72787f3d1d8c643e53319af19d10f699","datavalue":{"value":{"amount":"+0.8068794","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":"Q2219377$CFA63F32-6FA1-4BAB-9715-20BD4AED190C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35640eb5832ce7de10c6a557a119e584e0e82e9f","datavalue":{"value":{"amount":"+0.80679744","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":"Q2219377$56B32E5F-188D-4E02-B5CC-3328AA3BD87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b1ab7b1b42c78cae625b70f0ce08930734716d","datavalue":{"value":{"entity-type":"item","numeric-id":3995129,"id":"Q3995129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d64258ec4c835d0ddbbe5558147a16fa1a9742","datavalue":{"value":{"amount":"+0.8065896","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":"Q2219377$DD981711-7798-494C-81EE-B152769856FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A promising path towards autoformalization and general artificial intelligence","badges":[]}}}}}