{"entities":{"Q4185847":{"pageid":6215448,"ns":120,"title":"Item:Q4185847","lastrevid":81511913,"modified":"2026-05-06T18:41:31Z","type":"item","id":"Q4185847","labels":{"en":{"language":"en","value":"A note on answer extraction in resolution-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3622992"}},"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":"Q4185847$BDE86FE7-6D78-4B5F-B459-4AFEA4EB3231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aa1eabc416c3057cf9c503310a04ce8645b02b1","datavalue":{"value":{"text":"A note on answer extraction in resolution-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4185847$FE08989F-7D87-4A09-AAED-89515A444CC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21f31fea07bd1693baa879c76cea245da5fc8932","datavalue":{"value":"0401.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185847$B8CCF913-8036-4072-BFC0-DE448DD6F298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4976a971262246b6473a8d5375cf1548c14d04ee","datavalue":{"value":"10.1007/BF01002330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185847$9DA32EE2-29F2-471F-9AC6-DF88D466FCA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$A1D4F4F7-09F9-45D0-99CD-1161249E0ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40510aaf1ba9fe502f9d19dc5ba449ee30fe2f2f","datavalue":{"value":{"entity-type":"item","numeric-id":4096459,"id":"Q4096459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$80E42B9A-9DC8-44CD-8779-0FDC0BABD98A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$977932BD-3B25-4E6E-B657-C883C927507A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4185847$8A716D7F-C4C3-421B-8BC1-E92F0F8A8611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185847$9FB01A48-034E-474D-A3AD-EA22527C4F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9b199f892e61b155dc6ede47922bf7de77b1a82","datavalue":{"value":"3622992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185847$33680EF3-52A1-45A5-A4E7-B4C2AB4109FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad1442f8b737e55d3021f16fa649a28dd4c6365","datavalue":{"value":"Answer Extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185847$66A2CCA9-A375-4A59-9BB2-321EE5603C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7e173fd1c59f68080cbfbc8a1faedd080be092","datavalue":{"value":"Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185847$D4D86D65-4B68-48E9-AB2E-68A261CDFD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb17b6787b772c3268a9bf02dfb7b16ca29040be","datavalue":{"value":"Proof Graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185847$1D9A3BD3-3DBF-40B1-8516-89EF458CD8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d87a673e433ef4093ed8f703744732abbfdba1","datavalue":{"value":"Questions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185847$780ECC0F-7A99-4192-A489-5D5C6D014E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559828d9e4b41694f5db7298e822c1b025b3f1b9","datavalue":{"value":"Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185847$789D629A-E00B-4CDA-843F-25086A2EBA76","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":"Q4185847$B09E3D2D-FF5E-4447-BF57-851706D42549","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e45ad2cb4cf554e8b921a71fb68c440b206695","datavalue":{"value":{"entity-type":"item","numeric-id":1216192,"id":"Q1216192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$3CAC3678-FA21-4A9D-A2C6-31E1262E5A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16590968d40d1d46b6e59cb12befc923cf24394","datavalue":{"value":{"entity-type":"item","numeric-id":5664827,"id":"Q5664827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$6EADF093-74F1-434B-80A4-BE8006AFEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$902B1BAD-2377-4443-8D74-3E7959FDCAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$4E38BF15-B6E1-478B-880F-8CA65F7F1D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185847$09767238-2EA7-4CBB-A224-B31088CE7DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on answer extraction in resolution-based systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_answer_extraction_in_resolution-based_systems"}}}}}