{"entities":{"Q553320":{"pageid":555087,"ns":120,"title":"Item:Q553320","lastrevid":51303359,"modified":"2026-01-17T16:34:45Z","type":"item","id":"Q553320","labels":{"en":{"language":"en","value":"Optimal simulation of self-verifying automata by deterministic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5932329"}},"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":"Q553320$03AA2099-3368-48FB-8720-63074FF20E2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eff7e46af9cfb28a7b39262e35244212754d7451","datavalue":{"value":{"text":"Optimal simulation of self-verifying automata by deterministic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q553320$2F531374-88F4-4B32-BE80-4B95AD72428F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d580e19103bc054cfbd9036bd0cfcc2b5ef610","datavalue":{"value":"1217.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$014BFFB6-D2E2-4B79-A62A-4EB39B057563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7c5967ae26e9b631724c0e0067976453948e02","datavalue":{"value":{"entity-type":"item","numeric-id":443741,"id":"Q443741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$47C5C8F8-2A5E-4A00-A539-413A8B7D84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f920db5aff0a8e6518a5a866c3161192fca7ec8","datavalue":{"value":{"entity-type":"item","numeric-id":383364,"id":"Q383364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$9ED04834-CC46-4261-9B82-0E07D761D83C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$45A47DE6-C72C-485B-896D-1D6FA4DAF973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e389d84f8899d4fd416867a29608c3150f7b747","datavalue":{"value":{"time":"+2011-07-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":"Q553320$19E4EF17-C624-4C54-B508-ABD467688E98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$AD5CBFD5-F76E-433D-AE37-95F4931F5515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$31231200-0BBB-4F7B-B9F6-36A39A04FC6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08cd370e7146a5bf1e2bf8205b4a58aeb521abb0","datavalue":{"value":"5932329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$2808E8A9-F98A-443C-985F-FEC3AEEE4516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q553320$4A7E0F14-25C9-4A2E-AD04-58932EBAEB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q553320$67F817D2-7FC9-4672-8272-67DB9D5E14AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4faa24188f5802979bdfedebeda5dd7eea2443","datavalue":{"value":"self-verifying automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q553320$EA45BA5B-8FCD-42CA-9FCF-B33CCACF7B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q553320$7B0DBD7E-2338-4B4C-95B0-05B536AD00D9","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":"Q553320$05931066-15EF-45E0-924A-EC8334F4D99F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"566ee81b8d3596b7360e67056766a9ebd3610722","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.11.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q553320$9638D44C-BF9C-46C0-8D60-770F0E12D008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85ad7651a4267497a9f6b49ccd3044ea91f42f40","datavalue":{"value":"W1978638999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$F5CE05A6-FEC5-4361-9724-B22C0DDD81DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7883b3bdb9c5795c8f2eec189c7a82682989137e","datavalue":{"value":"Q57380749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$8E1A8DE8-30AF-40A6-950A-8E62A75C8515","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a214656dac4fa9fe492ef1497e5656980477b222","datavalue":{"value":{"entity-type":"item","numeric-id":5422234,"id":"Q5422234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$C6EBC55E-EA94-4E4B-AB64-01C7732CA0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$6D56233C-F3F2-4E3D-9D9C-1465EBE8DAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735238b3e7c7f03ab1fec1b4302c31439ded9b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5554980,"id":"Q5554980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$BEF4115E-0414-4611-A3DE-0CE8512829E8","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":"Q553320$DA20166B-86AB-474C-982C-605BDC0D6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a6df4ac431ed3d7f4aa953796c44279a62d224","datavalue":{"value":{"entity-type":"item","numeric-id":5047164,"id":"Q5047164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$BF39F3C3-3A47-4F62-AB20-2A0DCC6DDEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102581bf4d7fb5d1a4fa98b5bea9f3cf8af66295","datavalue":{"value":{"entity-type":"item","numeric-id":4441900,"id":"Q4441900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$43C72F73-2F17-4965-9E82-0FC18CEAE783","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":"Q553320$B34902B6-8699-4C20-AC50-5C938286276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54dcc92f065e5181b0bbea165bb3349a86c12f74","datavalue":{"value":{"entity-type":"item","numeric-id":5425747,"id":"Q5425747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$3EEC5A88-7E39-45CF-AC90-D25EE4CB6B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c334f24f0ea0f5930a0f10f3816e5cbac17eea","datavalue":{"value":{"entity-type":"item","numeric-id":5920767,"id":"Q5920767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$635A5059-D484-4A9D-AC6A-54C1BC3CE50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971679bdf7cbd095011d431a823cf403c3425242","datavalue":{"value":{"entity-type":"item","numeric-id":4503150,"id":"Q4503150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$B831C118-9022-48D5-87FA-503DB8AE31D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8849b41b10a4381a4de7dd81114a45d1ffea3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4531373,"id":"Q4531373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$7CCE2610-8591-4581-BFB0-F9783AD5A9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff908209cbae1dc0a10a9462932031345a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1099644,"id":"Q1099644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$593BD3CF-1D8D-420F-9D2A-D22D150D1245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f105dc86072154f2105f3ff3094705c5fabd30d","datavalue":{"value":{"entity-type":"item","numeric-id":1763723,"id":"Q1763723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$16489989-6EE3-4D82-9F8F-6E74A2418EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263dd9944875e8b7c5c2f36987d57a8bc2b6e98","datavalue":{"value":{"entity-type":"item","numeric-id":3557021,"id":"Q3557021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553320$8C1EB334-3E64-4155-8EF5-32F6582779E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d967926386fe7a7289415ca173feb7e9222f1e84","datavalue":{"value":"10.1016/J.IC.2010.11.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$5CA7C5A2-1E83-4718-B471-B1682203148C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c72c0fbf20cf60cbbd6dd5c0966f5665672346b5","datavalue":{"value":"journals/iandc/JiraskovaP11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553320$B69FBF7A-E10E-43DB-BBC5-DE66DE057069","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":"ff34ffa8ce2f303729601cbda8e334726210b438","datavalue":{"value":{"amount":"+0.9620412588119508","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":"Q553320$ABF5A3D9-04C9-411E-A73E-795E234F5579","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":"fa7832beac50cd163f417df93cc1d2d609944b88","datavalue":{"value":{"amount":"+0.8967530131340027","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":"Q553320$6BBAC7E3-D52A-4C1A-B994-4CD71E719520","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":"952d9587c539dfa4e5defb5161e53cdf6e6c3a68","datavalue":{"value":{"amount":"+0.8093259930610657","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":"Q553320$BCFDF489-4A3C-44C3-B47C-6B88573B54A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7fd52128f691f2b1a1a7b9e1fc2b773b29a15c","datavalue":{"value":{"entity-type":"item","numeric-id":3194721,"id":"Q3194721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933fe7c313aad14ada0237b65c4a6b7672aaad5a","datavalue":{"value":{"amount":"+0.8061363101005554","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":"Q553320$BDA935E4-C15A-44A1-BC5E-F358B1C3117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9393ebbddee5cdf054349f278616b104749c5beb","datavalue":{"value":{"entity-type":"item","numeric-id":2829981,"id":"Q2829981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2411116dcadc43e9affcaeeb63a4b5735979bd4f","datavalue":{"value":{"amount":"+0.7984764575958252","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":"Q553320$CAAC5624-9B28-40F8-A59F-BBC3AF5D982A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:553320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:553320"}}}}}