{"entities":{"Q4598238":{"pageid":6627823,"ns":120,"title":"Item:Q4598238","lastrevid":52981082,"modified":"2026-01-23T23:16:30Z","type":"item","id":"Q4598238","labels":{"en":{"language":"en","value":"Deciding piecewise testable separability for regular tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820286"}},"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":"Q4598238$B3D066E0-D9FA-46E7-824C-B418E6A02CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d2b4e89e1cf0b37d8d70cd9afdaac585771e6ac","datavalue":{"value":"1388.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$B1BCBAA4-9672-48F6-8ABE-CE4F2DB79B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598238$719CC204-F1B3-4ACD-B623-439CF42E9306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598238$D406BDCA-09E5-4ECC-90D1-DB75997F57D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598238$C337298E-AB1F-48D5-9C95-69CBF8E4041A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$B9E2EC50-85F4-4074-B64B-C5F2DA5BA0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$2DC4DE97-899F-406D-A165-D823FDADA045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dd96876e76b636096653d818bd1118d2354726f","datavalue":{"value":"6820286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$ADA00DED-E28A-4967-A698-07357916E66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ff59ef55abbc49531789be75146892803a5475","datavalue":{"value":"well-quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598238$CEEBB996-9178-4F2A-B58C-631A295FA592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598238$B4C0CC24-53E7-469B-9D2C-88231CF9B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598238$1F7F1AD1-B67D-43FA-8230-D828EAE599A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598238$9579FC73-FC75-4C70-84AF-BBA0FE0601B5","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":"Q4598238$4BFCC5AA-DF45-4ED7-811E-4C929116E2E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afa683bd560d902cd2e42210f2d0929004fc8647","datavalue":{"value":"https://hal.inria.fr/hal-01276119","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598238$428E3D3E-9F49-4558-AC56-C95453E92BDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff6207268d1bbdcda3b75e4360fcaf46fc8d73ae","datavalue":{"value":"W2275415862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$CD5EC6F7-4A81-4E41-8333-EBEBB0CD4F7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24a7aa69f7610ea768fa86c03e31acc9b3c37385","datavalue":{"value":{"text":"Deciding Piecewise Testable Separability for Regular Tree Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598238$F50FDDFA-F5B3-4A55-8C79-5C69E4779BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0497649eb60fa6a403a87b6619dcb27243555f69","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598238$8D534FA8-3282-44CA-A43C-8065DE256B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28e2fc11c980b9b210058855b7f11cc54d95124","datavalue":{"value":{"entity-type":"item","numeric-id":4560219,"id":"Q4560219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76fcb510545b7b4c25a50c8c5d485c2049592f","datavalue":{"value":{"amount":"+0.8457736372947693","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":"Q4598238$34BB1C64-6DFE-46AE-BFFA-CA0ABF5701A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb15bb1ba38dcf323ca5543a6161ca193fa54ec","datavalue":{"value":{"entity-type":"item","numeric-id":2947878,"id":"Q2947878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2e2e1e483e2e4c02017725863e2697fab84365","datavalue":{"value":{"amount":"+0.8387807607650757","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":"Q4598238$9AB6CDEF-AEB5-4CC4-89CB-5CD539A73DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62e9d66e5eb78b9a6e123185a6c85cb0735af2","datavalue":{"value":{"entity-type":"item","numeric-id":1698734,"id":"Q1698734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841e71adfc46e2da65e59eb60f6596c0baee87ba","datavalue":{"value":{"amount":"+0.8361613750457764","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":"Q4598238$910673BA-35E1-46AB-93CD-009A1C8C4DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b2828160a66b0cd4d172cb15ca08928cb6dcaa","datavalue":{"value":{"entity-type":"item","numeric-id":5145372,"id":"Q5145372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6f368cd3164893f879157442e42d774452dd35","datavalue":{"value":{"amount":"+0.8261864185333252","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":"Q4598238$D861352E-E1EE-4469-A502-58B9BD65B670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d665027a65491985608a8a7baf07e46f32342845","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0281a6487ad08ebe0a3a69074da52137bce7ce","datavalue":{"value":{"amount":"+0.8033856749534607","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":"Q4598238$7367C85C-5479-4F30-B235-43C2153958E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598238"}}}}}