{"entities":{"Q1426461":{"pageid":1437201,"ns":120,"title":"Item:Q1426461","lastrevid":48253534,"modified":"2026-01-04T03:20:07Z","type":"item","id":"Q1426461","labels":{"en":{"language":"en","value":"Reducing NFAs by invariant equivalences."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056806"}},"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":"Q1426461$E7435626-ADFD-4BC6-AD23-8052A658ED34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57bfdbb50cbc74c5475e9d8ab94dc2d1fb562a0b","datavalue":{"value":{"text":"Reducing NFAs by invariant equivalences.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426461$58B84CAE-4BB5-42E9-A67D-FE11DC98676B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"795676ff81945d7a693906982122b6948901d3bc","datavalue":{"value":"1059.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426461$3606477C-9F3E-4724-A16C-DA1033066352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204506a89bde761b0dc3555b5c93d97af0282fd2","datavalue":{"value":"10.1016/S0304-3975(03)00311-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426461$FC76DE88-F76D-4A7D-807E-1B6B35FDCED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59e0422655bd2646fd5870f292a28530526e280","datavalue":{"value":{"entity-type":"item","numeric-id":287019,"id":"Q287019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$D616185A-9EA9-4BEF-BB05-C118B314D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f143d75162aea6d3b09de1ba925afc74ef470da4","datavalue":{"value":{"entity-type":"item","numeric-id":418765,"id":"Q418765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$9221717F-5397-4F7B-B6ED-A81BD4EEC9EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$FE4ACAC5-5209-414D-8B51-C83C61EA860B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426461$45FB1873-4D4E-497A-B9D1-D3C16EA6BB5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426461$1BE4A656-4B0E-4A06-A8F7-004E45C4D76A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38dceb2911afba9491d96b339be904691f018186","datavalue":{"value":"2056806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426461$118EEA1B-7B02-44DF-83C9-CAD20B381BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa04af7e007dba9ec41239c7487cb34bb924f65","datavalue":{"value":"Non-deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426461$E34E90CD-BC8C-498D-B5C2-375528404250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a811ba293430b9bf43490e84ae8a2f435a09db82","datavalue":{"value":"Regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426461$3D62AB60-198C-4E82-9FB9-FA0D1B25990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8bf2be30a02c2cbb5b0da53296994e472ea5d99","datavalue":{"value":"Automata minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426461$E0DDEFA7-3A80-468B-9015-202C2DD1F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe01f091f2d16f29577384ec5a5cae285a404c29","datavalue":{"value":"Invariant equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426461$E2B1F39B-EB87-4D97-AD79-FDFDD1D505A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda59d78b8df632d2b1ac6724f729a1b1908002c","datavalue":{"value":"Derivatives of regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426461$F172DBE0-F5C3-4A2A-88F6-08F4E72D92FB","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":"Q1426461$54B3D4AF-332F-4CDE-803D-D88D4DF61801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$611CC012-11F4-4EFF-8146-C135D34E6EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$2B48F78F-2B15-4116-B0B2-A5B42C65D173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb55a9a5e4c111bddeb36cf19bf8e8abc5d737","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$2B58B230-8F10-4485-AD41-DD54AF19566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$00AC0DA1-98C6-4732-A55A-66FC7818B730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d1e55210f5deece211e85708bc3e3ce29bba4e","datavalue":{"value":{"entity-type":"item","numeric-id":4540960,"id":"Q4540960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$AA9FAD33-158B-4A93-A773-66B9BEB48BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e540617a5ee68289225c8f6319f8d0505ac1c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":4547747,"id":"Q4547747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$393D53E9-5F13-4A8A-BFB4-27005EB026F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc12f4cea5547cfeac802b962384c3ffbc8850f","datavalue":{"value":{"entity-type":"item","numeric-id":1391526,"id":"Q1391526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$5E7A9714-7FF7-46CE-A6ED-66FA2C2AEB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$CB94D37C-29D0-46B7-BDBA-C1F00B42A8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2021cff109eabceae84ca618be97f2d9f4338ba","datavalue":{"value":{"entity-type":"item","numeric-id":4761388,"id":"Q4761388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$CC36D447-B168-456A-BF0F-23411D7E8AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$45994842-F009-415D-8DB4-2F975DDA7F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6947a3bb84a9739d34ae0f2a9b4cf4bee4ee5dc","datavalue":{"value":{"entity-type":"item","numeric-id":5946055,"id":"Q5946055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$082AA3D0-852C-471F-9CEB-CCB27682427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c795fe5af396fe70201b7e1168ff05e9c113eca5","datavalue":{"value":{"entity-type":"item","numeric-id":4737707,"id":"Q4737707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$6E0F1701-B3F3-4EAF-8276-2384C0BBB1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ffdcde3258590bb18fbd8b9c5ea5df410929e","datavalue":{"value":{"entity-type":"item","numeric-id":4708581,"id":"Q4708581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$6233F1CF-F85D-4EB0-AB65-6F12D77496C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677e10984800b2f973ce1edcd5a2f197d9d5da43","datavalue":{"value":{"entity-type":"item","numeric-id":1426009,"id":"Q1426009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$11665659-9646-407F-96FA-5D3DF581E7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$0036C123-30A9-473A-BD15-CC40B298ABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5c706af26597a23c59f8b94c3772be3a8c03c9","datavalue":{"value":{"entity-type":"item","numeric-id":4040284,"id":"Q4040284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$48796515-1454-404D-A06A-5DA261022F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426461$CD063C7A-C7AE-46DF-91AF-A2580312161B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0fea2007edc041709b535ab0422ece2c64dcc76","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(03)00311-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426461$4A1CCB7B-F825-482C-9A9E-55143BED4B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e91584c4c3838c7292c3c36005327cd31a04631d","datavalue":{"value":"W4212834144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426461$62485D78-0DE2-445D-AF7D-CFAC77887506","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a1a7855a89aaeb646cd76fed808fda1705718d","datavalue":{"value":{"entity-type":"item","numeric-id":4708581,"id":"Q4708581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652d54fce102699c4794e330be01246edf17fc91","datavalue":{"value":{"amount":"+0.9159595966339112","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":"Q1426461$ACE9CD4B-CDAA-47B4-BC5C-8FB12C643C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d850d4560f674d4c42dcfe01a5c193dd84367964","datavalue":{"value":{"entity-type":"item","numeric-id":4737707,"id":"Q4737707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9199974768d7d02d6a67fa2557264f08dfc00667","datavalue":{"value":{"amount":"+0.861362099647522","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":"Q1426461$B2CB5526-FDC3-488B-A8EF-21A4F0621D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132ae0a86582d6a05a1891282a60ea30ef2be0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5894870,"id":"Q5894870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c8817bbcda2e060ea2044a5e07f45623866099","datavalue":{"value":{"amount":"+0.8558490872383118","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":"Q1426461$741DC61C-0F12-482C-8C17-69349B1A72E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d883ae9997c9dcdeec9e92f7f23f2eebabb0a33d","datavalue":{"value":{"entity-type":"item","numeric-id":5713553,"id":"Q5713553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b679e02d925177079d984b2031099ccb326d1d47","datavalue":{"value":{"amount":"+0.8434721827507019","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":"Q1426461$3E3FE5D6-54BC-4E57-B071-7AAF44FB4472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61b27f5e14ec3ad46004323495616b030e738a4","datavalue":{"value":{"entity-type":"item","numeric-id":3192268,"id":"Q3192268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba456470b479b13b4275489e9cfdc9e5c07adad","datavalue":{"value":{"amount":"+0.8389856815338135","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":"Q1426461$C9BA075F-CE29-4EBD-ADA8-916FACB7B106","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1426461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1426461"}}}}}