{"entities":{"Q5200065":{"pageid":7229636,"ns":120,"title":"Item:Q5200065","lastrevid":51306938,"modified":"2026-01-17T16:53:15Z","type":"item","id":"Q5200065","labels":{"en":{"language":"en","value":"Computing all \\(\\ell \\)-cover automata fast"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934392"}},"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":"Q5200065$17B6A884-5935-40DF-87C7-F6C25B925FC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a11583581b75f90f0a13d14206693409615323e7","datavalue":{"value":{"text":"Computing All \u2113-Cover Automata Fast","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200065$C78498C0-06A5-4F54-8D8D-57952A6A7D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3467987b1e576ddb3005151cfe060b053ac62f9a","datavalue":{"value":"1297.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200065$BF1C904D-C061-452B-BD5D-D3395377B0F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0de45013d2a1c610f4c160fd6239bd3bae2a93f","datavalue":{"value":"10.1007/978-3-642-22256-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200065$1EB29EF1-6B6B-4E31-A6FA-1D97DC337345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"956ccad67dc502dfc66055868e0a535a76df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":248925,"id":"Q248925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$9AB63FF0-1C86-445B-9B47-DA1C2EF98F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e274aa20207ae357bad8a786ac2c8ffabe2c65","datavalue":{"value":{"entity-type":"item","numeric-id":519890,"id":"Q519890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$9C8AD23E-CC86-497A-BB41-942F1BFB1A84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$2E93EB76-C2CB-4552-B1B8-D8190847FE7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200065$19527ED4-9833-41CC-9B6F-2084BA576A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200065$0F4B5784-6716-4E71-9481-B14B45325C1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a4cb9340f2abf9efc0871044233f810dc828fe0","datavalue":{"value":"5934392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200065$A33D1F1E-45C1-4A06-88ED-EA3EB594252A","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":"Q5200065$E78E0A34-1952-44D6-A7DB-1118A6EE9198","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"991360ed43679bbd5e9d144231cdec1dc752e59e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22256-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200065$70EA88CA-F367-4908-8AC1-54BF983293CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"880f937cc3d13b26bd917e4b92894851d73a7870","datavalue":{"value":"W8752349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200065$1D01758E-C8FD-42A9-B469-C9F8C3BA2526","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b480de29d4fff9d856bd111d68b9c96191d76781","datavalue":{"value":{"entity-type":"item","numeric-id":3549289,"id":"Q3549289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$7F58F0C4-8007-48FD-A4C9-5A1560125152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1015223d67918332e400f20d91536d0e9b9d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3021940,"id":"Q3021940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$0EBBF755-BB3A-4B66-A958-BBA7BFBFD8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99dd4800ce4464f9914fd844e56d480d1541f31","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$339BB119-00D3-4743-971C-E3AE330FF7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e042762fbd763f64f093bb358ed1a4b6e22596","datavalue":{"value":{"entity-type":"item","numeric-id":4680729,"id":"Q4680729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$E5E191E2-EB28-4953-AF56-041D1C601285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab6bd8e847f55d041231eec50794a7cd247619","datavalue":{"value":{"entity-type":"item","numeric-id":3182939,"id":"Q3182939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$24D40264-1EE4-44F0-A0B7-8E56D96209CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1600da294c013c0def2ba3a3d8c2aba8dc49ea","datavalue":{"value":{"entity-type":"item","numeric-id":3088051,"id":"Q3088051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$A7EC8703-E234-4E78-BA9D-CDDD583F8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$68BAE1E0-F48E-4390-8162-6AC16F0D5EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb3b0f87f9a10e5de6bd94c9da21c65f298c263","datavalue":{"value":{"entity-type":"item","numeric-id":2529012,"id":"Q2529012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$1BA0E7EA-C1DF-4586-A485-ADF100796DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23be84fe3a80caf9de45c5ba219262074b0f02a","datavalue":{"value":{"entity-type":"item","numeric-id":2012662,"id":"Q2012662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$16E0F208-6A2D-4123-92B7-FD8D8C7BF062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d7b34194173a38005e75dcfe3a7e4d5697a74a","datavalue":{"value":{"entity-type":"item","numeric-id":5696954,"id":"Q5696954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$FA1130AB-A899-4324-AD3F-5EF1924615F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5e81313562929b3637d7435bafb071d01e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200065$C21EEFAF-53E5-4C19-8F1E-92459C35CD18","rank":"normal"}],"P1643":[{"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":"d8b50751aa5db72d419e032e716afd35444cfa54","datavalue":{"value":{"amount":"+0.828995943069458","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":"Q5200065$D559C54D-83EA-49FD-AE74-F4310CE7D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137b70dd0a16a35d821540f8dd18f62dae9b1eda","datavalue":{"value":{"entity-type":"item","numeric-id":5696954,"id":"Q5696954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf4dfa8c62cd4d7588918f08f2bce9669bbf732","datavalue":{"value":{"amount":"+0.8173747062683105","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":"Q5200065$4AA376D5-1368-41AA-8C8F-DE345A61B863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259c10802443c7c13b739fe2b567ac9da891d160","datavalue":{"value":{"entity-type":"item","numeric-id":4955252,"id":"Q4955252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac93b51abecb494f0573045fd3da7f17008abf2","datavalue":{"value":{"amount":"+0.8133552074432373","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":"Q5200065$12762288-1F1B-4DD2-BAEE-202C73FAA451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf7ce2a9ce273ffe75ed67b1b154d005e225e34","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2264ad7afaeca1916d0f91abc86ce1564e1c4e17","datavalue":{"value":{"amount":"+0.8129712343215942","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":"Q5200065$17B2DD1C-E0FB-4E43-8F16-982296C31CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c286c1ea5c22efcd511aed56aa7d973d6abd7456","datavalue":{"value":{"entity-type":"item","numeric-id":4540971,"id":"Q4540971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d604b069d2cba164eae3356c003272bad56c17","datavalue":{"value":{"amount":"+0.7918475866317749","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":"Q5200065$C1610377-101B-4D7F-BACD-78AE6187C6BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200065"}}}}}