{"entities":{"Q4928451":{"pageid":6958033,"ns":120,"title":"Item:Q4928451","lastrevid":41813831,"modified":"2025-05-08T15:57:48Z","type":"item","id":"Q4928451","labels":{"en":{"language":"en","value":"Verifying Refutations with Extended Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176220"}},"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":"Q4928451$53BEE7CE-72AA-45C8-9BA3-BD12A1BC2288","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01c2daf3df88da21c1bce41b4d39b854868e0d3","datavalue":{"value":{"text":"Verifying Refutations with Extended Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928451$FAE5C676-F927-425E-9450-EC31064E22C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cee3abc55ad224af4833332cd054ae6e409c224","datavalue":{"value":"1381.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928451$473619C3-2167-4FFD-A154-32A6B229AA66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246921376469f24e377952de2a7c62e02c744372","datavalue":{"value":"10.1007/978-3-642-38574-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928451$C88DEAEF-BBB5-486A-A73D-97365979D115","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928451$616D0D8A-58DD-4C60-B5BA-C730051DB768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928451$6728F89C-382C-49E8-81C9-D267B87CBF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab141dd3f837977df0bbbad339ac9c4afbc7f053","datavalue":{"value":{"entity-type":"item","numeric-id":2456369,"id":"Q2456369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928451$546B9980-A82E-4256-8D16-2378F817E63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928451$83572862-9DAC-4FEF-9511-7581B4C099F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928451$4F2BE443-B370-427D-9691-88F0C5DFB93F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928451$DFCDB187-B11C-489E-A0F7-C1031674D31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c10f3d8e06c27a64310f884cb5eb5aeab8545aac","datavalue":{"value":"6176220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928451$B6140A67-489F-4897-A02D-A8363A04FBB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928451$FB06E6C4-D04E-4CDD-BF75-02A91C13BDCE","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":"Q4928451$BFD7F95E-52F3-44F2-866A-C8B060289CBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9622d441eb3f05ea943df89bc487acf3c04e3cf6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928451$98A299FD-78C1-41C6-94E7-4710BDCF3E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"524bd35bd3c36cd62ef272678fff16a8d3c6569c","datavalue":{"value":"W2215982992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928451$C9C056DE-E08C-4EDB-977E-1C03EC1F2C46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32781204d1db0d50f0fed8e58f21ef2e924a069d","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a22e3650b010ad6aad1e7cd4719c6b2589e65d8","datavalue":{"value":{"amount":"+0.8856706","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":"Q4928451$993E7DA0-59C2-464D-9F6B-77847E1D22F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e34915ad20fa5dc09f05580a8a3b9d41ffe8526","datavalue":{"value":{"entity-type":"item","numeric-id":5092398,"id":"Q5092398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f325ff34f8a5cfc5d4791ace2a64b6df03ee9ed2","datavalue":{"value":{"amount":"+0.8754298","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":"Q4928451$34113B89-D324-4763-AA07-BF5C0E665F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b00f5c94cc43d8c2bb549b10ae10cb5879e32bf","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc450626a0d6993e28559c0e57f6dc97ceb4010","datavalue":{"value":{"amount":"+0.86226976","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":"Q4928451$7D8143B1-76D6-4148-85C3-C29319705153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db5713e07271e3f3da77043b6abf48903f202c0","datavalue":{"value":{"entity-type":"item","numeric-id":3449544,"id":"Q3449544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811ea951e3f17a3cf4fc519ac2a57fa66b161277","datavalue":{"value":{"amount":"+0.8570909","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":"Q4928451$DDD1D891-29AA-432E-8C10-29B3822050D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abc1c7cb018b0018172030a5d44e40cc20b342c","datavalue":{"value":{"entity-type":"item","numeric-id":4411850,"id":"Q4411850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9660788677533b8e46c5367c30564020f6d87b7b","datavalue":{"value":{"amount":"+0.85261977","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":"Q4928451$E0E2BD45-20BC-4B8E-92FE-684425EA58CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d2674442ed2e6e2446dfd70838a698b6a709da","datavalue":{"value":{"entity-type":"item","numeric-id":668774,"id":"Q668774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc864816d06f798d1156372d5e59effbe49da4c","datavalue":{"value":{"amount":"+0.85021603","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":"Q4928451$7C84D276-2C9E-4D99-AE90-F3FF7AF2EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54e2880b1d9f1bb1a6f99406e59c4bdc2b79dc","datavalue":{"value":{"entity-type":"item","numeric-id":3211281,"id":"Q3211281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e0098e3c8c2d80157305a56aadbca2f437e640","datavalue":{"value":{"amount":"+0.8438643","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":"Q4928451$2680138A-2E36-400B-9656-069A40EF6857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e5cf6a11b9e84f6c8c2b28920dd1310b8c74b4","datavalue":{"value":{"entity-type":"item","numeric-id":5111131,"id":"Q5111131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c6b46db70309240dec718f742991a729c4729b","datavalue":{"value":{"amount":"+0.84271914","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":"Q4928451$83CCACC2-AD48-4100-82F5-0CF9EADA23BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dbb18769caf5d61536c0850f31f8ff99f5ef29","datavalue":{"value":{"entity-type":"item","numeric-id":2311546,"id":"Q2311546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c579c4b24be1659d38ffd7da07a1a638e6d22fa","datavalue":{"value":{"amount":"+0.8427191","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":"Q4928451$5D8D9166-8200-448F-B7FE-3B1B0E320C7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928451"}}}}}