{"entities":{"Q1325836":{"pageid":1336586,"ns":120,"title":"Item:Q1325836","lastrevid":68466732,"modified":"2026-04-12T23:53:50Z","type":"item","id":"Q1325836","labels":{"en":{"language":"en","value":"Bottom-up tree pushdown automata: Classification and connection with rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567717"}},"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":"Q1325836$96982CC0-E367-4141-8551-A4C9F9FA2183","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d5b4909430550dda0b243bc6b6e28e120c1260","datavalue":{"value":{"text":"Bottom-up tree pushdown automata: Classification and connection with rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325836$CBD31B04-FC19-40FD-81D3-5D891CCF337B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feb3d8308e06eacdd829fe683d5f6d84b61dc710","datavalue":{"value":"0805.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$D55C5FEB-C0D8-44C8-9298-2B052183EB49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d968a5709ec78264b3118eb0356f14257e2baf0","datavalue":{"value":"10.1016/0304-3975(94)90101-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$7663B6FA-1A97-4AAC-A3F3-84D3EBA38F9A","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":"Q1325836$DF689934-C79D-47E9-8459-65187CA219C4","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":"Q1325836$DF5E09ED-B26E-4AC4-901B-EB3D3C62995F","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":"Q1325836$F584FC1F-06D9-499F-B31D-A2638DAE5289","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":"Q1325836$B4522DA1-DCB6-464A-A6CC-7390B94AF483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$8FB164EE-3EE7-44CE-96CE-3AA0A5C51F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325836$37B15E1C-F670-4B13-8058-AA0F97CC5BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$5A032412-7E72-4511-BC41-476EB85D63D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$DD09547E-5A73-4C82-9E10-AFB7DAFCBDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c5fa1ac494834e759869ab3eb3dca7f8b67630","datavalue":{"value":"567717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$D2DCFB25-4F80-4E4E-8597-0E1EAB574CE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f023cb536fd1a0b5bf5513c4b4df5cda7d16a31","datavalue":{"value":"bottom-up tree pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325836$66E15CDB-8298-4E5F-86BE-6D5201EF9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325836$0CE2A570-B20D-4A9A-9A97-C33DE344CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325836$2D48AF2D-4C28-44F3-941B-17876E1AF6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df60133b57439702b98f7d064ce4b54fe56de855","datavalue":{"value":"ground reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325836$7EC6848D-E1BE-4934-9CF7-171DFC6D15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325836$01E87DAF-CD50-4BD2-B727-5725DA5A1EF4","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":"Q1325836$9A6B4416-B566-4134-A27B-5C43FD002877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343c9a84ee37a06b4889b19dec524f13345d02a5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90101-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1325836$D0A2FB5A-86FC-4549-8A23-A5D68D33D11F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05639d37cbf0a1b49efa846a77322d2679058e06","datavalue":{"value":"W1974542856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325836$CFD6A7B3-F84D-408A-84D0-6ECFD471C466","rank":"normal"}],"P223":[{"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":"Q1325836$239F6F0F-3FDA-43FC-BD8C-A32C0BEEB56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$0BF3CAC8-C935-4EE5-9CD9-C85C14D89747","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":"Q1325836$65D045B4-73C5-41D9-BBC8-D2BA2E640217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f444ea3b0c03bd97d4976709b0d7a70776bbbcba","datavalue":{"value":{"entity-type":"item","numeric-id":3974858,"id":"Q3974858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$5542F424-D4CE-4EE0-9A1E-C036A0122709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$4DD72D33-9B2C-4C0A-9999-FFD32AE9CCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$DF40BC4C-EC1D-4E50-94A9-2766DFA247EC","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":"Q1325836$249C113A-62EF-4CDE-A627-7427F49CAD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a849a2f6b1d15fbc90157318dbf7f60c1d60459","datavalue":{"value":{"entity-type":"item","numeric-id":3485880,"id":"Q3485880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$EEFF41B6-BBC7-4BEA-8C22-9A9EBF23F6A3","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":"Q1325836$49389E7B-D613-45EE-B887-67B7391EAB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$80CFE967-A169-4923-B0E2-F0536DBD2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890bcb7a6ce06d210eefe24810a137b426c9727a","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325836$D7D8E8AA-09F7-4FBC-8A1A-66CC9FAA9077","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":"Q1325836$2BF51652-676C-4D94-A966-5A4D49A2E195","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":"Q1325836$2731210E-57CE-4184-B542-235BBF4B5F32","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":"Q1325836$E8A93BE3-DCA1-4FD6-99E2-ECFA707A59AF","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":"Q1325836$103F5217-FA45-4F88-9090-FBEF3CDF3F66","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":"Q1325836$92F91B40-11F3-4B90-8335-42076DCF88AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3e4bcdda27a9570c6a3a60e14f3418340646b0","datavalue":{"value":{"entity-type":"item","numeric-id":5055768,"id":"Q5055768"},"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":"Q1325836$904A5836-2175-4553-8065-DF56BD2FB32E","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":"6cec2402c9bd29273fab4e111a91ed1fde7e6107","datavalue":{"value":{"amount":"+0.8239889144897461","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":"Q1325836$8EE3B8EE-BCC1-4412-A50D-DA1E5E252361","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":"4afddc8059a7f60371e1ee61abb6568aa97101f7","datavalue":{"value":{"amount":"+0.7687826752662659","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":"Q1325836$C865FED2-B3EE-4D81-927D-0CD65FE5566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df9e8403b4ff8b7ae375070fefe6302a5145034","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa3efa2acc95606f08d9ad7e6814a250197e014","datavalue":{"value":{"amount":"+0.7619177103042603","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":"Q1325836$CFC98742-7A64-4404-A0DB-A1BA4B04E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c3f96f0a1ab10ae9c08eca9356c465326873e5","datavalue":{"value":{"entity-type":"item","numeric-id":5432336,"id":"Q5432336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6507a6059cefe17424d2c21953b9a041d5a4b4f5","datavalue":{"value":{"amount":"+0.759468138217926","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":"Q1325836$3254B68A-E8A7-4B9E-99B8-3F0CA5DB2206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bottom-up tree pushdown automata: Classification and connection with rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bottom-up_tree_pushdown_automata:_Classification_and_connection_with_rewrite_systems"}}}}}