{"entities":{"Q2931784":{"pageid":2942504,"ns":120,"title":"Item:Q2931784","lastrevid":58059669,"modified":"2026-04-03T15:45:13Z","type":"item","id":"Q2931784","labels":{"en":{"language":"en","value":"Advanced automata minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374663"}},"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":"Q2931784$5B6A3A19-1EA3-46F5-B5B3-10AE46DD2EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4cbee228458a35c084ed8a540d228f399850d7d","datavalue":{"value":{"text":"Advanced automata minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931784$E83948AB-4901-4575-9407-D86F959788FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b4e9ca973a0d15da57fadc59c7fdeb58193967c","datavalue":{"value":"1301.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$18AA0CBE-2C17-470F-9ED7-03500C41DC75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61400c15e9f61685d16d8122c6a3c3b7cf301de6","datavalue":{"value":"10.1145/2429069.2429079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$14A5FA9E-DA12-44EA-8F6E-D6B4DD1CB21C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931784$7808F6A1-5464-411F-AA49-DCAE82A8CF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931784$51B05CF4-2CB4-4000-94D8-017E28F317EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931784$65174EF7-5491-4A3D-85AB-1CBBD13FF5A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931784$7699E970-DBA5-4628-8A81-982FEAB21A75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5acff1ec7a30c0f52c57cf84d97f51ab0689e4ff","datavalue":{"value":"https://arxiv.org/abs/1210.6624","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931784$DA8FD4B4-2959-4ADE-B009-948AAA129C92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$BEECCABC-7D25-412C-AD78-0EB96F93238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$1F9673D9-EF4E-4D20-8122-D8B0ACB0D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$8588A038-E8B7-4584-A791-3EEB5C590DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$A0D14632-01BE-45BB-B546-CCFC965E3411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$A95CD98B-FAEB-415C-9941-E6622CB98381","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14ac6021943a6ccd099bb3f734601e29bcb468b0","datavalue":{"value":"6374663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$30235F19-F312-4F67-A6BF-40C086E720EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931784$CF223A4C-1196-4990-882A-1E03D9C08065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931784$3D5EF57F-D962-4B40-A698-8576AD53155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931784$EC0B86DD-CC59-4889-8488-E2080A5A30A7","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":"Q2931784$C86F7606-424C-4889-A624-2E2734CCE257","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db216747a83cb31e50bec6cb9eb4abe3e82bb17c","datavalue":{"value":"W1979078717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931784$FA750B53-D829-46E6-B37B-5DDDEFE46201","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfba69323ef0f0a64883fe71471624911de88ded","datavalue":{"value":{"amount":"+0.9116992950439452","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":"Q2931784$AC3C625A-3ECB-4D74-8B58-3D04E596EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f856dba50f61f620ba4f0ada06a8363d5f51d58","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c18aed7ad663da034d38c94f525b23c49fb481e","datavalue":{"value":{"amount":"+0.8264469504356384","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":"Q2931784$F56847EA-7360-4C2F-8172-344F908BEEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66073af03b2feec2f11bdfd3a9f2a64bbcd2439a","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b89c10089f7f989667af7b5fa39c0682a279ee","datavalue":{"value":{"amount":"+0.8122981190681458","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":"Q2931784$A5585CEB-EBDE-49CA-BB96-F2D5F1B66EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd38d735b516bc405ae22510abbc9fa27100998","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a9d6e8121acd99f893540d006df964e82911c6","datavalue":{"value":{"amount":"+0.8098201751708984","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":"Q2931784$E4429D8F-8D4A-4BBF-973E-FF0610C36918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e1277cd01f8639dad6576d5a5185f942357f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5756738,"id":"Q5756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7632eac244f539b2c8b4082f585da19749d0ad","datavalue":{"value":{"amount":"+0.8065710663795471","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":"Q2931784$E32EF3FA-E5DA-4701-A707-EDC3CC12E40B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931784"}}}}}