{"entities":{"Q4913771":{"pageid":6943350,"ns":120,"title":"Item:Q4913771","lastrevid":91602041,"modified":"2026-06-04T23:35:35Z","type":"item","id":"Q4913771","labels":{"en":{"language":"en","value":"On the Complexity of Equivalence and Minimisation for Q-weighted Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152238"}},"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":"Q4913771$08D66756-1089-4343-975F-0C0F33A096EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26077b4257496c633478de90cbb1fbdad37031e8","datavalue":{"value":{"text":"On the Complexity of Equivalence and Minimisation for Q-weighted Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913771$2C7060AE-EDE0-4D62-9F60-9EBBA676EBE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"817a8429a99d0a6f23b7c6246d7e750a712463a5","datavalue":{"value":"1260.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913771$AA601E27-F92F-4736-955C-D76670E8D867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9155f14a7302a7402a91af3c6c7b493221979dd","datavalue":{"value":"10.2168/LMCS-9(1:8)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913771$B0E38C4A-1F46-41F5-82E6-993D8B2211E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$5D54B840-07E6-4E79-AB5B-AEB67B328485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$A60E6AE6-74C6-487F-9546-0C706024A01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$B068F79B-57F1-4B76-9910-0AAD8C05F359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c04c4d3aa82402df548239aa67b1fec7b261d7","datavalue":{"value":{"entity-type":"item","numeric-id":627127,"id":"Q627127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$85D9EFBE-6C47-472E-BB82-555D211E7B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$25CA28A2-E329-4821-910F-C3F72C82A2AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913771$C0D5707B-263E-4072-9011-087CC30581DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913771$9F9A2A75-BEA7-48A0-8EFF-699E9C62992F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f920402f878de45a127692645bd4d24631eb5e67","datavalue":{"value":"https://arxiv.org/abs/1302.2818","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913771$1DBC0DB2-3C33-48F4-8FB4-D241B1808733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913771$89DFA035-65FE-40E2-B82E-DD17E28ECFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913771$5B425E72-1751-49A8-898E-6CB0BD4BF23F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbaea1364ad53e08d88b7a7f1cc175310cd9d1ff","datavalue":{"value":"6152238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913771$615F0067-425B-4BDD-BAD8-9FED4C819857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913771$F1291F5B-69F8-498A-941D-0F71270298F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913771$E94B7BB1-F383-4AA9-99B6-7A88033F8FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df315845aed3ea96e6de75c6806537745705a4","datavalue":{"value":"polynomial identity testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913771$D599FADA-72F2-4067-8D26-6C3B749B97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae8844fb4afa35253d54126900473b330ca958","datavalue":{"value":"minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913771$4EE05F85-2FC8-4A65-88A0-B3ED964C8F7C","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":"Q4913771$B35EA8E3-063D-499D-890F-B157B75E1988","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b95141bbe14b76b170682323cc80ffc107cc37f","datavalue":{"value":{"entity-type":"item","numeric-id":2825075,"id":"Q2825075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797b3be187a085cd059b972e448b5de5ab572cfd","datavalue":{"value":{"amount":"+0.89128196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$7256DCC9-00C8-4DA7-92C9-8914842893A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfdc093a443f635fa9833581b8ff4cd8477f96c","datavalue":{"value":{"entity-type":"item","numeric-id":5038573,"id":"Q5038573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf14ca91f443e1e0ad2ec12349804cd12b0f306f","datavalue":{"value":{"amount":"+0.8850841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$394D9199-94C1-4565-AB33-8416EC24F96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb9b46f8b39ee260de35ac75bc4e3bc21a56959","datavalue":{"value":{"entity-type":"item","numeric-id":5500694,"id":"Q5500694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28832bc50fea45e44b363c5e6ef50e41355eec31","datavalue":{"value":{"amount":"+0.8832835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$1ED8068D-6D7C-4BAA-A0ED-02673BE53609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e93adb19576559d25941b0313cf72bd5152607","datavalue":{"value":{"entity-type":"item","numeric-id":4683187,"id":"Q4683187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28832bc50fea45e44b363c5e6ef50e41355eec31","datavalue":{"value":{"amount":"+0.8832835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$C4CC4B6C-AA10-4C4D-BB30-84F34C8412B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b497303de7363ecf72cddff3ee680358536354bf","datavalue":{"value":{"entity-type":"item","numeric-id":5096909,"id":"Q5096909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce13254942aa9fe1aee70912dd1b02a2a9d72cc","datavalue":{"value":{"amount":"+0.87841547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$AF8A1FDC-DF19-4365-86BA-CF3AFEE43745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901636ed146054b7a1c108f6625f2e4deb791740","datavalue":{"value":{"entity-type":"item","numeric-id":5740428,"id":"Q5740428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5dcc02341c5ce10f77d4e2fc3158d25d412927","datavalue":{"value":{"amount":"+0.8767204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$AFFABBF3-C9FF-4F3F-AE01-DFA309AF7EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac04a957a3430f77a93fe16705f0f6a71db86e5","datavalue":{"value":{"entity-type":"item","numeric-id":690502,"id":"Q690502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58f12e6eb5eafdcf8f5931ff3080d4cbe355013","datavalue":{"value":{"amount":"+0.8754441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$72FDA2BE-6E10-4F8A-AEED-DEC41DF71BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6186c45955b48e42ace2fbf085e55a1843a0315c","datavalue":{"value":{"entity-type":"item","numeric-id":2134005,"id":"Q2134005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cb832783993e7d926349825d017df050aa7f35","datavalue":{"value":{"amount":"+0.8748916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$80CBA4A5-5951-40DF-A431-3FE25B0E9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73a3b6ae8c1c8235d61e7fa2cc7e3750835fa52","datavalue":{"value":{"entity-type":"item","numeric-id":2994260,"id":"Q2994260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ca665fb8892024620838477897d67c03d6173c","datavalue":{"value":{"amount":"+0.87402153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$7E8CD58A-AA4A-4ADF-BCAC-39F31CB4C533","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":"cdfb0aead4e5952938f5bb02c1734fd6cb8fd0f1","datavalue":{"value":{"amount":"+0.8738535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913771$4B81C8F0-C9B4-45A9-A0F4-416D73DD3A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Complexity of Equivalence and Minimisation for Q-weighted Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Complexity_of_Equivalence_and_Minimisation_for_Q-weighted_Automata"}}}}}