{"entities":{"Q5960799":{"pageid":8137601,"ns":120,"title":"Item:Q5960799","lastrevid":32206029,"modified":"2024-03-19T21:35:15Z","type":"item","id":"Q5960799","labels":{"en":{"language":"en","value":"Automata implementation. 4th international workshop, WIA '99, Potsdam, Germany, July 17--19, 1999. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1730027"}},"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":"Q5960799$D8ADFA9E-5FB6-4925-A294-275574123832","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c178fd0c82e50cdda424ee0cae582c56f9ab6abc","datavalue":{"value":{"text":"Automata implementation. 4th international workshop, WIA '99, Potsdam, Germany, July 17--19, 1999. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960799$88AEAD65-BD2C-4F30-B69A-D560D3964340","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f144a804f62717ee4140380b9b19de087275c5dc","datavalue":{"value":"0983.00060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$F94F3585-F424-4524-9330-AC7F89A9F0D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"923726aa86138e16095e746f58bb03672a95a5fd","datavalue":{"value":"10.1007/3-540-45526-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$B8DCDC6D-F8F9-47F1-A335-775BFECB24CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960799$8A270F67-4F35-4789-B1CB-B2BF8C4F016A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c5af00fd1fc149dba1e61ff5498f18aaaa6efa9","datavalue":{"value":{"time":"+2002-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960799$9B248478-7160-4588-BF28-ECF5AC79AA0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1545757d09cab3f673416c0ac243acb000ccee8a","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding workshop (3rd, 1998) has been reviewed (see Zbl 0929.00063).  Indexed articles:  \\textit{Amilhastre, J\u00e9r\u00f4me; Janssen, Philippe; Vilarem, Marie-Catherine}, FA minimisation heuristics for a class of finite languages, 1-12 [Zbl 1050.68087]  \\textit{Andary, Philippe; Caron, Pascal; Champarnaud, Jean-Marc; Duchamp, G\u00e9rard; Flouret, Marianne; Laugerotte, \u00c9ric}, SEA: A symbolic environment for automata theory, 13-26 [Zbl 1050.68587]  \\textit{Bergeron, Anne; Catalano, Riccardo}, Analysis of reactive systems with \\(n\\) timers, 27-38 [Zbl 1050.68588]  \\textit{Braune, Beatrix; Diehl, Stephan; Kerren, Andreas; Wilhelm, Reinhard}, Animation of the generation and computation of finite automata for learning software, 39-47 [Zbl 1050.97500]  \\textit{Calude, Cristian S.; Salomaa, Kai; Yu, Sheng}, Metric lexical analysis, 48-59 [Zbl 1050.68090]  \\textit{C\u00e2mpeanu, C.; Culik, K.; Salomaa, Kai; Yu, Sheng}, State complexity of basic operations on finite languages, 60-70 [Zbl 1050.68091]  \\textit{Daciuk, Jan}, Treatment of unknown words, 71-80 [Zbl 1050.68602]  \\textit{Eramian, Mark G.}, Computing entropy maps of finite-automaton-encoded binary images, 81-90 [Zbl 1050.68567]  \\textit{Giammarresi, Dora; Ponty, Jean-Luc; Wood, Derick}, Thompson digraphs: A characterization, 91-100 [Zbl 1050.68092]  \\textit{J\u00fcrgensen, Helmut; Staiger, Ludwig}, Finite automata encoding geometric figures, 101-108 [Zbl 1050.68568]  \\textit{Kiraz, George Anton}, Compressed storage of sparse finite-state transducers, 109-121 [Zbl 1050.68589]  \\textit{van Noord, Gertjan; Gerdemann, Dale}, An extendible regular expression compiler for finite-state approaches in natural language processing, 122-139 [Zbl 1050.68604]  \\textit{P\u0103un, Gheorghe; Thierrin, Gabriel}, Multiset processing by means of systems of finite state transducers, 140-157 [Zbl 1050.68044]  \\textit{Seuring, M.; G\u00f6ssel, M.}, A structural method for output compaction of sequential automata implemented as circuits, 158-163 [Zbl 1050.68591]  \\textit{Trahtman, A. N.}, An algorithm to verify local threshold testability of deterministic finite automata, 164-173 [Zbl 1050.68097]  \\textit{Watson, Bruce W.}, A taxonomy of algorithms for constructing minimal acyclic deterministic finite automata, 174-182 [Zbl 1050.68592]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960799$6E084C5F-BC4D-4F98-B65D-15AEB8E484C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$E6AE91A7-B2EC-4EE8-96CB-6D2395893C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$0DFBDD78-D3FC-4452-8E5E-0DC97FA9F2CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03417fbe34953c93cf4efb52d757eeed3e635f5","datavalue":{"value":"1730027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$6E4A8360-120B-4EBE-B049-DDFFF359EED9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af3da4fd7b26dbd694dc03d6c93ed66cae531196","datavalue":{"value":"Potsdam (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960799$11692CD2-7834-4A15-ABB3-FFE052DB9C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960799$D348C2E5-17DC-4482-9381-944E6C21D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960799$AF91ED33-E6F0-4C7E-9A73-98C9B6622A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba53a9e8f3b523470bf66be86c5ccd4df495971","datavalue":{"value":"Automata implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960799$084873FF-E409-40EA-ADF5-D45F8530D286","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":"Q5960799$6ABE8472-0496-4810-89EB-721D2D172B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6233ceeee3782ad5c9118e27469bd686810ba493","datavalue":{"value":"https://doi.org/10.1007/3-540-45526-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5960799$83743E3C-7291-43F6-9659-547FE223B0CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccfcc1e6b5ba018cbf2c843346945aa26d5d1f9c","datavalue":{"value":"W4240323496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960799$173A3327-C56A-411A-B975-4C263962011E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960799"}}}}}