{"entities":{"Q6866472":{"pageid":20695432,"ns":120,"title":"Item:Q6866472","lastrevid":84240704,"modified":"2026-05-14T02:19:28Z","type":"item","id":"Q6866472","labels":{"en":{"language":"en","value":"Exponential separation between powers of regular and general resolution over parities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8152581"}},"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":"Q6866472$9B186B31-651B-4A1A-80A0-08291AE0BF15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c35706bb43bee93f33eb33c73469d4e8e4abdb6","datavalue":{"value":{"text":"Exponential separation between powers of regular and general resolution over parities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6866472$F8FD60BB-0B5F-4E6F-BC15-E4EB3A31700E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b65d480364cf07ac5b8d941829bdff891a6e87dd","datavalue":{"value":"10.4230/LIPICS.CCC.2024.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866472$716C6DCA-C040-4D4F-85CD-A8CD25370ECD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf9c4a0a0dffd1c70a00c309e1a1b56556421664","datavalue":{"value":{"entity-type":"item","numeric-id":6866471,"id":"Q6866471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$7D2CBF1F-A72D-48CF-91EA-10F0DE0FEECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144bf1814e22a6734bd0f619d9bcf126ff436af1","datavalue":{"value":{"entity-type":"item","numeric-id":2229710,"id":"Q2229710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$28ADDB88-C8E6-47A7-BEC2-7B7720FD1D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a3821eed3aec5e9afd1880a9a6b8a2d127e9efd","datavalue":{"value":{"entity-type":"item","numeric-id":322362,"id":"Q322362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$FAA33EB2-0C70-4E98-BDB2-32FC2624A22D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b21df698a706abcc2fd283bd51480ce9f9a58001","datavalue":{"value":{"time":"+2026-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6866472$A0F9DA80-CBCD-4E7A-B6C6-3146AF7F0485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866472$CBB27600-2803-4345-8ACA-5275371A13FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f31f56ce512eff543678adb8fd791ece4a732e0","datavalue":{"value":"8152581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866472$9FD44C0A-2DF0-4938-A7EA-FBFFF46666CE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$51E2A3D3-443B-4510-AABC-81F9180B80B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866472$422FDEE6-96D3-48C7-BB15-21563A3FDFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11305ba394c040ca64635bc5bfac6e65d2feed84","datavalue":{"value":"regular reslin","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866472$FB876427-BA35-4A65-B05E-83C3F1DA11F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866472$DBA3B822-F27B-414D-93E6-79892DE4853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1e0bc81013a06dddbed06be9e327564214a46e","datavalue":{"value":"lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866472$42C4C116-FD48-4164-BDDE-50B24333E9C9","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":"Q6866472$EBDA54CC-44E2-4402-9163-943FD816898A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eb460d58931676e51733807df783912964924b","datavalue":{"value":{"entity-type":"item","numeric-id":3002781,"id":"Q3002781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$DB7F893C-2F6F-4464-B13A-DFAB63943D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9ff7b98f27b2858e7e1ac02061aeac863907a7","datavalue":{"value":{"entity-type":"item","numeric-id":6610276,"id":"Q6610276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$9A1F1718-E2D5-4021-8BC1-A38E3A057A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e801e8f4c9380acda71e9af1cfa1ba5e64bcb03","datavalue":{"value":{"entity-type":"item","numeric-id":5856149,"id":"Q5856149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$6DCE3A78-FBF0-44EA-ABBC-C79BA9C61C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72458654242a6291d13afce541720636d9ec23a","datavalue":{"value":{"entity-type":"item","numeric-id":6610296,"id":"Q6610296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$B6737F8A-37C0-4F95-86E1-8C8C024103A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d05e6678d19eb1a32e49555402c193916f0232c","datavalue":{"value":{"entity-type":"item","numeric-id":6640344,"id":"Q6640344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$DDB57324-9304-408E-BE18-7672E1F42E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e2321b6c26b54c92ace8567b5efe73cce63c44","datavalue":{"value":{"entity-type":"item","numeric-id":5140848,"id":"Q5140848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$23E1154B-05C8-4700-9516-8A3AA021152D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c319765223eb9951c5e88e8efcae6b3b907912b6","datavalue":{"value":{"entity-type":"item","numeric-id":5117373,"id":"Q5117373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$F646E3A0-644D-4C98-99A9-B2253C6CAE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41ee1c7d36034c93fe000c790cc80cc2699e8ca","datavalue":{"value":{"entity-type":"item","numeric-id":6568343,"id":"Q6568343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$DFD85A23-7493-4B04-83BB-4FBE31E10B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e11ac847b7676bcbb71630d393a3b93c1d2f6","datavalue":{"value":{"entity-type":"item","numeric-id":2922623,"id":"Q2922623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$DD093F7E-D3B2-4281-A6E4-DF1A30DBBF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4c593f68907b092d3ca7ad8f8e5e6d1cf5bac","datavalue":{"value":{"entity-type":"item","numeric-id":2334112,"id":"Q2334112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$7E0D3EF3-5BE1-4CC6-813F-AF14B38478FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988db0dc599bbac8b1a546858473736d9790554f","datavalue":{"value":{"entity-type":"item","numeric-id":6942895,"id":"Q6942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$38732141-0200-45A4-B691-51D7EB9E7C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78ebaa37e05f26baa669b41bb96d3b1ad8f2015","datavalue":{"value":{"entity-type":"item","numeric-id":2908835,"id":"Q2908835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$C2887EEA-BE6D-44CA-A237-17C4270E4B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c9b92d72030c1a3bcf2681465ffd6f2c8f3566","datavalue":{"value":{"entity-type":"item","numeric-id":952492,"id":"Q952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$1714828E-DDDD-499A-B14E-BDA33EC98254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$15A1F774-1552-4160-9C26-05C7CC33857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cfcfedcbe685dbdbae84b62b1205ddec05c5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3177773,"id":"Q3177773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$AA64B961-DE80-419D-9BF4-89F2D0EC686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1cb13533682ea4db81d75690fd1d0d77bc40a","datavalue":{"value":{"entity-type":"item","numeric-id":2399382,"id":"Q2399382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$0BAF295D-8188-4085-AD27-8CB8C1266F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509c8c073466afc7f6722bfaf6f12fb08af4e849","datavalue":{"value":{"entity-type":"item","numeric-id":2999857,"id":"Q2999857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$5A0273D9-E93D-4E26-9F2D-EABF2FBD35E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498da7736cddcc92e38f3ffffc1b5b5d81e5aa53","datavalue":{"value":{"entity-type":"item","numeric-id":2661346,"id":"Q2661346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866472$07F6729F-DAA3-4F53-9809-44B76273B480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponential separation between powers of regular and general resolution over parities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exponential_separation_between_powers_of_regular_and_general_resolution_over_parities"}}}}}