{"entities":{"Q309440":{"pageid":311207,"ns":120,"title":"Item:Q309440","lastrevid":60893376,"modified":"2026-04-10T19:48:38Z","type":"item","id":"Q309440","labels":{"en":{"language":"en","value":"Automata transformations of prefix decidable and decidable by Buchi superwords"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6624460"}},"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":"Q309440$CDFD4FBF-2F73-4160-A26F-5948693EB397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38fe88f446d1e950f6ff0cd8f19c853e7c866b2c","datavalue":{"value":{"text":"Automata transformations of prefix decidable and decidable by Buchi superwords","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q309440$19CE0BB7-D210-4DA4-8197-89A1E73DED52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f1e9e3c1196cfd55130d1f97f7a96f8b8940cf4","datavalue":{"value":"1420.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309440$F5169C2D-3823-4554-B246-647BA5D09351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c387aa52f609c91184b61d0b93d16b2e6bb58bb1","datavalue":{"value":"10.3103/S1066369X16070070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309440$76C6F7FC-594D-4D82-A9F9-A7F4AA1CFB52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"134be4aec1fb79467f3bd809d6e2927a3cbbd38a","datavalue":{"value":{"entity-type":"item","numeric-id":309439,"id":"Q309439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$1B0FF55C-8D4A-4174-A68A-B816F2134549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$F701C087-C4FD-4E78-BADC-BC90EFD99E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87e9445c0cad7e859fcbee25cafb7e14e92d43e5","datavalue":{"value":{"time":"+2016-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q309440$CB4ED0C2-ED59-407E-A436-7E7358EE66A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309440$F94076EB-F555-49A1-A78A-7C704DE2974F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb059fcda8a62983233ee45abfb63ed71a40a044","datavalue":{"value":"6624460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q309440$1DDD53E6-D171-4814-A3B7-F86E722F1D2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e08ea4132f46a3416db06866ef24b5d8a2850ce0","datavalue":{"value":"prefix decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q309440$AEBF4A7C-93D7-4E04-9FB3-B0C36598592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863772c901573751878de4e634d1d39c85ab4ad8","datavalue":{"value":"B\u00fcchi superword","type":"string"},"datatype":"string"},"type":"statement","id":"Q309440$E8FB2A74-190D-4C02-907B-EF106EEEE789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cac355ddaf84702bb851e1974a646f351536a4","datavalue":{"value":"monadic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q309440$886227CC-4BCC-42E0-A934-F981DBD1654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ff4eba154a86cbd0550c5257ef4e06408da17e","datavalue":{"value":"automata transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q309440$78A15A83-525B-4412-BF7C-3236E1EC486D","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":"Q309440$2C643819-51BB-4D3D-8B45-CDBBAAF9BF33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"715f79f9ee2722ad02a03b4c01d259254ca96e8a","datavalue":{"value":{"entity-type":"item","numeric-id":1401389,"id":"Q1401389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$D5BE7DE0-E989-4A55-863A-CCFA20227A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218859d7597f12b41cd9e1460b03eb71773e6f65","datavalue":{"value":{"entity-type":"item","numeric-id":3550936,"id":"Q3550936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$9EC710E3-7AEA-4A76-BF05-4E1B310633AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c2220ca15c659910cc264903e43a5f8b7ca17","datavalue":{"value":{"entity-type":"item","numeric-id":2460478,"id":"Q2460478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$EE6267D4-A223-46B5-94A0-2AF2634E5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36116d7e309d871e96f66ef1257425cb73db8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":845086,"id":"Q845086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$3A96F815-32A0-437C-B081-75FC15BA89CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ac2ff4a23aa9dfbac09a7612cd84646d5a5b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1318796,"id":"Q1318796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$4C1409E9-98EE-46A1-8797-F9EFA50D23D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26ec61ad0b114755bec335b704577f3e8ceefbc","datavalue":{"value":{"entity-type":"item","numeric-id":5666530,"id":"Q5666530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$A02B0E31-A8C7-42DF-9369-AE1558C3A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6431311b3a2dfb50ace1ec5851c3f95128bf162d","datavalue":{"value":{"entity-type":"item","numeric-id":5263763,"id":"Q5263763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$1BFBBECB-7C96-4DDA-9426-8F149E414AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$F65BDDCC-4424-4C4B-AF47-5E3BA78AEBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694d6d3c84e58c9e02eab9c2417bff9916e4db26","datavalue":{"value":{"entity-type":"item","numeric-id":3741058,"id":"Q3741058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$205C0DBF-7B4A-4ACF-842F-B4D7A9C9F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9cce4517846aa10db7e8604310ab9a45dce2d2","datavalue":{"value":{"entity-type":"item","numeric-id":647900,"id":"Q647900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$D2F2DD47-DBCA-4835-88F2-A28F1ECA1DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9085d32b789f94601226071b69d6cdcc43ae028","datavalue":{"value":{"entity-type":"item","numeric-id":4194951,"id":"Q4194951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$939C77B0-C316-4847-8C9F-8FDC8DA191B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1ccc5fff671d0aecc9554db18ba5f2c281e79","datavalue":{"value":{"entity-type":"item","numeric-id":647840,"id":"Q647840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q309440$9CEA4360-C5D4-4491-B08D-8FA41418B4CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31f364cdd5b830b904844e2be269af4e0cb102c","datavalue":{"value":{"entity-type":"item","numeric-id":327970,"id":"Q327970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec4e5ae9fda3e2170942ec59174cc0564c8c6c7","datavalue":{"value":{"amount":"+0.92725396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$B3F6AB59-FCCD-46B3-AAAF-3992D0F6392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223d689f6b1fa092a5724c3964b52e35ea0ce569","datavalue":{"value":{"entity-type":"item","numeric-id":5424056,"id":"Q5424056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e976447fcd13980c2807731ea786f12b1f0117d","datavalue":{"value":{"amount":"+0.869465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$ED6537CF-B673-4FC2-B143-225847ABA0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec13281ffc419a125b51b44d1f47889c66d81e6","datavalue":{"value":{"entity-type":"item","numeric-id":4412826,"id":"Q4412826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ac805c7f583a0169cee7b23db094fd10fe2def","datavalue":{"value":{"amount":"+0.8626172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$B8782776-43CC-4697-A7DF-6CB11C1CFB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4f488903fea7529254a56653b6ec1dc788a65d","datavalue":{"value":{"entity-type":"item","numeric-id":2319966,"id":"Q2319966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486a6171c8e896032d28fe8439efe0fc1e0551df","datavalue":{"value":{"amount":"+0.86090535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$43A3D332-C037-4990-9ECB-377463DCB995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbdcc40f3826596732b00f7227b4acddb8624913","datavalue":{"value":{"entity-type":"item","numeric-id":4254588,"id":"Q4254588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf1c2c6a8f735c00c73aeccc82d2ee169bfbf0b","datavalue":{"value":{"amount":"+0.84495986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$DD44445F-FD07-4F86-8417-2EF300590117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0ca83be4116257bfb024f9b038a266e3d6951c","datavalue":{"value":{"entity-type":"item","numeric-id":5897682,"id":"Q5897682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37aa1efd98474c7565fccf1685ed1e6766837bd3","datavalue":{"value":{"amount":"+0.8430841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$F4046F48-BF65-4A5A-87DC-5792832D8975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b41cd7f2ab0222909769d65cc6af5f65e3cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":860867,"id":"Q860867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37aa1efd98474c7565fccf1685ed1e6766837bd3","datavalue":{"value":{"amount":"+0.8430841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$11AD9076-70BA-44F4-A71C-9C77C84CC025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2b44559d18da3d24acd4fd6d685f467b48f59","datavalue":{"value":{"entity-type":"item","numeric-id":4925234,"id":"Q4925234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe69eb4361f6d2558c6fe3450e476145a7f5f288","datavalue":{"value":{"amount":"+0.8415581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$36E2A830-1402-4230-ABC1-3CABB9C584AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd246d18fa500e2ea959837ccac2dba1ec698d2","datavalue":{"value":{"entity-type":"item","numeric-id":4269129,"id":"Q4269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4810575951cebb8c329730e4c40f57506a4daca","datavalue":{"value":{"amount":"+0.83990264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$EA9A0A5D-8734-4CFA-957B-034334E29399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e59a68742433af5e5db0db347bf2666cf048cd","datavalue":{"value":{"entity-type":"item","numeric-id":5092321,"id":"Q5092321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a2251db942142a353fa7dede9a5ea23161715e","datavalue":{"value":{"amount":"+0.83784527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q309440$7D70DED5-4D8A-4A9C-B10C-BD062AA9CB0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata transformations of prefix decidable and decidable by Buchi superwords","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_transformations_of_prefix_decidable_and_decidable_by_Buchi_superwords"}}}}}