{"entities":{"Q5874337":{"pageid":7903888,"ns":120,"title":"Item:Q5874337","lastrevid":55434688,"modified":"2026-02-17T16:19:09Z","type":"item","id":"Q5874337","labels":{"en":{"language":"en","value":"Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650945"}},"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":"Q5874337$C203829E-1ADC-4402-AA72-1DB7E947B0BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ce080922ea2275bb861ab607c255aa0e3ef4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2033468,"id":"Q2033468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874337$F7227AF0-51A6-4264-A029-915332D10D2A","rank":"normal"},{"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":"Q5874337$5E840507-381C-489D-8BF5-7A8B3B819207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874337$914D1C37-5E8E-4861-AE3D-F8F439DE5B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874337$E71E1CDA-95C6-48BA-9B27-967EC12F1EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bae6526e63e46d8a4d897f6bde2c30e7a551fa02","datavalue":{"value":"7650945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874337$FC6DE5C5-7E35-42EF-B8D3-31D79AD24D50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$3FA353FC-7DA0-4130-B874-81A568001D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$14AF17F3-2948-4CAF-BF39-B1E46AD4A170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae4596ec247ace64446caee7b381f3e737abbe7","datavalue":{"value":"tree-like resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$FEC81656-DAE6-42D1-A3F0-5B73F0085201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b95970dbbafca6a8b13371dabe0dccec26c445","datavalue":{"value":"pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$8509FE5F-3426-495E-8AC4-D8A02629C9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f034cb53ba0a979ec8ab446ddbc10faee8c2ef0","datavalue":{"value":"reversible pebbling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$F243D672-A821-416F-8BC9-90A791F0472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e84af09b66d892355549ecc6a89b6f7d386c26","datavalue":{"value":"prover-delayer game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$370D19D5-23AF-49AF-B2C5-0279FAB015AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2325ccb2e6de782d1e14a4831b275810dbd36330","datavalue":{"value":"Raz-McKenzie game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$9A9D6F96-9331-4D0B-91FE-5FC154EF46F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bd37b9423fb6f6a2f5a167d1c325facbda671","datavalue":{"value":"clause space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$58DC96A4-F555-4DD7-AB90-32DD8C892E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d493505268a659a63904a4900530080169a2d762","datavalue":{"value":"variable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874337$1B259897-7A69-4023-A69A-AE94AC6AAD97","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":"Q5874337$B512A1F2-C5E3-46CA-80E0-0C43AB38652D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eac132f7f1da6034a975ff2c7c03018482e0ef60","datavalue":{"value":"http://dblp.uni-trier.de/db/conf/stacs/stacs2020.html#ToranW20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874337$67E02AA3-9CD5-414E-89E5-340892ED1DEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8750ec85654c64d459b8a95d5450cd9858a8f8d","datavalue":{"value":"W3013690431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874337$6E181923-4D0D-4FE0-AFE2-C7281C1BBF67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a951a5ff97b403a9381fce18df5ef3f246c35955","datavalue":{"value":{"text":"Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874337$3D7164F5-3ED4-4B16-9336-E8375A895C64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d10c9b11ef86bc81857b6e0fc1600cf17c1e0856","datavalue":{"value":"10.4230/LIPICS.STACS.2020.60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874337$615AD24F-5B0C-4C79-9A63-0E7E115D5B3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa120ca0e699f79b238ca63ff81abab36e2625d2","datavalue":{"value":{"entity-type":"item","numeric-id":2033469,"id":"Q2033469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefea248376eb0713fc5ebd2c22d3c618c1d6073","datavalue":{"value":{"amount":"+0.9829244017601012","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":"Q5874337$ABB9F86C-FBCE-4C88-B229-FDC403DB5E02","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":"84db45e49d9a0afb9aad5d4c899a54bef8553dd1","datavalue":{"value":{"amount":"+0.8434228301048279","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":"Q5874337$6386B80B-806D-49BE-8AD0-4A4134731856","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":"f185c2568b7f6d2a1ce5ec7e85368221bd20f11d","datavalue":{"value":{"amount":"+0.8245888352394104","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":"Q5874337$E116BC86-3D3D-46E2-BD94-FF5E7A3A0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0399745c723f0a361fcfcf9dce06d6aa8b6d24e7","datavalue":{"value":{"entity-type":"item","numeric-id":4945238,"id":"Q4945238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c038ebc67b6348267d1ad96cd6597bccbe465371","datavalue":{"value":{"amount":"+0.8154757618904114","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":"Q5874337$AA493B01-1844-4069-BF7E-CC58E9DD0C62","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":"d1dc8168478ed6060e8a921c41bc5c4ec396290d","datavalue":{"value":{"amount":"+0.8081119060516357","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":"Q5874337$AA57C94A-8D32-4253-B45A-69152C27175C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874337"}}}}}