{"entities":{"Q3166216":{"pageid":3176932,"ns":120,"title":"Item:Q3166216","lastrevid":58133577,"modified":"2026-04-03T22:55:37Z","type":"item","id":"Q3166216","labels":{"en":{"language":"en","value":"Piecewise testable tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096731"}},"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":"Q3166216$D73E802F-FF11-4929-A01A-70749991D557","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a152d3735c9e345db409dc0ad691ba8110baf678","datavalue":{"value":{"text":"Piecewise testable tree languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166216$B2912E76-F248-4968-B004-D3A5F5FC4DC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c53d62104a4e4b906f0302c25ac0b04afd221026","datavalue":{"value":"1261.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$A99F24FC-A0B9-49BA-8F22-5A1AFD215C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5633129d4c7becde04f035cf94c206b7f5a8cd","datavalue":{"value":"10.2168/LMCS-8(3:26)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$3D6F7717-09ED-4F42-945F-2B3FBA38125F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166216$58429ACC-EEB1-483D-8FA9-2FE96D42FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166216$13677C9D-131F-4065-A774-10510C58FDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166216$A7451278-1803-4F84-9740-8CD69AFBEF99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166216$FD97FCD7-1C03-4A75-AB94-3A1437ABD569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-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":"Q3166216$B02D30F9-6E8C-42AD-9E18-8CEDA4482C8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e343162c8e24f85a41df4c8c2c94f11f460157b","datavalue":{"value":"https://arxiv.org/abs/1208.5129","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166216$96B687F4-68B1-4001-AEBB-1D386F417DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$67A73326-9D12-4597-9838-C3DC0D2184A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$CC193BFE-9A7B-473D-9F68-A96117C0A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$234F54D3-7D7B-4127-85EA-AC84D0954BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$26114394-5900-4FFA-BD53-D06F4A5DE1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79040c4e93f4e47461334f975eaa12324920e49c","datavalue":{"value":"6096731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$96109DC5-8437-4576-83FA-BBE77DC69D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3055a053aeb07e67f8ab3a8148e57f7ea20c1d","datavalue":{"value":"first-order logic on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$7D317F06-970B-4409-A280-80A7DD9BCB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$21573813-82BD-4DF9-BDF8-7CDD68955A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$0D7EF9F3-82DD-4F52-A43B-0C9A62B4F513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c83cce0405a1ac1a224c1ee76ae11be8d175baf0","datavalue":{"value":"unranked trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$275B0805-727D-42C9-8AAB-F295F8E982CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$DF03588A-96B2-4B12-ACCF-6855B037EFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc31de625471c1ca229492d307bccc5566eea18","datavalue":{"value":"piecewise testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$E8FD31E1-BDDB-4BED-808B-F07A8C0533D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b1cb241d323afd862f230f991b3a4c47806658","datavalue":{"value":"syntactic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166216$AEDDF813-EEB9-4360-A61D-C8F7A45460E4","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":"Q3166216$997793F6-0DB8-4581-B678-004111C18E9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"581fe03087871ce7bbf2cef658ec69374b7690a7","datavalue":{"value":"W1965525337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166216$860C3859-3277-4807-924A-433423FE813F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdc869dd5a4ec780320105d766b4b715104c58d","datavalue":{"value":{"entity-type":"item","numeric-id":3638101,"id":"Q3638101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362e027c15f3484b220858816df35a0f7fdad253","datavalue":{"value":{"amount":"+0.8420156240463257","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":"Q3166216$B02E3C59-296C-48ED-A5D5-EB248B483167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b800ad95d29a4906e4d2074eba0e649f343ab1c6","datavalue":{"value":{"entity-type":"item","numeric-id":3224693,"id":"Q3224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadb0ced6e01aa4e8f9ba3b70d5314119f055b33","datavalue":{"value":{"amount":"+0.8274422287940979","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":"Q3166216$9A195AB0-76E9-40CC-9D6C-984B94D813FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84469827be5259f1ac02be4324fc8b5a919f7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":641179,"id":"Q641179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fbd9349b751ea2a37369b231e9f269d17d2260","datavalue":{"value":{"amount":"+0.8264583945274353","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":"Q3166216$E99FB58C-A5F6-4462-AA57-160D98D294A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6158d38739f67547049c7e39ff75aebacbaea4f3","datavalue":{"value":{"entity-type":"item","numeric-id":1391537,"id":"Q1391537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2ab745fea6fe2074dc35b4f41ff46dfae676e4","datavalue":{"value":{"amount":"+0.8094987869262695","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":"Q3166216$0636B6CA-7E9B-46E5-B5D8-0972475276D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6289a540905d24f738eaa95ecad57b596e7fd43f","datavalue":{"value":{"entity-type":"item","numeric-id":672861,"id":"Q672861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c3a48282a6b61e580dba846dc6cb396555ee87","datavalue":{"value":{"amount":"+0.8008109331130981","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":"Q3166216$B83AECF4-D7AE-4543-AFA3-991A846C1C7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166216"}}}}}