{"entities":{"Q4910757":{"pageid":6940336,"ns":120,"title":"Item:Q4910757","lastrevid":58356135,"modified":"2026-04-04T20:58:54Z","type":"item","id":"Q4910757","labels":{"en":{"language":"en","value":"Efficient minimization of DFAs with partial transition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6146492"}},"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":"Q4910757$D19E6BCE-4FCB-4420-B194-77795824815B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4be640db1abf0887c82561cddb11f67f3e287dcc","datavalue":{"value":"1259.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$739A94A7-375F-4200-B679-68A7D827A739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910757$2466F0E0-4640-44A4-A857-1C5AEDDCF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521423d5f525bb3fd1b3158d576978b350832cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3113414,"id":"Q3113414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910757$5C99FD70-A8A2-4D04-B0D3-D208766557A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b36cae3d8cf11c479e6d5b4030a31d81c96c839","datavalue":{"value":{"time":"+2013-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910757$E4489949-9261-44E7-9EA9-4268397EDC4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"138865301e4587bb96303a8fcdb159c9787023ba","datavalue":{"value":"https://arxiv.org/abs/0802.2826","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910757$55E76C39-F127-4FCD-8CFC-8E2E1F67786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48bc639f1228470032cb358713a86a450495b1a","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2f7e.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910757$BC4CCDB9-168C-4ED0-A007-7FBABA90FB1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$D0B2560E-E34D-4E12-BAE3-9A505F18F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$BFF634EB-21AF-47E1-B3CB-7CDA6ECF66CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$4DF05FF9-9786-4340-BF15-9273A30DB7B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419b6caf205a2dbf048d40624ea5b8d62f248c92","datavalue":{"value":"6146492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$C5C8E748-64C2-4ADB-9827-00A0C65493C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19bb379ed3c76df6d16665e227f00a03e1e7c2","datavalue":{"value":"deterministic finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910757$0E9038EE-EABA-4AA7-8BEB-7AAFBA3B2123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddb001e2289f8ab377c09dc40e083ceae7d23e9","datavalue":{"value":"sparse adjacency matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910757$A9E26766-11A5-4E71-A1F0-DB01FBE53A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910757$CE413641-CCFF-4DFD-99B3-557B0E8529C9","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":"Q4910757$3C56B237-5622-4FD1-8372-2ADAD08F0ABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ed9bb32ccfea3924facf2fa35b8577ce9373962","datavalue":{"value":"W1584922432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$221C9EB9-8E39-4371-8C21-145A00ACA117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e56c1ff5ea1c268fc784b3db2fc9d4dff236aa65","datavalue":{"value":{"text":"Efficient Minimization of DFAs with Partial Transition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910757$8D35C238-5FDC-4837-87D5-AE86463AF071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"635b425765dcd0c9db51b39348b0eee555bcc37b","datavalue":{"value":"10.4230/LIPICS.STACS.2008.1328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910757$BEB85A80-F5D6-4700-A8B3-37AF79A06338","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f259d395fb34ce400f4eb8524b11aaf0e69184c9","datavalue":{"value":{"entity-type":"item","numeric-id":437674,"id":"Q437674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fe2956b9b0dcc7a482ab02d5413b1e877766cc","datavalue":{"value":{"amount":"+0.8384253978729248","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":"Q4910757$34435553-B983-4670-AEBB-1D4067C92906","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":"59f23fbb3c3defdaf2a3eb23b6e5eb7e62c2a987","datavalue":{"value":{"amount":"+0.8142510652542114","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":"Q4910757$5684CC69-813A-4A93-9874-0276DA667AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bf1d166352039d3decc6f540410ba0260b55dc","datavalue":{"value":{"entity-type":"item","numeric-id":5166502,"id":"Q5166502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8287e578ab7eb5a75d2d43559745f583af2aa35","datavalue":{"value":{"amount":"+0.8047632575035095","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":"Q4910757$58E0E337-3E92-4635-B2A7-BEC5CFF92A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7316ccb7ef0ff536865bea3e776f2e66ea5c6441","datavalue":{"value":{"entity-type":"item","numeric-id":3073619,"id":"Q3073619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ac89a975c2ef0ebdc166f9ae15504a188605a0","datavalue":{"value":{"amount":"+0.8047630786895752","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":"Q4910757$420BC50B-E86A-42F2-A976-34D4E2B45534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373d2c9dc872d1afd475ba97ca0830681e2cc096","datavalue":{"value":{"entity-type":"item","numeric-id":3224954,"id":"Q3224954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb1782a367b67c349950b2ea7f3c23904077bb8","datavalue":{"value":{"amount":"+0.7943813800811768","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":"Q4910757$B3923CA1-F9C7-4D8C-93B1-F601337D6551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910757"}}}}}