{"entities":{"Q5425747":{"pageid":7455321,"ns":120,"title":"Item:Q5425747","lastrevid":96257222,"modified":"2026-06-05T10:47:56Z","type":"item","id":"Q5425747","labels":{"en":{"language":"en","value":"An upper bound for transforming self-verifying automata into deterministic ones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211859"}},"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":"Q5425747$1588BD20-3DA1-4AF6-B11F-E1C8954304E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2cd7befe580c95a8d8359973b72842c3b7cbb6a","datavalue":{"value":{"text":"An upper bound for transforming self-verifying automata into deterministic ones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425747$52B8E15F-0B26-4F17-9FB1-2D409EC64145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08b31c601f6f33e7a052485d738a7d56b63a9ff2","datavalue":{"value":"1130.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$1657CED5-6D7A-4CE7-8AF1-0925C0427142","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38346d83f5d1bcef528822de2ab82e7cdff4fb64","datavalue":{"value":{"entity-type":"item","numeric-id":1741413,"id":"Q1741413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425747$E284C879-8B08-4BB5-86DC-83E4B77611EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edb282c130dc15c3097350355a1b0d3430d943","datavalue":{"value":{"entity-type":"item","numeric-id":208755,"id":"Q208755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425747$91485FAC-5D3C-4605-9209-3EAA871CA93D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425747$CF7D8D19-72CB-4EE4-8496-BF1287F0F027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb246d74428bf95f3ed2ed9a3bb24dd112fcb276","datavalue":{"value":{"time":"+2007-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425747$76BF5C57-5C62-45A3-AD6C-A6B688CFD2BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5607b57a27e3dd2aef50171e79b256d77e4ad301","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2007__41_3_261_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425747$8C159388-0CBD-4D12-A745-5EB0DA9AE38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a501babfa7801a2731c769b961f826e0b27f054","datavalue":{"value":"https://eudml.org/doc/92843","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425747$2274C5D7-DA1B-4CCC-BFF3-051B84372E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"410d9436b98cfec117e83a8bedd1bf3516a377cc","datavalue":{"value":"https://semanticscholar.org/paper/f850117225ddb6547f07a3490dde67378c9b2bba","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425747$8045EC64-7A2E-428D-ACD2-2510BF338D5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$1A511266-F4DE-4A66-9BCA-7C80246AA6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$DF7FE232-4248-4FDA-A063-B3BC12D99A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3cc5cd1e69af7db4bccc2290bc43a2c1f815d24","datavalue":{"value":"5211859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$4191A0DA-1E98-4703-BD88-6B56E86C2863","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e01140dd472cbf1e4531b071faad0bc9b610b3","datavalue":{"value":"self-verifying nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425747$38EF35FA-6860-4061-8F68-3DE97FC18D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425747$F2A0B3D0-0B32-4E57-8AFA-6063CD1ACA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf80ee313a06c128e13e8b6af924ec5c8fbaf041","datavalue":{"value":"power set construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425747$09BBC6F2-1A49-45E3-957F-A1AA2C36855A","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":"Q5425747$0C8E5B63-CF98-4B2B-BC1F-EA1C2E5576C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d607010d8a001cf4fc702f4fd20abf3f7d5c404","datavalue":{"value":"W2028979408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$9C04B34B-35EC-4DCC-9CAA-3A010A4C84F9","rank":"normal"}],"P223":[{"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":"Q5425747$124AE4F4-478C-479A-BB63-34B9818352B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d50e8c0c08ec3218e461b418413430778ccb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1854456,"id":"Q1854456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425747$D51A4E2C-291F-477B-ACFF-DD9386979115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71af02a11f0cbe069e4ea9beb45ae622432bd444","datavalue":{"value":{"entity-type":"item","numeric-id":5638224,"id":"Q5638224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425747$CB0123C1-09EC-4A95-BBB9-953F93397E20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55a40fe125c87d6f101a57c8d8c999e973c0f79f","datavalue":{"value":"10.1051/ITA:2007017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425747$53E22C09-1CED-412E-91A4-5B27D29DC8CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7533a7b78cce8a7106b907f17843ae4865e05ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3618603,"id":"Q3618603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7840ba5331b72675296d9b03f7233e14e58964ea","datavalue":{"value":{"amount":"+0.836340606212616","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":"Q5425747$8342A9D0-AF15-4CBF-8BED-71C3EF38F563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f207c2ed3d4c2d5d02c43c7e41dde74884e552","datavalue":{"value":{"entity-type":"item","numeric-id":553320,"id":"Q553320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4978081108614769fbd2046640db8db161cc928","datavalue":{"value":{"amount":"+0.7942425012588501","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":"Q5425747$23447A77-4D21-47D2-9E50-476B3FCEE1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed09888db85b3bc3b42d4aada3c17b60a6dc23","datavalue":{"value":{"entity-type":"item","numeric-id":5016366,"id":"Q5016366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469f1124f180030dde07dc501e4179612c6872f1","datavalue":{"value":{"amount":"+0.751865565776825","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":"Q5425747$AA6C3C76-79D9-4801-A59E-A2613E20729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e294a9b8ad8dd3032704df81693908186775ad2","datavalue":{"value":{"entity-type":"item","numeric-id":4412581,"id":"Q4412581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6eadcb8656df2c3bcb2e9f7453d73b3237659d","datavalue":{"value":{"amount":"+0.7404899001121521","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":"Q5425747$BD8EC87A-6D87-47EF-9673-BAB3F4CEF4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e495d06b87bfc93aab41e78ba3ed96269cfcd317","datavalue":{"value":{"entity-type":"item","numeric-id":2829967,"id":"Q2829967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7532cc7640a7f11d030e8e4f35dadd46caefe8ba","datavalue":{"value":{"amount":"+0.7369219660758972","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":"Q5425747$990E1AD3-EE54-465E-8A30-51F895388F04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An upper bound for transforming self-verifying automata into deterministic ones","badges":[]}}}}}