{"entities":{"Q3769988":{"pageid":5799894,"ns":120,"title":"Item:Q3769988","lastrevid":51977423,"modified":"2026-01-20T16:28:26Z","type":"item","id":"Q3769988","labels":{"en":{"language":"en","value":"The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028933"}},"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":"Q3769988$6FECBB13-6C66-4B4A-B638-0751447656FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fc1692ff424c6bd7dc766a93d3f75e25cc8890c","datavalue":{"value":{"text":"The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769988$7FF6D99F-6774-416D-B229-465894313F44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98995e6ecc09c08fc1f0ef72f65625bfc85d6178","datavalue":{"value":"0632.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$AE367248-6C48-42F9-838B-45F8ED456F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18ac3b137fdf950cee90ad3102fa3fb36a6c5ce6","datavalue":{"value":"10.1137/0216018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$7454E2B3-598A-4F52-BC96-404129C04C7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b50d9d925c1d915b90d3836e3c8221c58fe283","datavalue":{"value":{"entity-type":"item","numeric-id":582130,"id":"Q582130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769988$790419B9-E39A-44EA-9733-5EAD78825B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91cebe2c3862ce21207f21b89197103c43f307fb","datavalue":{"value":{"entity-type":"item","numeric-id":223814,"id":"Q223814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769988$284CF167-2955-48F5-B765-3B24C7F988AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769988$29868F80-5076-4B54-A7E6-440041058F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3769988$B1CC0E60-2586-4AF7-8EFD-FEF2DAA47039","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$41857293-120F-4E53-99B7-2060FC06DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$201E8210-8BDA-4026-B4A7-EF914D8439BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89dcfdb5b8f7292645e58a226a62903c416062cd","datavalue":{"value":"4028933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$44F5F1CD-8C92-4BE4-82FA-8A082FCE8031","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42499cdb33b26f77018536e9b890bbb993ac2f71","datavalue":{"value":"single-valued transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$9F515018-0F46-4B88-B7D5-B23E04D38983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ac38dd8a2d1c1c0e0ba1b7c003957114e7f061d","datavalue":{"value":"unambiguous transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$9F2F1E7D-EAAA-489F-9C99-4A431ACBDA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd21b6a8e581ea2bea7607bde7cac3ba3573983c","datavalue":{"value":"DT0L language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$4FAEC920-4801-49CE-B055-062044295DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$7278A2DD-9B61-44DA-A2C6-7ED0E15CF18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58f51272fb0b2fa2be656b34d0d4d36523f365b","datavalue":{"value":"two-way transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$04E64017-D79F-4667-A6D9-6C9AB7A8B233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f1b2a0e7bd12f6a575cf45e8b4879146196f70","datavalue":{"value":"NPDT0L language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$FC4BF520-322E-40C6-A065-F94FCC7AD52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d0ffba6115054586d6b15b93afa7ecd639390f","datavalue":{"value":"Ehrenfeucht conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769988$D5038609-2D56-42BA-80AF-B47D8EEA55A0","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":"Q3769988$3421D862-6213-4BA7-9ED3-802F90B00D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367be7832a865b1db417bd002b8f1337157e68db","datavalue":{"value":"https://doi.org/10.1137/0216018","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769988$E458E573-D7D4-4CF1-8F82-02A38B3C8AAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8259a45b52af4ddde6f59229d51a9d869b138396","datavalue":{"value":"W2033456284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769988$E0385CB4-A7E9-4A4F-8A8E-81ECCB5EFA3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d8da4bba26692020ebf3ec268bda45ab9e702b","datavalue":{"value":{"entity-type":"item","numeric-id":4728263,"id":"Q4728263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c3c9d07e0d2271cae5cfb05d3a8e5652003797","datavalue":{"value":{"amount":"+0.8937727212905884","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":"Q3769988$003F744A-CC66-4345-8A5A-488E94D9A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9908b271e2e48be71132e2f49d2dfd7007f8f00","datavalue":{"value":{"entity-type":"item","numeric-id":5462883,"id":"Q5462883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc2034c7dc509b38665ff0834ee70f116641455","datavalue":{"value":{"amount":"+0.8290044665336609","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":"Q3769988$D781D9BA-328E-4C90-BBE1-64822C29A5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1c9740d56b6f3a0e9e919e8910a001ed40a339","datavalue":{"value":{"entity-type":"item","numeric-id":5096179,"id":"Q5096179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cfe3ac386f1f2a27240e13061c16a679330bf2","datavalue":{"value":{"amount":"+0.8169435262680054","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":"Q3769988$1791CE49-2429-44C8-8126-5771EB95E29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd79b13d6105154ada35c7935ec94b1756cd7c80","datavalue":{"value":{"entity-type":"item","numeric-id":3533016,"id":"Q3533016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ad347c3805f1b4dc2c0d44d7b411f7ae64b4a4","datavalue":{"value":{"amount":"+0.8035438656806946","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":"Q3769988$976F2140-34BC-4A86-A4C7-F196F9217751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8059c890634eadc28d091d837e1e2703e8fc76","datavalue":{"value":{"entity-type":"item","numeric-id":1280978,"id":"Q1280978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae038d06134b2908a1b2ad9fb9b151a224ca00e","datavalue":{"value":{"amount":"+0.8005959391593933","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":"Q3769988$91E5E3C0-AF0B-48E2-8003-4D4C66EC1294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769988"}}}}}