{"entities":{"Q672727":{"pageid":674576,"ns":120,"title":"Item:Q672727","lastrevid":42634174,"modified":"2025-07-07T12:06:12Z","type":"item","id":"Q672727","labels":{"en":{"language":"en","value":"An O(n \\text{log} n) implementation of the standard method for minimizing n-state finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985157"}},"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":"Q672727$FD68558A-424D-48EC-BA22-8E9900273DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95cb45d10c1894bd5252e4f82e22834deac9c250","datavalue":{"value":{"text":"An O(n \\text{log} n) implementation of the standard method for minimizing n-state finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672727$5401EAF2-6C96-4001-830E-8656A8128DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d79b861ed6b953d73d43ec69dc0615e657e31736","datavalue":{"value":"0875.68649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$9BFE4367-166F-4C94-9EEE-ACE902506957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb7e0f3174037219de7d39be4b7cdc5e63840ad4","datavalue":{"value":"10.1016/0020-0190(95)00199-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$5BD6611E-2B72-4857-BF6A-A7033AB78455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08131e7df347bd9f8c4a917a9f56590bc7002234","datavalue":{"value":{"entity-type":"item","numeric-id":672726,"id":"Q672726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$CD63BAC8-4016-4996-8910-22FA8EB4BA15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$E174A0DF-AC63-4786-A48A-0F04983CD298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672727$64ADBBDF-10F5-43E0-8828-B7DFB48EF74D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$ACF4038A-2F68-4429-BFE6-1C52E4624215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$63668DFB-AF98-44D6-9F78-0301C7DAC607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc5b5b82a3ce7c1f0b20137a650f0f49a932dd4","datavalue":{"value":"985157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$6163992B-5381-46B7-8C73-B76B74DFFAB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q672727$0F74FFCD-F33E-4B1E-A0F1-A509965A566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c74c5552698bc5f1378c74a5f1a3f533d21987","datavalue":{"value":"Finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q672727$AF493BA0-83E0-4A3A-80EA-C0C8588948C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce38741fa0940ede05db11cba207307a91e14d5","datavalue":{"value":"Minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q672727$9739CB0D-4C3F-4094-83EA-D88E5AF32940","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":"Q672727$D1FFE79C-7065-4754-801B-76942949C4AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe4a0649f943328ba195cda01d901a69961d4b0f","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00199-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q672727$160ABD04-9C0D-4F09-881E-011F56153C7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7312ef2875548d59b02b2055f089325cb50f7177","datavalue":{"value":"W2113689473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$4D6A50CB-1851-4E9E-A4FE-251EB3FAC337","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$66391511-8993-4D17-BB78-0F4BDD4778D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$57B62CBD-7FB6-496C-8892-685610145DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c038c4e4668bc32c13b047e23758eaf7e4af361","datavalue":{"value":{"entity-type":"item","numeric-id":3325046,"id":"Q3325046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$1BC34636-6567-44C4-9C2F-F726C6C95ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$E2BF09E8-9A50-4825-97E1-E4AFD5153D00","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":"Q672727$3D4BEFF9-F33A-43EC-8962-07F34733EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9279cb0155a09e2e81787116515cfe1e304a87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5551191,"id":"Q5551191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$22F7B287-2A99-4C42-9C7D-CB23C43FB3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a170d6c137febe9630c9215be9b24dde92ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3239817,"id":"Q3239817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$8175DD41-D295-4C26-B9A0-D33CBA667670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9092d0fee6fe1cbfaccbbd7a6309d60bb36d140e","datavalue":{"value":{"entity-type":"item","numeric-id":1924627,"id":"Q1924627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$F723AAC0-6C35-4AB0-97A0-7A79A8B7FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617310b37fc85fd09ec7dd2c4fe23b8a3c75fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672727$0AA2C8B4-F18C-44F1-AE30-F64EE90AC35A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6cdc1de3367fead5b4cf6b3016fd2dacee3e1f41","datavalue":{"value":"Q126839033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672727$1673657B-7CB2-4D99-9A48-2C4C09A9F245","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1923a867f08b266603b025a5331b92d0cda54d02","datavalue":{"value":{"entity-type":"item","numeric-id":3637336,"id":"Q3637336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14a503d8c28696ff707f2868b32d53e074fe73a","datavalue":{"value":{"amount":"+0.9156572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$B3A40E15-F169-4282-8ED9-C0070E2722B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4207ac9d77b372fe20475406091f8577df4773ff","datavalue":{"value":{"entity-type":"item","numeric-id":1959648,"id":"Q1959648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aeb47985aac7a20aac4855c23da6a4a1038cd5","datavalue":{"value":{"amount":"+0.9037067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$DFE6EF4F-5BFE-4FF0-B5C7-959F1417A6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb3e03e57f16edd4a1db9885afee5fe9f1ed000","datavalue":{"value":{"entity-type":"item","numeric-id":4256110,"id":"Q4256110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92992e431a22084f9ad4dfd5445805b37b727cf0","datavalue":{"value":{"amount":"+0.9003538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$EBB6B487-5214-4037-AF33-74305957F660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfc322ddee1d45653c575f2af78d677f8a03db6","datavalue":{"value":{"entity-type":"item","numeric-id":3501399,"id":"Q3501399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1e9b346e26ce8aa0a2e792d28804cc3a365911","datavalue":{"value":{"amount":"+0.89260274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$7982FD23-774A-47A1-AE46-DEA5D1089C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed501d9fb11fe26e2965ad13cd3e60528014abf6","datavalue":{"value":{"entity-type":"item","numeric-id":5595168,"id":"Q5595168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb07aa86b116a65bdd5449500c113893be09129e","datavalue":{"value":{"amount":"+0.88446474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$2EBEAC4B-D5EE-456B-81E4-84CF520700C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb355d945a1f11d24336bb58b2a0f2664d66337","datavalue":{"value":{"entity-type":"item","numeric-id":4418606,"id":"Q4418606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d3a46999c811245d4045eab785a11cd0dbfe0d","datavalue":{"value":{"amount":"+0.8768114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$76EB8C14-C6E0-4283-ADF5-E636624C2A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a56cfe787e41dd9ef1fc418c06be0a23b54487","datavalue":{"value":{"entity-type":"item","numeric-id":3493239,"id":"Q3493239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c764c83f59df5d23c7bbc22b622dad9e3334e8e","datavalue":{"value":{"amount":"+0.8764066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$3FE93820-5A0D-4ACF-BD42-AB2D6C5810A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67230df40e3d3d1f5cec3a129fd9fe46d85a050c","datavalue":{"value":{"entity-type":"item","numeric-id":3832058,"id":"Q3832058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67072898e457ee853601bfada1796bca98cdbc3","datavalue":{"value":{"amount":"+0.87640655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$0C598DCC-FDB2-42F3-BF2E-51CFD4779F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cff91035de003efe00d1790c3c00a172e6808c3","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52883b5ca436d21ba66cff1e9edf3fa4621e1b7","datavalue":{"value":{"amount":"+0.87537336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$A09926F7-F52E-4342-B387-8A9875B17DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89856e5c55ea20e75034028a5c1b61e0af22a9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5897663,"id":"Q5897663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7f6907776754c9dcc1aae974708e6cb72afb87","datavalue":{"value":{"amount":"+0.8744105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672727$EC19A5AE-97E8-43C9-8A8A-3D29795D0AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:672727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:672727"}}}}}