{"entities":{"Q2444907":{"pageid":2455650,"ns":120,"title":"Item:Q2444907","lastrevid":51973028,"modified":"2026-01-20T16:14:13Z","type":"item","id":"Q2444907","labels":{"en":{"language":"en","value":"A characterization of tree-like resolution size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282960"}},"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":"Q2444907$6A9FEF09-7410-4BCF-B7F4-49ED22FFEE30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738c196a5644857f6c12fa02854fdad3e75e1f5a","datavalue":{"value":{"text":"A characterization of tree-like resolution size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2444907$29DAEF2C-FCBA-4C0B-B1EA-A9C393808FE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6bdaa435f1d312c9b17892c9f5786f3cb963279","datavalue":{"value":"1285.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$8478CA42-5BE4-42BD-A86F-AF7BAF2E3BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$17E25259-40B3-46BE-B13B-9CBDE2FF8799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$5FF29B4E-EF2E-4330-B97E-63E9B7D37F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$192F100F-C2D1-490A-94DC-622314CA7ECD","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":"Q2444907$9F65671D-A562-4F12-969F-CF4348629899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2dd13c681d94857fdfa1db570998862f586c283","datavalue":{"value":{"time":"+2014-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2444907$51FDAAA5-6EE2-4EF0-A8FA-D1E7F9BF39F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59b68ceb7e9ece62a67ba12d61ef6078cd28ad4d","datavalue":{"value":"http://eprints.whiterose.ac.uk/79312/1/prover-delayer.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2444907$0C1C7261-CF80-44A4-A084-C28061BB30E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$FB8893AC-D310-4020-8FF2-C254D8EC10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$9B05DB9A-212A-42B3-BBE0-49CEB02EF068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$09AB49FC-28F1-4009-A153-2353EF1EF126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$3049F21C-164D-43A9-AB8F-548553BFC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$276074CD-FB16-434C-80E4-E6B32BE9B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$C4639262-9253-4AF2-9558-D1EA644FC74F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c23d73f63d0335ea895c7b83fcbc35b9cbabf0b","datavalue":{"value":"6282960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$E7F063C7-2A3E-45AB-8E21-6876BA35A793","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444907$C42BF090-358A-4E32-8905-92DCBEB776F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444907$7896D120-6805-4031-82E3-FB0981018B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c012d0ce030909b5bf9f16c0c406664f2a0a3a","datavalue":{"value":"Prover-Delayer games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444907$51C52BCE-8533-4419-B7C2-8562A8F23B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2444907$6D1676DE-6901-4406-AAB9-69100BBE77E1","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":"Q2444907$0773FD44-2136-4F9C-AA72-79516952A575","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bc4f307f293738f658cd970bff10d2245de77513","datavalue":{"value":"Q59901843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$2A70CEB4-34EE-437D-AD1E-E7AADF892241","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"600fa7d641e9f4bbea52b7df8db8dfb20497519d","datavalue":{"value":"W2103193591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$6C79AC76-2B20-46DD-B20B-2E33E691D2C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557337e01668ae38b0586e24e7e5c46c3c060c8","datavalue":{"value":{"entity-type":"item","numeric-id":1675824,"id":"Q1675824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$1B3BFDFF-18C0-4964-BF32-492DC3BE68C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99cc1cd7746f22de0f4c8666e4568bbcaaf07d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5892559,"id":"Q5892559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$40C9BC27-3FAD-4040-94F5-414F1D23AF06","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":"Q2444907$691468E4-2B89-4C4D-9A67-751C2A0E035F","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":"Q2444907$45084E7D-50DF-46D4-A7DC-7BACD90FEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$DFBFA7D3-107D-4E58-8027-14C05428B141","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":"Q2444907$199002FB-BA88-46F5-8CA8-27139A8706C2","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":"Q2444907$0CFF1C30-97F8-4736-90FA-3FF2C53798F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$D1493B70-756E-4E04-A040-3B4AA6815883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e78892a01f565d3d62705958d64b34606e27e48","datavalue":{"value":{"entity-type":"item","numeric-id":4511222,"id":"Q4511222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$4C06529F-076E-4AAF-AD7B-7B4C4C66893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$2EF23042-55DD-41DC-AE3B-D18ABB410643","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":"Q2444907$9F415681-FE4D-4EA7-B9D0-1DF930000DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$DDB12227-F4C2-4ADB-AF8F-F5AAB26B876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2444907$54F5BC33-8415-4D3B-9209-E6B36F71148B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4e455396ce56de90dabf933e22b47965e66293d0","datavalue":{"value":"journals/ipl/BeyersdorffGL13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$D80EF9D6-CDC5-4175-99B3-37D78F470037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40073b806701a398232562830ff62956e000629c","datavalue":{"value":"10.1016/J.IPL.2013.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2444907$5D2B9982-E72F-48B6-B980-E2C9AB18DBA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3776deddbfcf2c41c321b39525bac8d69da09c","datavalue":{"value":{"entity-type":"item","numeric-id":1675824,"id":"Q1675824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08003cd78341de8e0958c2fd8df0bc496218de5d","datavalue":{"value":{"amount":"+0.8665900230407715","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":"Q2444907$C6F3A67F-8B4E-4968-8B88-43D62B3751B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf06429f221824ce5dab9ab17b2f51774c5565","datavalue":{"value":{"entity-type":"item","numeric-id":2799200,"id":"Q2799200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf72ea7e254cfb664842ffdc5564cb737fc2061a","datavalue":{"value":{"amount":"+0.8664140701293945","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":"Q2444907$D33AFD42-3181-444B-9259-6867804FC0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9a110b693030c7cc0a58aec00881b11b0cba7","datavalue":{"value":{"entity-type":"item","numeric-id":2424676,"id":"Q2424676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84783ba646d596629cd5274e3761fe76ecfac73a","datavalue":{"value":{"amount":"+0.8629902601242065","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":"Q2444907$A6051A74-0AC8-4A12-8491-DCC3C106AA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427a1adaf5ed0737117584732419bb1510b92458","datavalue":{"value":{"entity-type":"item","numeric-id":1014444,"id":"Q1014444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214b4a149bd7bb897ed47529cd66d7383a0ae56a","datavalue":{"value":{"amount":"+0.7880622148513794","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":"Q2444907$518BFBB5-CD4A-44F5-BD65-4E037A05E776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a666d28e17c3eb93c55c7486d8058a8c73ffd71","datavalue":{"value":{"entity-type":"item","numeric-id":3608436,"id":"Q3608436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a77afe106f83c95ac635264efe187cf00f30af9","datavalue":{"value":{"amount":"+0.7864335775375366","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":"Q2444907$24F00462-0026-495A-B1AB-EBF7FA10851D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2444907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2444907"}}}}}