{"entities":{"Q2829667":{"pageid":2840404,"ns":120,"title":"Item:Q2829667","lastrevid":44699616,"modified":"2025-11-25T05:34:24Z","type":"item","id":"Q2829667","labels":{"en":{"language":"en","value":"A Generalisation of the Hyperresolution Principle to First Order G\u00f6del Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6649170"}},"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":"Q2829667$011F0121-67E8-4B8A-BAE9-82D92DCF35F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1be86af99a3bad6470e2585b44364c0144b7e231","datavalue":{"value":{"text":"A Generalisation of the Hyperresolution Principle to First Order G\u00f6del Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829667$72B68FAD-886B-407F-B861-82FEDD9E73B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3de160f55c73b8b380bb9f7b3edc6e8ab0f0c490","datavalue":{"value":"1351.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$14769AFF-4636-4016-8906-427989BCB55C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5098e275c1cbe56628d9c9fd7e7a4c56ec84a5b","datavalue":{"value":"10.1007/978-3-319-11271-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$6A87F32F-4F69-4C54-87C4-9CA1C4884BCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de1f06867ed597d52009da561394aa1479da7ae4","datavalue":{"value":{"entity-type":"item","numeric-id":835102,"id":"Q835102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$54A192E5-D1B5-4122-97DF-2CB9994E49B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f38d95efbcf78e0db559c8cececb5f3c728c9a9","datavalue":{"value":{"entity-type":"item","numeric-id":287589,"id":"Q287589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$A7F895FB-C62C-4ECF-B180-2B4C4E1E10ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca06ffa9519cc027edae0f7b5379877fe989cc6","datavalue":{"value":{"time":"+2016-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829667$423DBED1-C216-49B0-B5FB-4A09C24CF51E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$300B0D0D-2E36-4938-94DA-6A5646FC4819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$99A93C11-B1F2-4A20-87EC-DC1A2D0E7DB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"109500cd26f406e1a238b5d6cf8dd2af180e3bb9","datavalue":{"value":"6649170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$4832394D-AED8-424F-9DFC-B6D78273D201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829667$645ABE0F-1D83-4F1D-9CB8-5BA425FD028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829667$4D8FC693-9700-4CB5-AE19-676A46F941E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829667$8DA6076E-5842-4D76-A865-912EBA4FCE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829667$D9E2A787-45D4-48FB-A82E-573550980828","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":"Q2829667$5DEA8685-08AA-4DB0-AB1A-830F8C991F7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429f61c660c4c44d0c4ada22f2ac39b030267346","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11271-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829667$CA3295CA-D466-474D-94BF-51EBCBB0B499","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74945683e23f27b60b7be04ba652e0f6a23e1b61","datavalue":{"value":"W169175576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829667$CAD825F5-EE51-4229-84F9-D4553CFE8B05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7673fd4d4c6d7fdaf102dcb205eec0b3433a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$D7A88F53-89DE-4B90-A715-5F933544C60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$172BBB52-660A-42F6-A856-240F7B6AC742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbe3fda65b9a2512213a2a1c518375024ecac32","datavalue":{"value":{"entity-type":"item","numeric-id":3586034,"id":"Q3586034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$AF840D8E-FA81-4EF2-817E-75CDFEB9A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$FFC2684C-AEDE-4CCC-9D47-F35DD8790618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$6A1133AD-C0C8-46F4-89E1-BBB5DB23C28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894a726d38017dcebd287aa2e92de0e26e04dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4323008,"id":"Q4323008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$4360D9DC-BBE9-4CF6-9958-9E67A742B25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$0524334C-DE99-46E6-9F05-11F16B8FD06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$7471E32C-DAC7-4BFA-B03A-871E870A4C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829667$2142FA33-A1CB-48DF-A461-537F0C834A38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63cb0d652d7681a95720e4665fcfe16a34a440c3","datavalue":{"value":{"entity-type":"item","numeric-id":2328910,"id":"Q2328910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fdff2edd7c21d85f6497da5608e09bc45ab543","datavalue":{"value":{"amount":"+0.93335366","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":"Q2829667$E410DCDC-CAF0-49C6-897B-B985DDDCCFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccd05e073c0201a4ae2e096c85857b580e0cd11","datavalue":{"value":{"amount":"+0.91758966","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":"Q2829667$875E0691-28A8-4052-A67D-C33E9793D2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba83f0b2237ad7a4f39e4ef1513c75920945eb28","datavalue":{"value":{"entity-type":"item","numeric-id":3007648,"id":"Q3007648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884f4d9e3a8778f1982a916208410fd3dfef0ab6","datavalue":{"value":{"amount":"+0.906862","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":"Q2829667$20B2CE21-8B8D-4860-AC5F-2F5C2FD43E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d1a1a4fa8a93cb8dd47a8b4cffd5b0563e5eb5","datavalue":{"value":{"amount":"+0.9043632","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":"Q2829667$A7E0695B-53E4-4AC4-9847-A13360DEEF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d29f6b9b9e63d62e47d12d8e3965e505eb0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2805906,"id":"Q2805906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9302f0e9e228621383b4f0020207448e6d13d86","datavalue":{"value":{"amount":"+0.90423524","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":"Q2829667$BA350EF5-E75A-4058-8548-564B0537235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44b64cc4ee7d8edc60c12a7cf8e5d3521e640b8","datavalue":{"value":{"entity-type":"item","numeric-id":2151390,"id":"Q2151390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124030ff4b66c1c3fa7d104305b59dba0dd9633d","datavalue":{"value":{"amount":"+0.90222806","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":"Q2829667$12951B41-DADB-4F21-AE6D-496ABD6A2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de34afdb9b082773bacb814a8bd7b9258df53ec","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93afd862c43be3dd7369f44cd77f1f1baad48192","datavalue":{"value":{"amount":"+0.9020154","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":"Q2829667$E95C7965-0B17-4879-850D-C5D8881AF856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3977eb77a5c18a38c5b06801a7854a555f7388ef","datavalue":{"value":{"amount":"+0.9019904","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":"Q2829667$76363D8C-0D92-4D96-94A5-550F80DD1392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49a67d78ecf055635b2d47e651476de87c3a8ff","datavalue":{"value":{"entity-type":"item","numeric-id":4428309,"id":"Q4428309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe10f0a018382ed5fa9323ef553993b371e2fcae","datavalue":{"value":{"amount":"+0.894304","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":"Q2829667$E52107F5-C61F-4A6C-ADD4-ECEAEB495EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcb2c264f263d0da99a24ff32fcffaf9bb08a36","datavalue":{"value":{"entity-type":"item","numeric-id":3586034,"id":"Q3586034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66c6691a5c9f301fa47cc3a5a87d3200f5ca9e2","datavalue":{"value":{"amount":"+0.89378333","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":"Q2829667$CED074DC-1B14-4701-91D5-65BF48139CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829667"}}}}}