{"entities":{"Q703502":{"pageid":705351,"ns":120,"title":"Item:Q703502","lastrevid":63746355,"modified":"2026-04-11T15:16:15Z","type":"item","id":"Q703502","labels":{"en":{"language":"en","value":"Weak minimization of DFA -- an algorithm and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126087"}},"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":"Q703502$3C097394-1AB6-4389-89FC-2A72C8F36013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cddb2291482c01d3b253b46f00858af932f3eb7a","datavalue":{"value":{"text":"Weak minimization of DFA -- an algorithm and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703502$2E13C331-6A5C-4A99-A8B7-86A62E779222","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd6876c5e5afe806b22d0ba1978a984ccd363c2","datavalue":{"value":"1071.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$8468DECF-4D52-42F4-9B71-FB6165F7A4CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ac73a40fbbac64c03bb89ba926a6526567dcfa5","datavalue":{"value":{"entity-type":"item","numeric-id":703501,"id":"Q703501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$11B1F81A-5039-4457-BAED-D1CBC54C1C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27c77d1fbecf7b4f1eb1775741545a5ec8f2620b","datavalue":{"value":{"entity-type":"item","numeric-id":1019720,"id":"Q1019720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$C26990AE-3E0A-4FB1-902D-15F49C04E9A2","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":"Q703502$94340952-53C5-4E62-8B8D-473D514D9531","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703502$01A55F5E-601C-4EF8-8129-26F47E631D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$434C1B3B-304F-46D9-992F-22669BD4F1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$B05EA051-69B8-41A5-9B63-128867DC0982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309751e3ceb57b50bd47ee92c11fd1fd2689745e","datavalue":{"value":"2126087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$E9C68D24-AE9E-4684-BB7F-71D1F19BEFCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ae56e48b311a642a9ab6fc205d224f1fa59316","datavalue":{"value":"DFA minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q703502$93CD919E-A1F9-4E43-9987-4E5F4CFE3FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59d3d0e767ed2ffeea580e87778e6776842f5f9","datavalue":{"value":"Matrix power formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q703502$9515B86F-49EB-437D-B418-EB7BB507FA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eff1ee13d087d8430a80fa20ce31b9eb7be7b61","datavalue":{"value":"Tiling automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q703502$FF6D36DB-CF78-4437-8222-417AACB98DA9","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":"Q703502$69A50152-4146-4F93-8AD9-E3967C5C46F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07bf7090c3a9cd5701bcb043a7665912698b900b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q703502$816C0249-54C7-4908-80D4-1C38D77CF189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a70ed66aff4a04b7d10639021fcce9aee089375","datavalue":{"value":"W2103119124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$AF03DEEC-ECA9-47E3-ACD1-B213264C4DC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"480ac560f713e57a5ee8cd072f59d2635f9c43d4","datavalue":{"value":{"entity-type":"item","numeric-id":915378,"id":"Q915378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$EA995159-E64C-4506-9B87-9576B2C81601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42912ae2fe7c68d31f7ae387bf47ee2b81e08c94","datavalue":{"value":{"entity-type":"item","numeric-id":5819470,"id":"Q5819470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$BB508B7C-2825-4C0C-A4F8-F66BBDFB9873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79759d3e50c3fb47bba493279cfdbef6dab41f73","datavalue":{"value":{"entity-type":"item","numeric-id":5186731,"id":"Q5186731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$8BF7F7AD-FFD3-4B58-896C-26F7CF846702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76eaf4be5b097e3a5455433dabc863e5fafed33","datavalue":{"value":{"entity-type":"item","numeric-id":5952453,"id":"Q5952453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$AC1BBFB3-537D-4D4C-8900-73A452320640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc2e560439b768c878870adc2a9eb916a843a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4708580,"id":"Q4708580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$3745A7D8-A99A-425E-93A3-E797DD1A85BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$7155DB75-6EDE-4793-B330-225F0412382B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$C3BF6827-9347-40DA-8A82-2884846DDC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb3c9494e1e978d21ebbb247b955490d0d8772c","datavalue":{"value":{"entity-type":"item","numeric-id":1144573,"id":"Q1144573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$7F6ADDEF-71B0-4D1D-B455-2EF660F4D283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cb141e01e3729ccc2ed44ca61e28ed0018c2f3","datavalue":{"value":{"entity-type":"item","numeric-id":5581642,"id":"Q5581642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$04B1E9D1-B0FD-4CC1-8F4B-C9A5B070A27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f06c55cb507c3a093815d3b914c0eceb5a66531","datavalue":{"value":{"entity-type":"item","numeric-id":4693177,"id":"Q4693177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$27E335FE-6CB2-4ECA-B68A-6F328342D6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db3d0ec1346bef0ea443a9dd6574ff4608b9688","datavalue":{"value":{"entity-type":"item","numeric-id":4779175,"id":"Q4779175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$97A90BA8-5334-4080-B984-DA31E319013C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa646a99e9925f5666e4dcb33ff59de2c33c3fa","datavalue":{"value":{"entity-type":"item","numeric-id":1378522,"id":"Q1378522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$4FED9110-E1F5-4CA8-B976-00DC080F3AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$1659018B-BF28-48FC-855B-A1D693CD22EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2362bb2bc87bfd63d29f929b3b177beffef743","datavalue":{"value":{"entity-type":"item","numeric-id":1977368,"id":"Q1977368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$D18AE650-6AC0-4262-96AD-7F0B82D02E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440f364d872039fcf575d6b80ab7d02c491b7779","datavalue":{"value":{"entity-type":"item","numeric-id":5934767,"id":"Q5934767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$085E85C2-9E98-4F64-87EE-2DD1DD64AFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$6ADFE634-DDE3-424A-BDF7-33E6A8343D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae450b1a702641dbf6c98bdb16e95382318ed54c","datavalue":{"value":{"entity-type":"item","numeric-id":1821789,"id":"Q1821789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$F0E363F9-3300-4FBF-8D5A-3FB43D9F9F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$A1C7A2CA-5367-4FAE-997E-E0E4B0B07CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$CEAA0F89-3D88-4C80-A924-BE01140CC9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90feef463fed6e035e9af328076251ce6b4557bc","datavalue":{"value":{"entity-type":"item","numeric-id":1899824,"id":"Q1899824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703502$837B15F8-7941-4F5C-A9D5-E843E8E6D896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988d4115d943f4dcf4cb455881325eef4283e93c","datavalue":{"value":"10.1016/J.TCS.2004.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703502$4B23D3AF-58C2-4764-8075-A603C72D060A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c91f28b6916f491ef286e464a0f09e60c78d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3559776,"id":"Q3559776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c14cc275c7448e81d214be9572f3291ca675e0","datavalue":{"value":{"amount":"+0.9961144328117372","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":"Q703502$8322FC9A-7A97-4F4D-8FB6-BC33EB3AA3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21ecad1dafcc897389866df405f2d45e81f28ca","datavalue":{"value":{"entity-type":"item","numeric-id":963396,"id":"Q963396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc84f8ed22811c373ab652d0d23c30bccc1544b","datavalue":{"value":{"amount":"+0.8063974976539612","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":"Q703502$6633CA6F-90EB-49E9-8195-69BC9A788916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afc104d8aaaa77f20ffbab6554cecae2a919f53","datavalue":{"value":{"entity-type":"item","numeric-id":3395144,"id":"Q3395144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83e68b186f4f78b96d088d30f950666f5997c6c","datavalue":{"value":{"amount":"+0.8058664798736572","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":"Q703502$C0A79BCA-E121-4800-9373-9B2B9F5C9395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33646321da348ee93ba7326056ded16c99679ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3602817,"id":"Q3602817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32a3032e512cc484296625b5233c7e99467e2c3","datavalue":{"value":{"amount":"+0.803888738155365","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":"Q703502$039DADF2-0136-4F55-8795-CF8F7E15AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29725702c2d10de2c18b0e4e66f2dfa34005ece9","datavalue":{"value":{"entity-type":"item","numeric-id":5418252,"id":"Q5418252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750485b4db9ab7f18d8c01df9bfe85396d17755e","datavalue":{"value":{"amount":"+0.8022399544715881","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":"Q703502$E9D5E34E-D213-461A-9A67-718C6FF9D17D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak minimization of DFA -- an algorithm and applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_minimization_of_DFA_--_an_algorithm_and_applications"}}}}}