{"entities":{"Q1827320":{"pageid":1838062,"ns":120,"title":"Item:Q1827320","lastrevid":48308365,"modified":"2026-01-04T07:57:26Z","type":"item","id":"Q1827320","labels":{"en":{"language":"en","value":"Appropriate lemmae discovery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083356"}},"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":"Q1827320$718EAD03-A174-4086-8255-1CA49A1FE13D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d091620152bd3aa66a8cff7f380c09647b1b6714","datavalue":{"value":{"text":"Appropriate lemmae discovery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827320$A06CE2F9-5E3C-4B47-87AF-D2B681B6885D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77f907e7ead3e035d9bfb6b1e7185db4372e5cf6","datavalue":{"value":"1049.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$3972B689-5956-43C1-A9EE-4149E43EDAA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6af95853f55dd41c945305ebab3c1726e4bb53","datavalue":{"value":{"entity-type":"item","numeric-id":1827318,"id":"Q1827318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$57584ECA-8594-4572-BDB2-783DE08546B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d3a7de4373c1c701df241be51a17edb22381dc","datavalue":{"value":{"entity-type":"item","numeric-id":444372,"id":"Q444372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$D9446F15-33F1-4260-8DBA-79A09AD9A675","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$E2A9B466-C097-4847-A4F5-45859ED54095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827320$964E9FC5-C569-4C4D-8672-929AF440B16C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$764266F4-FD5A-4E28-8949-0FDA280FCA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$4365813F-51AE-4ABD-9EA8-EF7186292D92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02924b29e97e8b2991d2a1bcb60289e6e951ce65","datavalue":{"value":"2083356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$7E354E7A-8779-429F-8C22-CF46589D6D38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827320$71910F9F-BCD8-453C-A66E-DEF7D3C3583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e747e1af98f304063e029bca9b98c8de7b5d3b79","datavalue":{"value":"Implicative formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827320$0307D399-9641-40DB-BFC2-DB16838D7328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e370b9a980d8ae6028b181daad12760bb7bc37","datavalue":{"value":"Mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827320$0CC5EF07-B88F-43EB-9632-7F528A9E0055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dedc4fe2a3f3574fe4b558332cf9c95351f817","datavalue":{"value":"Lemmae discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827320$18252B42-0EC8-415C-9A22-053017EA682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9bc06b0dfbec86650a2b13b83ea31e9af3982c","datavalue":{"value":"Program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827320$25FAA194-7992-4139-BFCA-24BC4A7CC6DE","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":"Q1827320$B3191B39-7997-4E0D-BF29-782A10FEE2BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cecc2d79dccda19d964d40f75505879b2981d67","datavalue":{"value":"https://doi.org/10.1016/j.ins.2003.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827320$7CF34A8D-0CE3-4457-8F10-278BF1CFC000","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c10fb5a154ff7ef860a6f67eb993aa986f0474d","datavalue":{"value":"W2075452789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$6B9C8062-6C56-4599-8CBA-44DFD78E7183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$9252D5C4-F35D-450F-B084-A142E5AECF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$A45E4E56-D273-4736-9378-E9C7964FEADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c7366d3e0a05348da771f065bba9932f8ccf78","datavalue":{"value":{"entity-type":"item","numeric-id":4264732,"id":"Q4264732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$FD2485A2-2ADB-4DC9-83E7-ACF038621DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f551ed723ef346779f6821681423014d91c1ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4647546,"id":"Q4647546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$2049C7DA-D94C-4BF0-B212-10666E8C585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$AAB28B2D-131C-413A-8E02-0834FC7CEB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$FDD39DE7-20DF-4719-904D-F064969DC380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98073c2eb1ab9c03b8c0853ec86e8c19820f9687","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$F811D6E6-51FE-4B3B-864E-6E1E6FA3462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2630274fd0aa6c09d6e94a54ba583d422653bc75","datavalue":{"value":{"entity-type":"item","numeric-id":4386948,"id":"Q4386948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827320$1A39DFA8-B719-43A4-AE5D-15E1BD27B481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91618e8648704ffb7ee6662f381096c3789603f3","datavalue":{"value":"10.1016/J.INS.2003.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827320$3451D95B-F3D0-4201-8A74-2B7C626EF4E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfa61574fc575acc4cb7d0ca05a72ef1b08a526","datavalue":{"value":{"entity-type":"item","numeric-id":2287904,"id":"Q2287904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04365aa06b154b32e88d05ace5ca297f4a123c23","datavalue":{"value":{"amount":"+0.8659846782684326","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":"Q1827320$0B7D3FC6-8407-46B2-AD91-2F630A2616E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17802d305d3db83bd7136472648ed8b3852e01c0","datavalue":{"value":{"entity-type":"item","numeric-id":4647546,"id":"Q4647546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f552716dd7855523e29ba666b290f9b9ba8b9f2","datavalue":{"value":{"amount":"+0.8593816757202148","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":"Q1827320$6B3434DA-4FFC-48CB-BE96-3A99E820D47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7d735419626eb1f77676addd2c45daf5ec44a7","datavalue":{"value":{"entity-type":"item","numeric-id":5896944,"id":"Q5896944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115a367ea98b102e82f70d2a0e0d5284ede1e614","datavalue":{"value":{"amount":"+0.7928733229637146","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":"Q1827320$A265777F-4BCB-47B0-AF48-59784680A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847b89ad08c18d0ccc39cec23e01ec888481e082","datavalue":{"value":{"amount":"+0.7913337349891663","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":"Q1827320$06DE9563-ACC4-4289-AA7A-7053A0B64E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de359b851eeacfb2ffe37ac71959c72d8c7a2b35","datavalue":{"value":{"entity-type":"item","numeric-id":3165943,"id":"Q3165943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadb6b08071a832690827fc0645cc3b617fdfe80","datavalue":{"value":{"amount":"+0.7784178256988525","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":"Q1827320$18770148-440F-4080-997C-47B069A5B436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1827320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1827320"}}}}}