{"entities":{"Q5878900":{"pageid":7908451,"ns":120,"title":"Item:Q5878900","lastrevid":101977949,"modified":"2026-06-06T03:14:21Z","type":"item","id":"Q5878900","labels":{"en":{"language":"en","value":"A pumping lemma for output languages of macro tree transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656665"}},"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":"Q5878900$88E43974-95EB-45D1-8E16-4376377ADCA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a6118670626aa542b133d57919b1632929f170e","datavalue":{"value":{"text":"A pumping lemma for output languages of macro tree transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878900$3D3EAAFD-1ED3-4559-80E5-19D9B72DFF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f56ab54180e999302724d6d668c3383ac37687eb","datavalue":{"value":"10.1007/3-540-61064-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878900$7E4AD15E-54E6-4582-8C38-45A716003B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1165ffb828803971fbe98ec6f387283a0cf2de2f","datavalue":{"value":{"entity-type":"item","numeric-id":882486,"id":"Q882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$C126B039-5483-483E-8327-BEEB0F734197","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$A6324A75-477B-4EF2-86DA-EC95104CFC71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878900$E5BBF906-68FC-4600-ADBD-66E530735DD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878900$E5CFB77F-5EAD-4766-92B9-BD7A3648DF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1c4fe0bbc12ea5092241ddcdf85c38aff5839a2","datavalue":{"value":"7656665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878900$22E1DABB-C0AD-4C99-9D96-B122E28728C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a822951ac2afc9b21fa496732ef684d24e696016","datavalue":{"value":"macro tree transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878900$53446F97-75DD-40C6-906C-D5C17B55F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878900$4D0A87BB-2468-4A9E-A06D-16FA6CDFC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878900$102D55D0-2804-4624-90D4-6E5EC5B11F06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$7DA02881-B978-4750-991C-526430918E7E","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":"Q5878900$8808F63D-3BEE-4880-AC03-C568280C0198","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bc4d971e87c7ff3859bcb30b3c60b1859a8f9e9","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878900$8E7B871B-5465-4732-BCBF-EEA8E146BB2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a340657d4e5fe013ec37ea9f11da88c362f49d3","datavalue":{"value":"W295290293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878900$9383780F-2368-465D-BDE2-69BFA362F944","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74790942b2e6b5ed9810f28f0f37dd82301f55c3","datavalue":{"value":{"entity-type":"item","numeric-id":5656401,"id":"Q5656401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$F7C5582C-FD37-4D7A-BC6C-74871956D391","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":"Q5878900$D4510F2C-59EF-4FCD-ACCF-322784B5EEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38abbcbe7967bc27f3df504ecabdc1246d5071","datavalue":{"value":{"entity-type":"item","numeric-id":1162363,"id":"Q1162363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$8BE183CF-802E-467E-B1DD-9B97E34DB309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$6716BBC4-4214-4665-8CF7-44A8EC74A93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980a6530e26b95b1ccced773b6d57739ceae5608","datavalue":{"value":{"entity-type":"item","numeric-id":1136239,"id":"Q1136239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$67F92917-2E47-481A-B11B-42EF91D1F4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$4DEB7C26-4786-45F9-8407-CA4D39FED52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecab7f463bf076a9d7c49913a50d25f8d97973f8","datavalue":{"value":{"entity-type":"item","numeric-id":807012,"id":"Q807012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$A0E1835F-BBF3-4437-9807-95F0A825EB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d9e161ff28bc5eaed06bd7b5efe2b101686b1","datavalue":{"value":{"entity-type":"item","numeric-id":3906457,"id":"Q3906457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$F4BF48F7-2D92-4226-89CE-B8FDB241B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f80eae19370bdb5f57fc5fbbaf84afe99eb0832","datavalue":{"value":{"entity-type":"item","numeric-id":3925893,"id":"Q3925893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$411ED8F5-42CC-4837-870B-7C22F4EDCAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a4f049b99dac818e1da2db70080403dc4bdf55","datavalue":{"value":{"entity-type":"item","numeric-id":1208712,"id":"Q1208712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$31EE6BCE-F9C2-4232-BECB-D52F8CD1752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6681cec4b5f9056120203b4d0860eb32dbb6ca7e","datavalue":{"value":{"entity-type":"item","numeric-id":3287567,"id":"Q3287567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$B1970A72-DFF0-49A0-8C80-28B55966F402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d96010334ca6e4289b724ff4e9e8d4fb0e5be8e","datavalue":{"value":{"entity-type":"item","numeric-id":4318904,"id":"Q4318904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$3139A684-E8FE-4CF1-B195-82B01E5EA007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d052db259a5d648959f83bd695edc321ec28366","datavalue":{"value":{"entity-type":"item","numeric-id":1338894,"id":"Q1338894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$2FB48CEA-4945-4C5A-B90B-E93307B00776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eacc8883da64903e7b8354ff8ddbc2cb561ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1237574,"id":"Q1237574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$10E6AB15-2080-4989-9F5C-F11818D14FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$1B9667FE-2CF8-4888-9AED-F022B30BBFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878900$CC37B4BF-1073-48F3-8E24-57A56DF11BDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83211d28bac96d79c94982b2755e7757eef43e14","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7021c2c3b9b7fd4ccb2dfb9e08295dbd39ba19","datavalue":{"value":{"amount":"+0.8188709616661072","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":"Q5878900$76831B6E-83D0-4025-B6C7-B6217C4A6DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae109ba6f05853d1710a4f7cab68a38cf973241a","datavalue":{"value":{"entity-type":"item","numeric-id":1089810,"id":"Q1089810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff30bc300215ba3489b2e422960e3db118142b9","datavalue":{"value":{"amount":"+0.7960296273231506","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":"Q5878900$8B7B978D-E883-4747-AD32-69366CD80044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe912c1d8ad53132ca8cc805ab9350161254587","datavalue":{"value":{"entity-type":"item","numeric-id":1608323,"id":"Q1608323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95643a2a3aa7e899fff520fac0f4a4bc12fbc28","datavalue":{"value":{"amount":"+0.7945452928543091","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":"Q5878900$0293351B-E42B-4F44-94B1-84F2FB92E54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851883e52907869ae256c563ef150e3522e606f1","datavalue":{"value":{"entity-type":"item","numeric-id":3732976,"id":"Q3732976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27362180ff99c32427881b8795b00f77dd4e6fc","datavalue":{"value":{"amount":"+0.7943529486656189","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":"Q5878900$1F3E6A14-152A-4DA2-AB32-32E34658BA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb0281c2010c51d1ba055fbc0cbda5c436200b8","datavalue":{"value":{"entity-type":"item","numeric-id":4415261,"id":"Q4415261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376baca23117a5183335fa634c6716e0fc02ba46","datavalue":{"value":{"amount":"+0.7793501019477844","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":"Q5878900$F986BA8C-9913-42E4-B092-D3B170FE623C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pumping lemma for output languages of macro tree transducers","badges":[]}}}}}