{"entities":{"Q2821700":{"pageid":2832438,"ns":120,"title":"Item:Q2821700","lastrevid":83365535,"modified":"2026-05-07T07:25:18Z","type":"item","id":"Q2821700","labels":{"en":{"language":"en","value":"A tutorial on time and space bounds in tree-like resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6629271"}},"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":"Q2821700$C5BA9C4E-DB34-4C7F-889B-B7550D921A8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8821fb7d2eea4678c314cb07ae08a8669ae37b22","datavalue":{"value":{"text":"A Tutorial on Time and Space Bounds in Tree-Like Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2821700$D7472AB5-F1F2-4847-A108-ACDE1C61C48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"274279f10e451d44098017807da639375a8b3b1e","datavalue":{"value":"1345.03109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$448BCD53-52E6-4042-A6D2-12932C28EF0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"644d6d3bde1044c3a78a7bcd358953063d6fae87","datavalue":{"value":"10.1007/978-3-319-05446-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$096C558A-0744-4CCE-A54F-2CCC1DFEB98D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07942aaed4f66f0219a189284c329c1f5f101ff5","datavalue":{"value":{"entity-type":"item","numeric-id":2821691,"id":"Q2821691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821700$29891042-5BAE-486A-9C38-7E6DFE6C8270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87101a942a26394c6531afb02012db72fcce51ff","datavalue":{"value":{"time":"+2016-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2821700$5835F9F7-FE4A-494D-98AE-0F7E95461F78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$4C660E95-C105-4418-8AF5-D162C9299F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$26EE677A-9928-41FE-A50C-A5B6A6969EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$93C9C79A-B921-4DA9-8C1A-91866863B580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$F8FB672D-088A-41EF-98EB-518BE26B7D06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb6916394c1acbe4ae2a271a69ec910c7cfa527","datavalue":{"value":"6629271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$CB445DFC-052B-4626-AA0D-37AC35725654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821700$ACB7716C-8316-4A20-9489-CFAAF203EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535d360cb8c0c1aa80f78a968709bdfad17bee58","datavalue":{"value":"combinatorial games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821700$7F503201-996B-45F4-9F1B-D06843F6DE71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821700$F82F15F7-E8C9-49E7-891A-E612F8C8392F","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":"Q2821700$BCD3EF01-027A-4416-BABA-99DA6B350D55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ec1f9e55512086432dd15840bea4674a07e2bab","datavalue":{"value":"https://doi.org/10.1007/978-3-319-05446-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2821700$E9F4BF88-4DEA-4AB6-AD06-4200F6C6E441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cebdb8df6947c15079c47b39535342de7a4e8328","datavalue":{"value":"W151848869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821700$7B4810EA-12E8-4997-9826-6EE9DA068B69","rank":"normal"}],"P223":[{"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":"Q2821700$60EE16AC-9C98-4362-B79D-DEEB8A5148D0","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":"Q2821700$D03D8543-9B7A-4079-B75B-8312CAACA264","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":"Q2821700$4474F7D7-CE61-4F3E-9242-CF539BCD1F14","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":"Q2821700$0A5B41ED-77BF-4E7B-AB96-52718D30A10E","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":"Q2821700$377439BA-AE0F-4615-A475-9804AB944116","rank":"normal"},{"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":"Q2821700$4A4CB355-27F7-474E-9C57-AFD272EF90CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143130260887422a871415146d6e17c87df04df7","datavalue":{"value":{"entity-type":"item","numeric-id":2444907,"id":"Q2444907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821700$123CD8D9-F606-48B5-AFBC-9CB980D882ED","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":"Q2821700$9DB15C9E-3DBD-42A9-97C4-B29CE7023FE8","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":"Q2821700$1712DE1B-01BF-4618-82CC-3D03351BAE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821700$8536BE80-2C21-4EDC-930C-57F3163294CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821700$BAD1118D-E238-4A6A-8D6D-DA4D62B811C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045ba48b3e09ff0eccb6ce32a40ef40b5a7060a","datavalue":{"value":{"entity-type":"item","numeric-id":5135261,"id":"Q5135261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff983123c61ea2311ee4158ea39070c3ff3ae43","datavalue":{"value":{"amount":"+0.7809992432594299","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":"Q2821700$B00852BB-5672-4093-9AA6-0B3C887D4663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a089503d2728bf3f127c89e535e45e3ef54474c7","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbd12efe722a15fac83af707b8e6a4173da7d30","datavalue":{"value":{"amount":"+0.7781063914299011","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":"Q2821700$15801AA4-6EF1-4AA6-AD5B-B9CC2E5D021C","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":"9fbd12efe722a15fac83af707b8e6a4173da7d30","datavalue":{"value":{"amount":"+0.7781063914299011","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":"Q2821700$B21A1769-4A4F-4DB2-A38E-7771436F0F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7ee387099c9c6016c957b688ecec299319bb6a","datavalue":{"value":{"amount":"+0.7721308469772339","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":"Q2821700$CACCBFFB-5C79-4003-9E79-A9AB8C307BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19ece62e83977dc73488a31274c570b9e410464","datavalue":{"value":{"entity-type":"item","numeric-id":4737159,"id":"Q4737159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7ee387099c9c6016c957b688ecec299319bb6a","datavalue":{"value":{"amount":"+0.7721308469772339","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":"Q2821700$43408CAF-E35B-4AE5-99E8-8E179F480CDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tutorial on time and space bounds in tree-like resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tutorial_on_time_and_space_bounds_in_tree-like_resolution"}}}}}