{"entities":{"Q2076992":{"pageid":2087734,"ns":120,"title":"Item:Q2076992","lastrevid":55401208,"modified":"2026-02-17T15:39:04Z","type":"item","id":"Q2076992","labels":{"en":{"language":"en","value":"Lattice-valued tree pushdown automata: pumping lemma and closure properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7478952"}},"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":"Q2076992$6716347A-1D23-4F60-9D1B-D56E393EF75A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"462fa9779052e8fa88057af3711e38e9006b1270","datavalue":{"value":{"text":"Lattice-valued tree pushdown automata: pumping lemma and closure properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2076992$2FA690A1-F80D-4AA6-906F-06BCAB805D29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e6cbddb448417dd211a92bdcffd7140ef0094e","datavalue":{"value":{"entity-type":"item","numeric-id":1701898,"id":"Q1701898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$88EC9651-3533-4D60-9CDF-6ECA367A4205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c18ccde8e4cfc44d75ddc4ab3245b421bd79d66","datavalue":{"value":{"entity-type":"item","numeric-id":1615412,"id":"Q1615412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$DA38D824-F5B4-44D6-AF54-768691D189BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ceab02abf9c1dd209b376712c07b7041673782f","datavalue":{"value":{"entity-type":"item","numeric-id":2076991,"id":"Q2076991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$95FDC9F3-97EB-457C-A94B-ABA425D34421","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$D32072B9-5543-4E68-B20F-4B1834F2DA23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47ee190546176fc30e7811c0669cd81940200191","datavalue":{"value":{"time":"+2022-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2076992$4F3D0C53-D2A7-43AB-B7EB-BD27C3DB7176","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2076992$C664D4F5-AAAE-4543-B31C-07E5C0BE3EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71dd99ef6c9010d65851f6fa6607856e9ca72a8d","datavalue":{"value":"7478952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2076992$19584DF6-98C9-419E-97B9-C099DF8CB447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9e46fc81876542913d9b56d05e9c2832b59c2f","datavalue":{"value":"lattice-valued tree pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2076992$45D1E567-C5DC-4C36-996A-79F38D26FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0483c2702055a48ac25fcfbecb80e2f1de542f","datavalue":{"value":"lattice-valued context-free tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2076992$F51FEC99-E6BB-4EBC-B254-CFDD6B1205D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2076992$670FD637-7594-46F3-9A42-3E4F1C54FDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2076992$095425ED-244E-4B1A-BEC0-CB4E8462C140","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":"Q2076992$3FD550BE-E123-4BB6-AE37-C7AFD5F0DF7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c2c1ceb7669cdd5b6bb52575f76cbdd8cf0c468","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2021.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2076992$CEBBC87D-201A-4DAC-AB9F-15B12B7C7EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"177dc022a0b0e5763f3a2d4ac46fdc0a1f614983","datavalue":{"value":"W4200019305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2076992$7DAA62FF-843D-4C0E-A3D6-738BAB3ED373","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"83edd1e6b3270122725307f62e56593af3bad290","datavalue":{"value":"Q124985066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2076992$3A4C77E1-FCF7-4687-B529-B6ECD31270F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219f6b5b4ce63e56b73b49b60ccb5dbf8aee6de","datavalue":{"value":{"entity-type":"item","numeric-id":2270250,"id":"Q2270250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$D27DC245-72ED-47A8-9377-A5065FAFEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef6b111eaf31c79dd62da5120d8fafa68e5d48c","datavalue":{"value":{"entity-type":"item","numeric-id":1770559,"id":"Q1770559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$81831074-E93C-4820-ABD0-4A08F363A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dff9a74292ed2f617e0427e4e3f10c58de3d18","datavalue":{"value":{"entity-type":"item","numeric-id":1777963,"id":"Q1777963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$B832700B-EC8F-45F3-B8FB-5460A3F28BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfbe2e489d8ff6586f2982512a5715a0e85c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":2372277,"id":"Q2372277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$22C30609-7BB0-403C-8BEB-E53E9C9B087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dcd16ebe6f75bdb37e242414a636c4389dab68","datavalue":{"value":{"entity-type":"item","numeric-id":2001163,"id":"Q2001163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$91CF31F9-81EA-43CE-85E0-5FED40F5E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a16dcb82f23513ae6cb09c424e3624532ebfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4626611,"id":"Q4626611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$F416B1AB-5990-4D82-8CD0-8AE5E8D7ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdc3649d4212c45f3bff2ea510bd04791c40231","datavalue":{"value":{"entity-type":"item","numeric-id":1759726,"id":"Q1759726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$852811FB-6F40-4C88-904C-D6199647C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3607a1a0998c5cc7569de6cf6e392322bb57d390","datavalue":{"value":{"entity-type":"item","numeric-id":1701899,"id":"Q1701899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$E7B7BBFA-9663-498B-BB34-C9824EAF76C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4272fbf560847c98b6dd6467e0edb14781ad88e2","datavalue":{"value":{"entity-type":"item","numeric-id":2392561,"id":"Q2392561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$C6533E2F-B701-45E7-9ED6-561010594A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e573cb85e2e36f0db4ff472320293b80a89bea","datavalue":{"value":{"entity-type":"item","numeric-id":3917489,"id":"Q3917489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$958A4F5A-3655-48FB-9641-C8C61F2E3C3B","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":"Q2076992$83871655-347A-4B88-A9AB-949ABC7F13ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c608f2712373eb91c0a78fe01a013fce3791ce03","datavalue":{"value":{"entity-type":"item","numeric-id":4281553,"id":"Q4281553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$BE1BD9D9-B896-4E92-BFE9-F52714835890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c665279d7e5b45c3e1b50e2b8d2dac4d92cbfdd2","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$81660975-EE2D-40BB-9A14-0F813DDF5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cf1457944522d0f410528723bb90c7608d8547","datavalue":{"value":{"entity-type":"item","numeric-id":2634346,"id":"Q2634346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$40EE687F-7263-4E2B-99A4-8A8F67FC2829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9361845b4296e504fd43fcb31884525349e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5273403,"id":"Q5273403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$61A77503-1EA7-43E5-A678-43FCAD0FF22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2824d41359829bbbc93afd53f9d13cff2a3da","datavalue":{"value":{"entity-type":"item","numeric-id":511624,"id":"Q511624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$83BB757B-E9EA-4BC3-9CBE-5FBCCE95E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dfb8315dd24c555af13c836f1712064bc1f0bf","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$BBE21265-714D-4D81-9C27-1E3B36174087","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":"Q2076992$57C1F440-1611-4497-9711-F52C4A181C94","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":"Q2076992$44B411AC-BED8-4E68-B44C-89D7DE2A666E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb27b7af34ab0402f1db377455dec0d9d637933","datavalue":{"value":{"entity-type":"item","numeric-id":878749,"id":"Q878749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$7BEA5048-594D-4303-A81E-33A82B874DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$FA92A160-E657-4B76-84E8-D04FA8A40B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3bf54f38151bc978dc7c326bdc4c42560827a7","datavalue":{"value":{"entity-type":"item","numeric-id":1678419,"id":"Q1678419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$D9ABDC12-9972-469C-91FA-D129917E8EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd81c057ec4e9185b0875c4080a754974db082ca","datavalue":{"value":{"entity-type":"item","numeric-id":5919885,"id":"Q5919885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$053BAEA4-C44B-4A9A-AA37-1061B0BDEDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e35c8657e66261cec2907dbb54c36b995c5e25","datavalue":{"value":{"entity-type":"item","numeric-id":1037930,"id":"Q1037930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$A3EF03C6-01B5-4BA7-A687-6E547A121F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627d01e0ff690f64f1e10e52afe29ca61e1a1074","datavalue":{"value":{"entity-type":"item","numeric-id":1037929,"id":"Q1037929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$E25FBC8C-8B6B-48E0-B83A-DB517BDD9142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3444889b734c6910313261b391da4fe420ab38","datavalue":{"value":{"entity-type":"item","numeric-id":2375678,"id":"Q2375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2076992$3E5B7216-917E-46AC-A471-2D61E71F48FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c24ca559e63d49772ffb2d466cf92471c3c3e1fb","datavalue":{"value":"10.1016/J.IJAR.2021.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2076992$0B26EE4A-75ED-4957-8022-BA02A4515209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cae4b2485d9c3f32c1d1bc1c2993347a0bc49ac","datavalue":{"value":{"entity-type":"item","numeric-id":1701899,"id":"Q1701899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f5946dc2de239a3b85b2826a1a627cdd3d2685","datavalue":{"value":{"amount":"+0.8193643093109131","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":"Q2076992$9A859DEF-E69F-4620-9987-133C2FCC33A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fd27d9b1acf1ab05a90a7439a9c3ef444d1a48","datavalue":{"value":{"entity-type":"item","numeric-id":5196119,"id":"Q5196119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e92506e0af562b893e5daafff2978190c73e3c7","datavalue":{"value":{"amount":"+0.8062411546707153","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":"Q2076992$C8068D00-3F54-4FE0-8101-B477B84CF5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09992776302732b44eeed8ed2f79dff8e6061b2","datavalue":{"value":{"entity-type":"item","numeric-id":1037929,"id":"Q1037929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823999a20418b23122fa8dbbb8b20e7839c26360","datavalue":{"value":{"amount":"+0.7861030697822571","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":"Q2076992$2F743558-9681-47F6-9174-1F70F20CA71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b14e5a2d1d991183f81fd051ad6167de4f1b54","datavalue":{"value":{"entity-type":"item","numeric-id":1759726,"id":"Q1759726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca527ac6fe60aca65c80abf64df47ff649fb1ce","datavalue":{"value":{"amount":"+0.7858478426933289","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":"Q2076992$7E568354-D0C3-4348-ABC9-51799B271898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8d86f937423c8069f6f2f050805740d982d07f","datavalue":{"value":{"entity-type":"item","numeric-id":4809448,"id":"Q4809448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd38502ced726e7fda2473319ddc23a625b0ce4","datavalue":{"value":{"amount":"+0.7786264419555664","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":"Q2076992$A7D56DCF-3421-4B25-AA8E-AFF2B9186137","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2076992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2076992"}}}}}