{"entities":{"Q647405":{"pageid":649254,"ns":120,"title":"Item:Q647405","lastrevid":51371879,"modified":"2026-01-17T23:34:55Z","type":"item","id":"Q647405","labels":{"en":{"language":"en","value":"The depth of resolution proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977614"}},"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":"Q647405$A5E365BE-D238-46A7-96E9-1A3F61A7B475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3b2ee0d05a4ded286b62d8d5d063093daf39e97","datavalue":{"value":{"text":"The depth of resolution proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647405$F182FF2F-C640-49B6-B441-B8898127D5CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a193a5b90cc8b57ab135a5d991c0e08f374c9e1","datavalue":{"value":"1259.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647405$365DBAB3-914D-45E9-BD8E-4FD374DE1A39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$68F353EC-6246-40E2-B06D-077F1E434B6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$41138A87-4865-48D7-A16A-FB2D75D73A18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647405$3BCC7F3E-0E65-4F00-ABAA-1C8D9EF5A584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647405$6A6C490C-6CB1-475E-94F1-C6327DE10C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347775fbd5808557f1ee6d89d4f55ac8e5b5d88c","datavalue":{"value":"5977614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647405$D3E96F2B-17CB-4C9C-8FC3-25B57B818213","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1630fc900439d5dfeb37bb596a5b9ef3839060b","datavalue":{"value":"resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q647405$ECEDB3F8-9AFA-4CB8-9EFB-AC14B20EE3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff2cea4deca8193e4bd5fcc892bd5f0a2569e6f","datavalue":{"value":"depth of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q647405$C23BA7A3-279B-435D-BB67-01E00F72BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q647405$AD9D130E-5A67-4996-B8FA-577D60E15A13","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":"Q647405$576DBC7E-9E01-4671-8669-C406DC8CBA1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c64176bb6280031aa8fcae7489fdb99f7f0bac9","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9356-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q647405$9565E4B9-C921-45E2-944D-F4A8EC4FCE37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dfb4b27abc1c1765c0d25a61b5aa245e511bc94","datavalue":{"value":"W2083975113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647405$0DD935F5-1518-4A1B-BDDF-F4DF7AB83793","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90d78dfa0a6f26ea5458c2aa83c23e0baa0c56b","datavalue":{"value":{"entity-type":"item","numeric-id":3579185,"id":"Q3579185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$D14688C9-449E-4743-BE5A-463A73EC1AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$1772740D-3BDF-46E7-995C-C3FF2C68FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7dc47292c75d912e93caab28bed0770c481096","datavalue":{"value":{"entity-type":"item","numeric-id":3579186,"id":"Q3579186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$B7E90EF3-FC3C-41C3-ACB7-CDAAC5EBAF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$0B830468-C762-4226-9694-BDF348CCD1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$ADE55E3D-0B6F-47E0-8AB8-BACE768110E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e846b8bdb707b89fe4e8a66905e75d0802e8ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$0FF25393-296B-45F3-8D87-2127D626A9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98aa1fc85848ea40f29cbff62e92500fc34f29b4","datavalue":{"value":{"entity-type":"item","numeric-id":1014444,"id":"Q1014444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$987B86AC-D10B-4069-8637-67DAFE6F434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abf8772e67aebfe123b04780ad19bd9805cad99","datavalue":{"value":{"entity-type":"item","numeric-id":1885907,"id":"Q1885907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$D4FD6078-3F75-49E8-9472-2DF3AF1FA26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55ef7e4f75a570fef930a1f823c7040905ef92","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$97D61BF7-D946-4957-B73F-E49732598D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bde4b025fbab0e314d967e2b84c5779cb3c464d","datavalue":{"value":{"entity-type":"item","numeric-id":4764348,"id":"Q4764348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$A07AC0BA-B6F5-4A2A-9849-AB795C984AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"575dbf5adfe7e48bbda22399187c4ea02eb428ad","datavalue":{"value":{"entity-type":"item","numeric-id":2931413,"id":"Q2931413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$9C31C19C-AC97-46C9-A71B-54B2CDAB4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f99fc0604c1edf1b44f83c3b9538e477322458c","datavalue":{"value":{"entity-type":"item","numeric-id":4143082,"id":"Q4143082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$CE679F16-A6A8-4BED-85C3-314EE36A569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$D717DE69-153A-4E68-80CE-D58AE50F3FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00391d6550986bc76041b5e4ff60f4bb989a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1977414,"id":"Q1977414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$16669634-1C19-46A7-A41A-6BD93296FF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d72f92e4a9629fedaa104a68de7f1e3678e9384","datavalue":{"value":{"entity-type":"item","numeric-id":4344138,"id":"Q4344138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$AB1651B2-37B4-47B6-805C-61B3DA38ACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$B4750070-727A-4FA6-BE86-7E56871849E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf86375d5742ea2c000a772a856d31236b04b6","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$526570E1-34D5-45A1-9979-75929C68E74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$FB3925A6-ECBC-4F6A-AF5C-19873154BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707a61e90e3ec1a2333dffe560731ad44d999a96","datavalue":{"value":{"entity-type":"item","numeric-id":3502715,"id":"Q3502715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647405$ABB73549-BB65-41BE-8BED-2AA654830D0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5efaf63698c9e39d3abe0dcaa5c42eb47dfb3acc","datavalue":{"value":"10.1007/S11225-011-9356-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647405$0E85DFDE-1547-436E-A9BF-A6240794D695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56264e41e35960cee760058dbd04ce57399129de","datavalue":{"value":{"amount":"+0.7994593977928162","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":"Q647405$437B4C56-5805-4C77-AEAB-2B7A3E7E3421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd734b70ba3b8adc7ce2965260aff2590aca2075","datavalue":{"value":{"entity-type":"item","numeric-id":5189540,"id":"Q5189540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16623ed67e22850086d4cc0c6f605bf05b31136e","datavalue":{"value":{"amount":"+0.7944483757019043","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":"Q647405$6B822B7E-C4E9-4A4D-92F3-A00793C2E8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a52424b12656de903735df1eedc8db4babf6c3","datavalue":{"value":{"entity-type":"item","numeric-id":2931413,"id":"Q2931413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb367318154a4f5ab706041e10031430c9b00ed","datavalue":{"value":{"amount":"+0.792458176612854","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":"Q647405$60A7CC8A-2388-4B7B-83A2-FA48C250DA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070cacf0f29221af8e07f77a8c0c4d6ff7eeb031","datavalue":{"value":{"entity-type":"item","numeric-id":1616620,"id":"Q1616620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90db608161c8f9690a5dc36b5482825d951236b","datavalue":{"value":{"amount":"+0.7905544638633728","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":"Q647405$998D74C1-0A4C-4919-8767-AED8D5A2D46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d0349cfc9513c4bd698c20c2329792e6b3faa8","datavalue":{"value":{"entity-type":"item","numeric-id":3181650,"id":"Q3181650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ad8b7b2982b360ce65e4a22ddef678894144a5","datavalue":{"value":{"amount":"+0.7839258313179016","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":"Q647405$CF57B283-0F60-4E10-8FB8-CA439A410FA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647405"}}}}}