{"entities":{"Q3211281":{"pageid":3221989,"ns":120,"title":"Item:Q3211281","lastrevid":49473001,"modified":"2026-01-07T05:27:25Z","type":"item","id":"Q3211281","labels":{"en":{"language":"en","value":"Extending resolution to resolution logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191593"}},"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":"Q3211281$9533E544-B7C5-4877-A200-C3F591DDADF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65ad649c6d938f1993e12bb0d8859da01f364dc7","datavalue":{"value":{"text":"Extending resolution to resolution logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3211281$2C1C0A48-9D36-47C0-88F8-37B78663F160","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7c22ca11db53a153be7dd607d4e8961b7156e35","datavalue":{"value":"0723.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211281$478B1B85-F792-4870-976F-55EE4764A3D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08f1e816873044a32a283ecb7361eb3f0b3455e","datavalue":{"value":"10.1080/09528139108915279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211281$6DD58498-3D44-4CB9-A5D7-37375C807A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211281$A810225D-477D-499B-A3F8-13DBDA9B9D07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211281$357D94AC-5183-47B0-A632-CDE4CE110BBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3211281$73849F60-0650-4804-BB86-62D6F5F6E827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211281$C7F065E9-7AF6-4C11-8DA1-A0E16D692D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"158ced9233aeaaf9910a56110c8668290cfa62a3","datavalue":{"value":"4191593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211281$04A6D6BA-52E6-4DDE-8AE2-B4F390A29B1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aee4195bb78623b711d424deb0e513fe8c477c7f","datavalue":{"value":"analysis of resolution proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211281$BA762BFA-EB5F-4D7E-AB78-24065AFA36F9","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":"Q3211281$AF171C01-956C-45F7-BAB7-499B9603283D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4792cebf67193f44dec19e59477d30c478404ff","datavalue":{"value":"https://doi.org/10.1080/09528139108915279","type":"string"},"datatype":"url"},"type":"statement","id":"Q3211281$B87E905E-A376-4373-A2C5-59E8EEC3D64E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"788dcbda7215b8442ebc15fcf3ceb5c895862481","datavalue":{"value":"W1997853397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211281$407F856B-6DD5-4327-8DBD-76EC571798C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211281$48A4433A-2F40-4B39-BBF7-BFABE6D6E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211281$7D0D884B-F3CB-42DB-BA3F-5FE6B0E96669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f257594aa2223f878833c5fe922237c41ec2646","datavalue":{"value":{"entity-type":"item","numeric-id":4159032,"id":"Q4159032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211281$3E36064C-9B6E-4EA8-934B-8648734A097D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9b2cd568d9c1b20bd24ff2e2964195240c4461","datavalue":{"value":{"amount":"+0.8228559494018555","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":"Q3211281$B2AB34E7-6276-4CC5-BC19-E83852800DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14e0defbaf03c61d6362c520e223cf2f7c38af5","datavalue":{"value":{"amount":"+0.8100864291191101","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":"Q3211281$C4AD8214-31C6-470D-81F5-AF5938DA335B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656bd16bba9708b05c3104eba01ba17e46f56c41","datavalue":{"value":{"entity-type":"item","numeric-id":1820590,"id":"Q1820590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49432ba2a680d662fa636ca9c4f3710eac773763","datavalue":{"value":{"amount":"+0.80495285987854","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":"Q3211281$BD6F55E5-0A4F-4B77-A299-CF084ADDDA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1530daf205b8dc5b9634e216d0c72fa55a6691b","datavalue":{"value":{"amount":"+0.8046963810920715","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":"Q3211281$515D95D0-651C-41E4-B773-347C8CAEFED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085b3f859a03501f41854fb59217dfc724486a0d","datavalue":{"value":{"amount":"+0.797184944152832","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":"Q3211281$031703DE-17E2-49EC-ACDF-1843855A6FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3211281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3211281"}}}}}