{"entities":{"Q5055768":{"pageid":7085345,"ns":120,"title":"Item:Q5055768","lastrevid":47785849,"modified":"2026-01-02T16:50:01Z","type":"item","id":"Q5055768","labels":{"en":{"language":"en","value":"Bottom-up tree pushdown automata and rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631175"}},"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":"Q5055768$37E7636B-067A-4595-A97D-C960B7AEB0F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82f2c3d40d04c8d49fe1ba361d8e4c61bc75c55b","datavalue":{"value":{"text":"Bottom-up tree pushdown automata and rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055768$04B8C058-2961-489E-A3B7-883FC991463D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a8af011b5bcf25536548e4b572ca8e69d4a28f7","datavalue":{"value":"1503.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$1AF96AA9-1036-4D22-AB9F-7CB772BCA8D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b901dbf2c6e1991f64a0591cb2f77bf3d70d9920","datavalue":{"value":"10.1007/3-540-53904-2_104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$2A68C1F1-5DC8-4D95-A3C4-3D08A36640B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab112dfb8093cddbb43a84b0bba5453807b1110b","datavalue":{"value":{"entity-type":"item","numeric-id":1325835,"id":"Q1325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$1AA9E25A-9FCA-4D0C-BDEC-DC411DDBE51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"875746283ab9110cee2a053196fe6d5fd6d4bdb4","datavalue":{"value":{"entity-type":"item","numeric-id":918213,"id":"Q918213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$69075F57-D116-4000-836D-B81FE0269988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57baf9a644c4f1f2a3d7190384da4c09334baa1e","datavalue":{"value":{"entity-type":"item","numeric-id":1041036,"id":"Q1041036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$6CFA7F63-F1CE-43F9-B0B0-9CBA50F81A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$8819D897-55AA-4A14-A587-E298301BA8D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$8289D6C1-EDFF-45F9-BF17-6F9419887160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055768$025A0588-900F-422D-8808-15A947F72115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$408397CD-2C74-42F8-B766-0EC1B023CA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$4E311126-B76E-41B2-AC7D-4F7BAB03D75F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f115b7968957f39f2a9744b1b36983579c88ec84","datavalue":{"value":"7631175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$7ACE4413-BB2E-4F1F-BCA8-87A764F70346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$0A8CF5B4-4202-4656-A922-A04B75856824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$B05A813A-6278-45FD-9276-E9F0ED5EA0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6dbf42bc269958acea2d313f6db5c034566a53b","datavalue":{"value":"Church-Rosser systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$BAB815AA-7963-4B5D-A342-8B4E7B591D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e3f2cc193b4bb085a6feac021bba984ea1f262","datavalue":{"value":"Noetherian systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$0C30DDD6-F9EC-4C86-A78B-7806640E969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad7f48bbef5fa96ece81ec27b98039a02c4f4cba","datavalue":{"value":"convergent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$B70322FD-1079-4E8A-BA56-EB3FE773702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$6FF27A6D-0BCD-4D6E-B778-784B771A988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96b1801301cc846902db332859d1245f2c2ffa4","datavalue":{"value":"pushdown store","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$530D2508-1086-4904-8A47-9743103003E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055768$2ACF2DA4-ECEC-4779-AA8B-F3694A5351DA","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":"Q5055768$3197E404-9985-4FF1-8890-A5E25DE9D3F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a22667034e063caf05aa80d642145357715b159","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055768$07C903B0-0E35-4045-AF85-B6E6ED05AD9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16cabcec90f64df0d2d5a9b0c448ddd7fdeee9b0","datavalue":{"value":"W1526145713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055768$766A17D3-884A-4B82-9DC7-BBB0228A18D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$5E3D41A9-AB58-44E0-9455-7784DFF67E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$8F4C45E7-1BB5-4539-8045-8F865B32A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$B321011D-547D-488E-B9BC-EA3B4AD0F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5875c77a713b9ff63d317e3849e64dc2e65a05d8","datavalue":{"value":{"entity-type":"item","numeric-id":5055768,"id":"Q5055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$57FF912F-2897-4F5F-9BD6-B14D17860B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9132dc4fa5802adc529bd12f6d0bd4cfacf9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$923237F2-2E18-4636-A33E-309B4B931C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d230b16e1b0f6cbdb78aca3f14c9e2b7e4826ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$E82E08E5-0AD5-458C-8E7B-040DABC90FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d252a249c04adfa90844934db64f7224c0d0760","datavalue":{"value":{"entity-type":"item","numeric-id":1058866,"id":"Q1058866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$539A7FF1-C9FA-4BD1-A5BE-82211CFBF626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$EE387FA8-7B03-44A2-9670-C94F62DC7F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34b279e5665ff3f0c5e6f8ec73982d94e9f3ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3036724,"id":"Q3036724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$D0D0355B-849A-41B8-94DA-DDF20F9EC9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$F2A1EBB8-1718-4A7B-A645-88438B5330B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$5456BB02-4B40-4CC9-9EB1-5FCC251A5195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055768$E73B1566-2D33-4FC0-88BD-72BB06947B45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"988e4ec386eda641296ae419a53bbedffc55366e","datavalue":{"value":{"entity-type":"item","numeric-id":1325836,"id":"Q1325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a8250e4cbf297963c6832ecd29a4c4671601ca","datavalue":{"value":{"amount":"+0.9586738348007202","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":"Q5055768$5AD20543-2CBE-49C5-A1EE-6B5413F54A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69caea54b2d49d02885203c2bc45ce8241cf80d2","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac64eadcfa3769962c10a616e8d4a09a6600fc1","datavalue":{"value":{"amount":"+0.8271032571792603","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":"Q5055768$D53712A1-7085-4518-8545-68A5AFE524A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984060b406d4df4f84fe8efa91f1ec167f66636c","datavalue":{"value":{"entity-type":"item","numeric-id":1019744,"id":"Q1019744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea5ab3b46c6fec99e50ffc73df63000fcfca5ab","datavalue":{"value":{"amount":"+0.777886152267456","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":"Q5055768$C082CA44-A437-4F2B-BC58-EC2A6825C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfdc2f502c138f8b67e906239327596e51f87d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482b05bb554cf125fac8565a3e79bbed490a5f99","datavalue":{"value":{"amount":"+0.7647771239280701","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":"Q5055768$5BD49A8A-32C6-43B2-95E4-AA1DA897003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a51529439760a7758a0a2f613c46df49eabd80","datavalue":{"value":{"entity-type":"item","numeric-id":741256,"id":"Q741256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f534a92ba7b96d52120ef7e3df9f5f7007bf4f6","datavalue":{"value":{"amount":"+0.7458099722862244","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":"Q5055768$1D868E54-3A65-4CE1-B651-4A37BEDACC2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055768"}}}}}