{"entities":{"Q2870150":{"pageid":2880870,"ns":120,"title":"Item:Q2870150","lastrevid":58046775,"modified":"2026-04-03T14:27:37Z","type":"item","id":"Q2870150","labels":{"en":{"language":"en","value":"Lemma Mining over HOL Light"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247456"}},"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":"Q2870150$259F8231-148D-4052-8979-D5DA77EE9F6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8a62c073f7c96b500e24f62d9667c8b4f76cfb9","datavalue":{"value":{"text":"Lemma Mining over HOL Light","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870150$F7505ABE-575B-4922-9E43-24FAEE710392","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ddf2c29cc4fb9ed01c5c4aa909f1dc356c9f50","datavalue":{"value":"1407.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$CB26F910-7DBE-48FA-9497-16A57DB423BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc236f5de0405959bf55752099c1dc4959d36fd2","datavalue":{"value":"10.1007/978-3-642-45221-5_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$4FF5780D-A50E-481A-AB05-42BD77E92483","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":"Q2870150$9F4F2E5B-9FCD-4E8F-BCFE-DF4661398694","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":"Q2870150$BF5947F2-F6EC-4A50-A33B-C320818ACD89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$91C051F3-01D0-49F1-9600-0117069844E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870150$6E5F8749-38C9-4433-9CCA-71FE1DE216F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"564dcfeb91bda76e4440019351a6378bb9a2e7c4","datavalue":{"value":"https://arxiv.org/abs/1310.2797","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870150$DFEA0DF6-B570-4D8A-9F20-2EFBBF4A115D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$9799E43C-A6F7-4BA7-A29A-525EA8E4ADE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52579c5b5eec0536249deaaed3f2a77bc3a4c275","datavalue":{"value":"6247456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$58C76846-9F86-4CC4-8C5B-4B5996C6C4A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cba36b3274cb5961704cc3fdd4b40a54111a2b0","datavalue":{"value":"Q108482177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$FAC06805-740D-43DA-8698-260AABB0E3E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$D63CD69C-D87D-4C14-8557-6B42791FE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$083482E6-3E6A-4959-88D1-3CBF612012C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$B39C675E-3D9C-4D9C-BFD9-28550FEAF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$3B41F5E1-342C-4FC7-BC60-B94D612E6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30c23680895c6c05b43b4be92074136c496750ec","datavalue":{"value":{"entity-type":"item","numeric-id":28682,"id":"Q28682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$6DE4CDDF-5D8D-4CD9-802C-A301DBDCEB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$DB6FA8B1-E5B4-457C-BF19-5F4060915B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$65675FCC-1EDC-4D85-8721-98BE3ABC8C51","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":"Q2870150$E9DAA5C5-CEA4-4C3F-A007-15A01E8A3B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4725be8fa705861afbab12b59e447099c9ebb4e","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$6EEDDCDF-D493-4DE5-8E50-D3DE32F28166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$C3D97C59-9A1E-4167-A3B9-68BD256D3188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$6D028E06-1DC8-43D7-B70C-6D97C11E6AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870150$7CB1AB7C-337A-4165-B073-93DFFE938FCE","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":"Q2870150$E35C50EB-126D-457A-B316-B07C6FE307C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a24f94e2b5154361a0ff174274b35bd0e62ff4f3","datavalue":{"value":"W1556128154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870150$E12622B6-D64F-455A-B634-423AA9446255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad617f4867ba25c0dbef4c11fe4a2485819f46b8","datavalue":{"value":{"entity-type":"item","numeric-id":5869574,"id":"Q5869574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fda3c4de256cf1ba97333c31ee27130676f557c","datavalue":{"value":{"amount":"+0.8571255","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":"Q2870150$16638B69-9696-4099-83BE-A3DDA32A04CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544d3ba92bb4a6d43ae5a936bf62ec439806db3","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35d433ec7ba1d802bdab557074b51291927221a","datavalue":{"value":{"amount":"+0.8220146","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":"Q2870150$45416497-4151-4D0E-B16B-F7D19925C32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6828a02bb1974cc42923cc5d4b695ac187d5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6b833d40cc3070afe9f897c4851d44e8d6c559","datavalue":{"value":{"amount":"+0.8089604","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":"Q2870150$5DDFF730-4B40-4721-A66C-28ED4A41492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094dbf6a6bdfb9a5ca3fbf6fefeab2645abd5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3184220,"id":"Q3184220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de65659c9de4bb76f9e7162b5d038d9a1a9c40da","datavalue":{"value":{"amount":"+0.808637","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":"Q2870150$86D8D857-A851-4234-844F-0C392DE0BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a788f3f6912f40d95632b09f81ca606facab756a","datavalue":{"value":{"entity-type":"item","numeric-id":860361,"id":"Q860361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b3fba6b9ff35fce4fc912169f487ac805469bd","datavalue":{"value":{"amount":"+0.8009133","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":"Q2870150$62CF04FB-89E2-439A-AA05-D70E4BC521C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaa33f59d7da2d63f62f7085605bb6ffbbf5115","datavalue":{"value":{"entity-type":"item","numeric-id":3088006,"id":"Q3088006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01a61b61336e46e194ab54b3262dc13b8467075","datavalue":{"value":{"amount":"+0.7997098","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":"Q2870150$1AAD8D69-4C4E-41EE-9B2C-CFCFDA1F1B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba53c5f47127d65b884fd86f110409e013b52de4","datavalue":{"value":{"entity-type":"item","numeric-id":5195274,"id":"Q5195274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ce1d4ea3c2dd304cd35b7580f2d3fea15a0889","datavalue":{"value":{"amount":"+0.7961143","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":"Q2870150$F8157587-2B23-4729-BCB2-B2BF17D1BDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c586d5be28e518c9d0d501bdf1601f2ae78d2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1855208,"id":"Q1855208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc5c1a276c4216da4c99314c55ba23991cfaf18","datavalue":{"value":{"amount":"+0.7947155","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":"Q2870150$951BA826-837C-47AD-A7B8-A941ECDD904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9340227e03cb52d0a7ec16f7ac5a22cc95744b","datavalue":{"value":{"entity-type":"item","numeric-id":5327372,"id":"Q5327372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7775e68dd7f8fad59e10f6be894d782f9eaa6c","datavalue":{"value":{"amount":"+0.7919141","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":"Q2870150$B03FFA0A-8951-4654-A562-7683BBB5D5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cc07b681385ffb864e3e24cf69f53f7eb1978e","datavalue":{"value":{"entity-type":"item","numeric-id":4933332,"id":"Q4933332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d31278b13331065de5435dde037a8d53c3333c","datavalue":{"value":{"amount":"+0.7908662","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":"Q2870150$2FFE2A7C-2BF6-464D-8D4D-D0FEC1505F63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870150"}}}}}