{"entities":{"Q1945902":{"pageid":1956644,"ns":120,"title":"Item:Q1945902","lastrevid":57510531,"modified":"2026-03-31T05:28:35Z","type":"item","id":"Q1945902","labels":{"en":{"language":"en","value":"Methods of lemma extraction in natural deduction proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154927"}},"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":"Q1945902$D230C414-7FF4-400D-90AB-8B0FF33F5379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b3942745d7492cb1f852771004a675284fec91b","datavalue":{"value":{"text":"Methods of lemma extraction in natural deduction proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945902$FEEA3FFF-1DF6-4086-BB8B-3865E19422A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66053f668f98fdf207528fbdebc8c5dc15705581","datavalue":{"value":"1260.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$0BE18FC7-4B6C-4C01-8B8D-F162B1D42F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$49BAD885-2339-43F1-AFC6-231F2603A1E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-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":"Q1945902$CDDFA65F-6A9F-4484-BA98-DE6ED962F0D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$35CEDAC7-8167-4EFD-984C-D657262B1E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$7B315F4D-4012-4656-B350-CF27E737E792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a235fa9d126742d39a56b683990ecede0b21f540","datavalue":{"value":"6154927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$236A95A2-4075-4233-969F-47C39973AF65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e06ec57916ecce06255afd6115414067cde537d","datavalue":{"value":"lemma extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945902$04889C67-F094-4205-AFA9-879EA13D9FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945902$22375E32-4748-47C6-B870-14F14B9873C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c65a0055332c1201155c261f8526cf641db494","datavalue":{"value":"legibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945902$19A889D4-0F58-4789-AE7A-C8FDE76F3DCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$09826C57-6467-4ABD-9848-C91E97C425FC","rank":"normal"}],"P1463":[{"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":"Q1945902$CE9E362B-59E2-4022-A300-9B524B9E1832","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":"Q1945902$8998A3DF-9AE8-450B-A9CD-751067B3FA20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a060af85d96afb2c54557fb06349e0eaac9ae6f","datavalue":{"value":"https://doi.org/10.1007/s10817-012-9267-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945902$9F29F4EC-0585-43A3-950A-42C7A6FE1810","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dca8046b792624fe814f5aae65fe9ecab2930af4","datavalue":{"value":"W2060832326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$8E48BE57-15CF-48E7-82B8-D6377EA4BFFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"971e76cb89c3103b89e821a779a63f7625fef29d","datavalue":{"value":"Q124791874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$E1B7186F-B6C6-4CFC-B7C0-4F8569E3C8F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$6AD5492F-28D6-43A2-88D7-102DC3BDA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692645ba0e13e1ab798946ded35053c7569206ce","datavalue":{"value":{"entity-type":"item","numeric-id":2907348,"id":"Q2907348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$17E845C0-42D0-4990-AAAE-BB38CD1C82B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e2190236d305fb271fb282dfc083e5d0f3a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4413892,"id":"Q4413892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$B74E31EC-1164-4FE7-9FDA-35F24FE6759F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$200F870B-4D6E-4EA4-9DA0-0D94E6490036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"339ce837f2bcc2bbf5c1bfe56ed0c56bf12a434a","datavalue":{"value":"10.1007/S10817-012-9267-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945902$D768328F-C61E-416E-A992-6DE35813B2BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e223a023fb3d086a65c3300dcf94ae7ae52f1ac1","datavalue":{"value":{"amount":"+0.7401905059814453","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":"Q1945902$87AA68CF-3CC5-44D7-B8C6-4430AFB57219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3bd18569241bf72e66beb15708a3647d0bcf61","datavalue":{"value":{"entity-type":"item","numeric-id":2921120,"id":"Q2921120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1045d3f701c03f8836a10765e8ab10bd1b76da3c","datavalue":{"value":{"amount":"+0.7369648814201355","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":"Q1945902$507B9E43-14DA-493C-8C0C-5DCB86DA3DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef07c0875408a937673478611fa833455b2dcbd6","datavalue":{"value":{"entity-type":"item","numeric-id":6488543,"id":"Q6488543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8ddb26b0fdb406810f761287a44caaebeb833c","datavalue":{"value":{"amount":"+0.7203177213668823","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":"Q1945902$339DA48F-DCD2-44EB-8090-655DAB0841A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e56955ecfbe0e0f3816a6fcfda4041803268f8c","datavalue":{"value":{"entity-type":"item","numeric-id":286805,"id":"Q286805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e92b4f76ef52b7531f7098318202199bf6b19c","datavalue":{"value":{"amount":"+0.7185519337654114","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":"Q1945902$482D7FE2-FFAA-4479-A0BC-DE34CED6DA5D","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":"baa01bb2a261e988755ae724b00d154f8df716f4","datavalue":{"value":{"amount":"+0.7147830128669739","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":"Q1945902$6DA9384D-32AF-46CF-9045-81A1A27F76A1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945902$29AB9A0E-1751-4D9E-8E17-2687E1FD7C29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1945902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1945902"}}}}}