{"entities":{"Q1041797":{"pageid":1043645,"ns":120,"title":"Item:Q1041797","lastrevid":66016524,"modified":"2026-04-12T06:58:25Z","type":"item","id":"Q1041797","labels":{"en":{"language":"en","value":"Deciding \\(\\mathcal H_1\\) by resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5642372"}},"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":"Q1041797$BCAA1C61-4182-44D3-8492-5EBF47A5FF51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a2a86eddf0b52558f6bb47a0fb2e0144d5c6a6","datavalue":{"value":{"text":"Deciding \\(\\mathcal H_1\\) by resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041797$94FED5A5-E0B0-4BDE-A9D7-1B2D0780BAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1346379db4755ca9353335bdbea94f3eb10fee","datavalue":{"value":"1185.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$91900FB8-CD9B-4A3E-800A-507FA7C025EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$36D06DEA-D99E-47E2-9588-97A5A9A90609","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":"Q1041797$F783C561-D903-4E13-B5BB-E4CACFB09925","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e067d02fef1a1d1eabc0ca53437d57c4cd48bc0","datavalue":{"value":{"time":"+2009-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041797$D8398EE8-DC94-4EF4-8409-EB4091416656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$DB2D1CD0-35D1-46A6-95D2-F6B7D8E97AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$45A63BB7-1B55-46A6-8AAE-379B7E7AF2F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6174943ff359348228d10edd39949cab74ca88f","datavalue":{"value":"5642372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$A0B29428-6B19-4F94-9890-FDD462C38B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041797$F4E84E35-D643-43C2-A1CF-941FAE815F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041797$F8DBBF6B-52A5-43C3-99C8-3EB028D17384","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":"Q1041797$C4C53B46-4D22-48D8-A89F-6A9EC5DA1E17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4289ea5192537c9710e3d6872a685dcfa59389b0","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041797$E28DEBA0-FFA4-4791-8124-78F6AA5D39C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"276e4f0cd20c4c8291fa03ad0498b874d73e4aa9","datavalue":{"value":"W1552360561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$FA3FCE44-546E-45A3-A691-F17A2FBDB2B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$B2AC58C6-AB17-447D-96AB-EBEC32ED1030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34da36bcdacab25f77d3a7f42dcc64f7e77fbc7","datavalue":{"value":{"entity-type":"item","numeric-id":5178862,"id":"Q5178862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$8C73FCF3-95F6-4AF0-9A21-91D28EE2A1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a8f5311eead3edbd3610ad1a0d4f57260672d","datavalue":{"value":{"entity-type":"item","numeric-id":2484410,"id":"Q2484410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$7BBF7BB4-1AC7-4737-926C-5DB230D22C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$CCE1E5F0-0AB2-4C7D-BF0B-97C9DBF645EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824c9af687040c612a07dabade67e4643eedfc23","datavalue":{"value":{"entity-type":"item","numeric-id":4411948,"id":"Q4411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$FA1DED94-00D6-41EC-9753-4402EEF52063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$1B6EA92E-8E6E-43D8-9914-57E8DFD7A2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041797$7ABDC430-CEAA-42D5-9531-51F0AD321A1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"766e9c65fefbdb13ab8b19351b49e4f050abc830","datavalue":{"value":"10.1016/J.IPL.2005.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041797$139A70F5-BDE9-4210-B1AF-DC01011944E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1fc0a422af01d445a0bccb34cbdea91ef8d986","datavalue":{"value":{"amount":"+0.8087682127952576","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":"Q1041797$4654D141-7F66-464F-8916-FF23AACD3471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bcbe76f08c7ee674920a9484d3e4a20a3b32a9","datavalue":{"value":{"entity-type":"item","numeric-id":5460923,"id":"Q5460923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1fc0a422af01d445a0bccb34cbdea91ef8d986","datavalue":{"value":{"amount":"+0.8087682127952576","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":"Q1041797$BBA4E615-9274-434D-8C50-7D429F90FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1fc3a8502f9e02a7bf74b1be0e946cd9cac918","datavalue":{"value":{"entity-type":"item","numeric-id":4961723,"id":"Q4961723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dd24c1899669b3382087435b398cad645f552c","datavalue":{"value":{"amount":"+0.7678461074829102","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":"Q1041797$C9A631EC-A2B1-46C8-B8AB-B1435BD6FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2055c1cbfcb0dc4888a9b7fa03818581aef135b6","datavalue":{"value":{"entity-type":"item","numeric-id":2702565,"id":"Q2702565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1648d32784bebf08523e9c2b73e2df8f895ee0","datavalue":{"value":{"amount":"+0.7596490979194641","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":"Q1041797$623D436F-EC47-4CB1-8A9B-5CDF1801BA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4b8c1c4510b04f54d1d8f72daf13bf8b78792a","datavalue":{"value":{"entity-type":"item","numeric-id":4729408,"id":"Q4729408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe72d0f9360b506665c7292d69a81a912a47863","datavalue":{"value":{"amount":"+0.7513247728347778","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":"Q1041797$DA37EA60-A746-4E6B-A0E6-6EEA6F474B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding \\(\\mathcal H 1\\) by resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_%5C(%5Cmathcal_H_1%5C)_by_resolution"}}}}}