{"entities":{"Q2915692":{"pageid":2926412,"ns":120,"title":"Item:Q2915692","lastrevid":85104275,"modified":"2026-06-03T05:53:51Z","type":"item","id":"Q2915692","labels":{"en":{"language":"en","value":"A pumping lemma for collapsible pushdown graphs of level 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083548"}},"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":"Q2915692$141FF73A-EC6D-4BDB-978D-DAF3B321F99E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ea11318643577d3d9f891231b3f88ab3508f6fb","datavalue":{"value":"1247.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915692$F1A737FF-BC4B-442F-B165-A36331690F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915692$DD2669C8-FBA1-4048-A949-2A06308046B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915692$0878A814-D1E2-4C7D-B5C7-C50A87742337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd172e48c385893eac4cb8a61275034394102ae9","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2a28.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915692$1891F908-4C47-40B7-9B28-AFBD49454F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915692$30A5FDF5-9B9F-47EA-876C-5798E0BE8F7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75829ffaa00654d9307fd8cc896528caa1606ce0","datavalue":{"value":"6083548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915692$920BDD40-75D3-4617-894F-87FEF8D519C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2e2d5feafb77ed3fee172f21c18b25fb93f8a4","datavalue":{"value":"collapsible pushdown graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915692$F1D6A329-229A-4974-AF39-434E83E99377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a38ccf0a3e3c0453c99e33c329fba8b05c2fee","datavalue":{"value":"epsilon-contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915692$0FCDA11D-DEA9-49BE-BE7C-92560C769B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915692$62086C0A-E8FF-40EE-BE87-3C2F0238A71F","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":"Q2915692$28A00A94-5E82-4384-A69B-704F40235737","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62b831f3d29542a01a5210ec5f2e5c5908dec61e","datavalue":{"value":"W2259693994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915692$8D4434FF-0396-493A-ACC8-95ED7E4B0210","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"560ea3a1c223cc13207c2f80140ca61daed86239","datavalue":{"value":"10.4230/LIPICS.CSL.2011.322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915692$71FB2A75-29F4-4186-BC48-24B66B44BB21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d0f6e14d6244b3263f10d548f32b86aa185653d","datavalue":{"value":{"text":"A pumping lemma for collapsible pushdown graphs of level 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915692$FC727A6A-2BA4-4EA7-ABB7-084FD3063D80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08da2999f8c623c42c772fda3010a5bf29ca45ec","datavalue":{"value":{"entity-type":"item","numeric-id":2904749,"id":"Q2904749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251d54d275634a7bc2e200084714d9ebbaa9d8ab","datavalue":{"value":{"amount":"+0.9086560606956482","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":"Q2915692$C9589CD4-7361-4789-8512-A9CE44CB98A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5cb526cb2afd05d884a08b9eb61b340cc6129e","datavalue":{"value":{"entity-type":"item","numeric-id":2912755,"id":"Q2912755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764df7337a25dd719a970fc999b8ad04329f856a","datavalue":{"value":{"amount":"+0.8426957726478577","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":"Q2915692$21322806-4554-4966-8E83-644BBE34B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57ce32da1a3c3e4107742bfe117161d9966ebf5","datavalue":{"value":{"entity-type":"item","numeric-id":1328510,"id":"Q1328510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccf0012a9d2c6d9587e53959945480c13155735","datavalue":{"value":{"amount":"+0.7950623035430908","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":"Q2915692$CAC8BA23-92CC-45B5-870B-8E21CF28E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bc150fd4a2465364ed2c7bfdc753c9a058b6f1","datavalue":{"value":{"entity-type":"item","numeric-id":3637235,"id":"Q3637235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ba5518c6df722f48bbbb3b4b06eee15540c853","datavalue":{"value":{"amount":"+0.7910491824150085","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":"Q2915692$DF8CA583-C654-4C5E-B461-26602B1C2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d20a486f2d15179ad39987e5c5f0793574ca93","datavalue":{"value":{"entity-type":"item","numeric-id":2969981,"id":"Q2969981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47e280d3997e3f43978ef8f67a2c406a96b9855","datavalue":{"value":{"amount":"+0.7865569591522217","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":"Q2915692$35047E75-DE8E-42A1-A70B-1BB88546B8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pumping lemma for collapsible pushdown graphs of level 2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pumping_lemma_for_collapsible_pushdown_graphs_of_level_2"}}}}}