{"entities":{"Q1205717":{"pageid":1216466,"ns":120,"title":"Item:Q1205717","lastrevid":69884694,"modified":"2026-04-13T10:59:38Z","type":"item","id":"Q1205717","labels":{"en":{"language":"en","value":"The completeness of gp-resolution for annotated logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 148035"}},"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":"Q1205717$9A33898C-7DD9-483D-B67E-C57E1B5E44E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf95c2684ea3c8119e69b85364780aeaf01594f4","datavalue":{"value":{"text":"The completeness of gp-resolution for annotated logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1205717$7609008F-4788-4F21-8766-CD4FC0CEEEEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d499a5f2815475fc49efd45d5c032cd43e3175a8","datavalue":{"value":"0759.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205717$37707C1F-B9C5-4A7C-8FBA-0C9BC1E65261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"768ad52c5a10e94bfae4128c8b7b1260d7545327","datavalue":{"value":"10.1016/0020-0190(92)90053-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205717$B63E3452-3ABD-4DF1-A856-FC28ACE19BBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"778a21a6345aea99333595cc7f7dc990d5774340","datavalue":{"value":{"entity-type":"item","numeric-id":211659,"id":"Q211659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205717$2527C68A-C612-4391-A2BE-3085C98FDB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205717$05DE481D-7D9C-4E74-AE50-02BEDA671709","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205717$DE38A1BC-DE9F-4BE4-914C-7EDBBBA4D9DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1205717$915365C3-8494-42D8-9928-6C8A45C4D11A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"741d1e7341d96a8100cfcc3dda5476d938481a13","datavalue":{"value":"We show that \\(gp\\)-resolution is refutation complete for arbitrary sets of clauses. As a by-product, we show that the merging operation in \\(gp\\)- resolution may be simplified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205717$5E8B6190-F568-4926-BE24-D36A8185B21A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205717$276219E9-8050-4481-9EA0-A7D26E436CBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"511d252bdac865525055a47950cefea4ab961b2e","datavalue":{"value":"148035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205717$527701E1-46D1-4BCA-9C31-CD91A8947996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5bb9874fdf403dfcaf2e2d3d66020ae3b37baa","datavalue":{"value":"refutation completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205717$5BB2CF2A-97B6-48A9-AAE5-C80D50E3069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0daadd04e9c2ac6dc8ff52fc3865f5fec7a28039","datavalue":{"value":"\\(gp\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205717$618C04FD-9A0B-44FC-AEC5-E5920DDF3FA9","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":"Q1205717$FBE54A35-30B1-4CED-A6EE-E859566C3E35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205717$5A6E763A-2328-4E5B-987C-D513C825A847","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":"Q1205717$695C8C0B-57CF-4F83-9C85-3A1B74A12572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6740c356d271072e383e06b77cd6fa3a613fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1185011,"id":"Q1185011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205717$F5635584-F74E-4F7B-BD53-9FEFFF7B56BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b03b1d419921dbd2734d8c9e3e953de1a906639","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90053-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1205717$F0B0A49E-E315-401F-AB16-6339FFAFAED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"320bb76146121a642c65d42ff484880a2d4d6acc","datavalue":{"value":"W1980008162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205717$811B204E-A8D8-4AA0-AD2F-01FAAACD8266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The completeness of gp-resolution for annotated logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_completeness_of_gp-resolution_for_annotated_logics"}}}}}