{"entities":{"Q2219410":{"pageid":2230153,"ns":120,"title":"Item:Q2219410","lastrevid":57785763,"modified":"2026-04-02T12:50:53Z","type":"item","id":"Q2219410","labels":{"en":{"language":"en","value":"Tree neural networks in HOL4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298570"}},"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":"Q2219410$7EF67C3C-91DB-4D85-BBD1-E7E49834E76F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bc568295d5acb406295d06ab5448336f4b48fdb","datavalue":{"value":{"text":"Tree neural networks in HOL4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219410$58563CC1-CB68-4C8E-9646-BCFC18DDCB54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6b6f67787e504e05904a2f2c4a4cdc8e12c547d","datavalue":{"value":"1455.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$984E4087-EC6C-45B0-AFF8-2F98E31FB8A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1777775468854a98bf61fbb72a9b2811de9a76ff","datavalue":{"value":"10.1007/978-3-030-53518-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$A3ACB371-4359-4ED5-B5FF-36B845F1BFF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c280ac10e768ccaa378c9121429e161719c83e06","datavalue":{"value":{"entity-type":"item","numeric-id":1640641,"id":"Q1640641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219410$667E828A-43C8-4F40-BE89-6DEFCD98385C","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":"Q2219410$779FB2D3-7A08-4E03-B0B7-8CC015F4350F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dff001fa7ab90457f7f5ce03e478ac59995c2a28","datavalue":{"value":"https://arxiv.org/abs/2009.01827","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219410$56A71612-4A47-4F2A-85AB-79D4370FACF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$081AEF68-F489-477C-8418-27542681C11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$7A08789C-7B2A-450D-B61F-77587F311143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cadc475631ad16518c1ff1303a156638c0f439b2","datavalue":{"value":"7298570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$0D1C8C9B-6895-464A-A947-6FACCD53CCCC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"742d2cb656243f7db933c39696cbb7d1991ef1dd","datavalue":{"value":{"entity-type":"item","numeric-id":32848,"id":"Q32848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219410$42411B3E-20F0-4AF5-8938-B17D4CCD7F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219410$F3F94F3A-08B2-4953-966B-4BFDFBA4A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2dc6a93dee1ff6ab24db04bd93ce0f605963d1a","datavalue":{"value":{"entity-type":"item","numeric-id":17033,"id":"Q17033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219410$7D55BA20-FBE6-45C2-8A74-BE8F5D5C542D","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":"Q2219410$0F56AD63-BE41-471A-B3D3-5AD1E10D6B3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7742d838cd75cfdafaba6dda00602ffb574eda80","datavalue":{"value":"W3042660573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219410$D7849A47-93D6-4692-9199-AF4892CBD90B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9001faec3c74a186774d06142546acd899f3826","datavalue":{"value":{"entity-type":"item","numeric-id":6072502,"id":"Q6072502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbdf46b26cee2fa0a045001f0065d535f1e061f","datavalue":{"value":{"amount":"+0.8622499","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":"Q2219410$D16A0E48-924A-4412-99EB-9EA616B0E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28206b94d44ddc8dd5f6b4a4c02633cf74d7fa47","datavalue":{"value":{"entity-type":"item","numeric-id":2004732,"id":"Q2004732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2ce8925709f1826a08b55c36f9db2edea42a1a","datavalue":{"value":{"amount":"+0.8590037","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":"Q2219410$FE7CAEE8-F0E1-4229-AD67-D8809C55F9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbbf9168afedc9547e2d11d3349b9b76aaff184","datavalue":{"value":{"entity-type":"item","numeric-id":4373731,"id":"Q4373731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c2e78b51ed2dcf94b8c8c096f48c08e26f51f7","datavalue":{"value":{"amount":"+0.84192467","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":"Q2219410$D2EA24B4-99BA-49DD-A429-6E9D869542E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a75b52fc0feca47aca0ac54d277a4a09b953d5","datavalue":{"value":{"entity-type":"item","numeric-id":4827867,"id":"Q4827867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3341287c9a095b7fea46ecd5bf62352b65a0c3d9","datavalue":{"value":{"amount":"+0.8406446","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":"Q2219410$D38B7B31-9BB4-4A66-8A1C-74E710A77085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cabb3299acca9c687115ad69ce21094f92cd2e4","datavalue":{"value":{"entity-type":"item","numeric-id":5398654,"id":"Q5398654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5480cdfa8b45d49dbc6e6684e458442d0e3f3dc","datavalue":{"value":{"amount":"+0.83623636","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":"Q2219410$9B89DE33-9F0D-4E12-A8E5-542CCECCFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8419c810761be81efb804e73eb39634131458f32","datavalue":{"value":{"entity-type":"item","numeric-id":6057947,"id":"Q6057947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae585b72aeb321946138c50d13ee022a507ad20a","datavalue":{"value":{"amount":"+0.8273552","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":"Q2219410$79036942-379A-43A7-8740-D85BC73F7D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10d319a6ea3d48e7534e93059e64c000cbff0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3377341,"id":"Q3377341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed35b330d93179c15700756c6973065734112ea4","datavalue":{"value":{"amount":"+0.8259516","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":"Q2219410$8F27A3F6-3729-4D23-9A5C-1EB400D92BAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219410"}}}}}