{"entities":{"Q881832":{"pageid":883680,"ns":120,"title":"Item:Q881832","lastrevid":65065947,"modified":"2026-04-12T00:05:24Z","type":"item","id":"Q881832","labels":{"en":{"language":"en","value":"Defining answer classes using resolution refutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5154731"}},"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":"Q881832$C96CD8FD-5215-456A-9C36-BC0399D1BF23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a4ac4a2426d298c924a51b9a60c569e0de9d80d","datavalue":{"value":{"text":"Defining answer classes using resolution refutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q881832$97939C3E-9980-44C3-B787-54C664099553","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"411a5952ef5bd2e97c701f68844b4502e2486fb5","datavalue":{"value":"1116.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$9C5E760F-710C-4A59-A519-6363BCEA7D16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89fea9b8a92f3b0b8f155fa3f54a16e564840fa7","datavalue":{"value":{"entity-type":"item","numeric-id":881830,"id":"Q881830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$856F5948-39D0-43B5-84CF-721BDE2BA152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e5778eb80101db181205a5b00b0ff1500b02d0b","datavalue":{"value":{"entity-type":"item","numeric-id":881831,"id":"Q881831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$ED635186-DB58-4EEC-B598-510AAEB52B38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$AB7D0EF5-BE5C-4F79-B812-7E5E8B8DAC2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c725dc3f4529c18502bb8414e9ec0be6c9a9a952","datavalue":{"value":{"time":"+2007-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q881832$2585FD22-932E-4F0A-BE87-6868C4450289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$47F97B3E-6776-4673-B4E7-4C2907C9CDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$52F434B3-2B5D-43FA-863E-C6489C5EF108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19743d2f28ffb5ede858701715439d7f268531b4","datavalue":{"value":"5154731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$9C9CB966-390E-4C9D-B380-01C312D420F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q881832$6CBE6574-1021-4BBC-86E7-B4BC642E7AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q881832$1BB723F0-2208-46F0-8766-94C9E28DDDA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$CCB95EFA-6536-4A57-A803-18361DC653AE","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":"Q881832$45931647-26A7-434C-B7C3-0AEB96A22EE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1736696e2827481991e0892d1e8412c5fc34f180","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q881832$AD19291B-C943-45B9-9E82-472A7BB296A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48601ecdd9d467998bb68e4ea2c605b3ae953a1a","datavalue":{"value":"W2144719214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$217ED2ED-1260-4AC9-9B77-49E53140B546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$A01377F2-D629-4F05-8F3B-C8810E83442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a4c6132f7b227c8ec0544bdbe3d7efffc04c47","datavalue":{"value":{"entity-type":"item","numeric-id":4113804,"id":"Q4113804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$40E2AED4-2DAC-46C9-A8A3-6802878084C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$DE4C40E3-11EB-46FD-932B-81DDEF275EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$1F754C25-E0CD-44E8-9802-E1FBC2FE4706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9738a54ce3d19f905a4c6043b7f3154bcf623cf","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$EF70566F-7D44-4E2D-8837-02DB7E061476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$A2F273FC-8C37-402F-8CD5-CA2D57B6BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06a08d5b433543348ad78e964201e1e1e7cc9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3776675,"id":"Q3776675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$712FD1AA-5567-4F07-A762-600237A4A243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$2B647D41-571F-4AE3-9217-F694D383EF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$0A5E6E27-1EA5-4CE3-A301-89195412C7B0","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":"Q881832$1C0330F5-8EC8-4323-8490-0B80EB026CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$B53CBF5E-1676-4318-A83C-8E8CD9FE0D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$A58F1CBC-7124-4923-A745-1A6CC936B415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$F4FC8E83-37B0-4CBA-9889-8F7A2B8D63B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c089c23dc092d92ca5f33928a71557bce3c3cdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3765271,"id":"Q3765271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q881832$9C617314-C6F3-4EEF-85CD-93768F54905E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aa19376e668fd98d10b5c9a69e322fe37707cde","datavalue":{"value":"10.1016/J.JAL.2005.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q881832$032F021A-112E-4F66-BA67-220ECE977080","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3ae2f1a451d602763c907720f1145143101aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1357665,"id":"Q1357665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979257f96370b473bb411b53ac0456f23ef1eda4","datavalue":{"value":{"amount":"+0.7148363590240479","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":"Q881832$D61175B2-D77B-43F4-B602-4C0153618B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2398eef9efd57113e53ce4e1c6dc78ad09f83c74","datavalue":{"value":{"entity-type":"item","numeric-id":4942004,"id":"Q4942004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979257f96370b473bb411b53ac0456f23ef1eda4","datavalue":{"value":{"amount":"+0.7148363590240479","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":"Q881832$9F585709-5670-4642-8E72-069A0D0F5ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b5e8614cd15db4189c24543b28eb1dad4f040a","datavalue":{"value":{"entity-type":"item","numeric-id":4412864,"id":"Q4412864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da702b111a65d89489b6333ebde3320b98caf8c8","datavalue":{"value":{"amount":"+0.7038670182228088","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":"Q881832$662CE367-915C-43DF-95AE-F0147B9F5530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d774b848aec03fbaa972ca7064d768c2b50c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d19172bffe875ca1cd9d00073350ec1c8be541","datavalue":{"value":{"amount":"+0.6784100532531738","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":"Q881832$50215ADA-9B15-44CB-BEDF-BF46FD8A0A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f7db97df394a762d29336fddd05cc921bd1e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3776675,"id":"Q3776675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d19172bffe875ca1cd9d00073350ec1c8be541","datavalue":{"value":{"amount":"+0.6784100532531738","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":"Q881832$7EC3DC0F-55B2-4DC5-9A35-9AE37831376A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defining answer classes using resolution refutation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Defining_answer_classes_using_resolution_refutation"}}}}}