{"entities":{"Q2969981":{"pageid":2980706,"ns":120,"title":"Item:Q2969981","lastrevid":79788356,"modified":"2026-05-06T14:42:45Z","type":"item","id":"Q2969981","labels":{"en":{"language":"en","value":"A pumping lemma for flip-pushdown languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697040"}},"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":"Q2969981$25A34363-7A68-4EFA-A79D-60991C2CC2B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0e602e242d0815c13a422db974f5822eaa8c5a2","datavalue":{"value":{"text":"A pumping lemma for flip-pushdown languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2969981$D40738CE-14D1-4937-98DB-972B8DD40ABF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d53e8e7c231789a131993f8372ab6d979e35d27","datavalue":{"value":"1362.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$B2F4915C-83F4-4F53-A870-BBCFCFFF2BAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc9308f7965b39c12d76bef83967100a21dfaa4","datavalue":{"value":{"entity-type":"item","numeric-id":782589,"id":"Q782589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$DCCAA523-ACAC-4E7F-87EF-6F9E6C68CE52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$E1B1F321-EB00-471D-A2F1-B39E710A65DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a592c9071908a1ca635ee334b12e4b112147b08b","datavalue":{"value":{"time":"+2017-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2969981$68E20390-7240-4A1A-8BFC-B907CB32DE22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$922CA49E-27A5-4829-B1DD-2C31568E0181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dba1dac74394bb9a9a01a814ca9edbe04f0d7e3","datavalue":{"value":"6697040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$81F3BCAB-FB34-4E4C-8573-04C9A95D419B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969981$3C0F3BC2-6679-41EA-912E-57E6F6D139B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2517cfcc178d967dc1da6736e84e8dc29f98d7b","datavalue":{"value":"flip-pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969981$C4B8F4A0-3A88-44C5-BA54-5B1DF4F45465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0057ee85a5199f41f949e1a111c0c559fe94a78e","datavalue":{"value":"flip-pushdown language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969981$D415903E-9978-48C1-B20D-1D78F35D8C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b94e87945be80d1be4aa9b17b1f0f134cffc90","datavalue":{"value":"reversal-generating context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969981$A148466C-F73F-4AE2-84CC-39E4FC126719","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":"Q2969981$F6B7D0EE-1BDB-4840-A5AD-3F0493764528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7773d421abb20885098edac02497016b3208efe8","datavalue":{"value":"https://doi.org/10.1051/ita/2016003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2969981$FBF9659D-27D0-4FEF-B488-F83EA5A15422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f91d01c369029d0d0624d3f4856dc2ac68bc2c6","datavalue":{"value":"W2483135985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$ECB69C50-BC11-4C98-8097-626E88A490BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79cc7a9ebe8be9a9413fa37841fd2a87aa9550b7","datavalue":{"value":"Q124832531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$4C529818-D911-4777-9B2F-AFFF0ADB5AD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a287346ee1076b728a5bf1d294c9ed3db8a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3967068,"id":"Q3967068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$16187C16-38F5-49A5-A4F6-5400916FD242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a6823e76c11ef1f853772c882ad2f84a6d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3292904,"id":"Q3292904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$4F389871-7760-482C-9135-C1059739251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f117a8787bfa765639433ce6934f7c48a300f9","datavalue":{"value":{"entity-type":"item","numeric-id":5711980,"id":"Q5711980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$199A9319-722D-4441-8CDD-9735DDCCC900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88614d4db9f298fc1e2f8d096328ce07f1f01e91","datavalue":{"value":{"entity-type":"item","numeric-id":2819402,"id":"Q2819402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$DD46C81C-6FB6-4E15-ABD1-75A2E256FC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf0e41b78de21ea3bb50e6ae49709b5465d5777","datavalue":{"value":{"entity-type":"item","numeric-id":3260847,"id":"Q3260847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$D8696F1C-EB86-4731-AFC4-AF3DAB6D7E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35524763c2d5f34489bbfa5ebd3e578eb98fb27","datavalue":{"value":{"entity-type":"item","numeric-id":2448114,"id":"Q2448114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$450E3336-D329-4C44-A029-85F78D5B7364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e161cca7609632d1e31e769a8c7adc81dbc3545","datavalue":{"value":{"entity-type":"item","numeric-id":797293,"id":"Q797293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$86895F35-628F-43B4-A195-CCD901F989C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4441508652440215080fd25e823d2f706621b70","datavalue":{"value":{"entity-type":"item","numeric-id":1209361,"id":"Q1209361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$B0E748A9-C4B3-4CBA-84BD-128A5B59EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$ADAF170B-4E5B-4271-83FD-EE36DE45D732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b2ee9aeb13022271348a219cb92ddd34401177","datavalue":{"value":{"entity-type":"item","numeric-id":4449198,"id":"Q4449198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$5086A914-3EFC-484E-9E9D-99AA09EC2702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a46ed610301e4537dbe78335e7cf0fa19b005","datavalue":{"value":{"entity-type":"item","numeric-id":4452076,"id":"Q4452076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$9A22CB92-D246-4CFD-918B-48C20F0FBE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$2DA719A8-8094-4918-A771-21FC6F60795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1056e97cdfe29addf5d4b6666565c8fe84d1447","datavalue":{"value":{"entity-type":"item","numeric-id":5175116,"id":"Q5175116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$D4E91D7A-BC5C-49C4-BA7E-88E3F7C811CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1849ab32e5f722603619b3b709b4b800dccb65f7","datavalue":{"value":{"entity-type":"item","numeric-id":5526989,"id":"Q5526989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969981$8594377B-E66A-471E-84B2-F6EA1664824D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d11bf7885a84e848ecb60b6aa522903255ac3c00","datavalue":{"value":"10.1051/ITA/2016003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969981$CBEA83DC-53E0-48C9-A00F-1DD6215138F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"883aaf2806ba9a8861484f5ed13f9ce4ead19d84","datavalue":{"value":{"entity-type":"item","numeric-id":4449198,"id":"Q4449198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df050f9e9f0ec852472cf0ff335266403a8446d5","datavalue":{"value":{"amount":"+0.8496333956718445","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":"Q2969981$2A7E93D7-275D-458C-974D-4FEC5EAFAE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a7cc967402d2e04dc93f76ec0b4955f66efa4","datavalue":{"value":{"entity-type":"item","numeric-id":5175116,"id":"Q5175116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91417903783615b4a9e8bc52b8424850712d6f68","datavalue":{"value":{"amount":"+0.8187764883041382","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":"Q2969981$AEA1F597-AEF4-4081-9AF3-CC452D8677C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ebe38e4b7245b7d413621428bb56c4e6699608","datavalue":{"value":{"entity-type":"item","numeric-id":4365009,"id":"Q4365009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c2311359c0991efee4dcdf248b1a8af8cf4479","datavalue":{"value":{"amount":"+0.8076819181442261","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":"Q2969981$925026F5-4B71-433E-BF4A-ED92FD60A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d146537accd06e93516e4bf536bd75f32f035d60","datavalue":{"value":{"entity-type":"item","numeric-id":1081309,"id":"Q1081309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde7f19f26d3ea53c4d7663662a6f04ee167a3a8","datavalue":{"value":{"amount":"+0.8029742240905762","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":"Q2969981$8C40AB62-9A0D-4D10-A840-208327BBAB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bfc00249d5ad381ea86e33b301d1c2d191ae69","datavalue":{"value":{"entity-type":"item","numeric-id":4452076,"id":"Q4452076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7303c6a868f0cb5380a29c4a6e0a48161396b8","datavalue":{"value":{"amount":"+0.8016290664672852","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":"Q2969981$187FC72C-C1F6-4897-BB23-416F23D75A2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pumping lemma for flip-pushdown languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pumping_lemma_for_flip-pushdown_languages"}}}}}