{"entities":{"Q5416362":{"pageid":7445936,"ns":120,"title":"Item:Q5416362","lastrevid":52002077,"modified":"2026-01-20T17:43:32Z","type":"item","id":"Q5416362","labels":{"en":{"language":"en","value":"Automata with modulo counters and nondeterministic counter bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6296992"}},"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":"Q5416362$7F3D1E14-1033-4AD4-9024-019935662BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a6d08a366fbdef6fa8ff9041db270dc7e8092e9","datavalue":{"value":"1361.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416362$F0D59E17-88EA-4EDC-B24E-A81390FADD99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67caf897d68a28c033b3c643bbbe09eda01b859","datavalue":{"value":{"entity-type":"item","numeric-id":340551,"id":"Q340551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$0E029F7A-7C57-4483-8F4F-910A6B3E6181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08bd73b8f826c8dbdeb6470e2a97e95c375ab926","datavalue":{"value":{"entity-type":"item","numeric-id":315523,"id":"Q315523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$6DD0FD71-5520-4547-BE9B-D992B776CE65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32e51fbfc01983f1e9c52fc035dd7f60639026ae","datavalue":{"value":{"time":"+2014-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416362$F94DF7BD-7DEB-4594-A6D5-EC66C3876CDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5aa4376cdc1e105b289943e0bb1084b8c41d127","datavalue":{"value":"http://www.kybernetika.cz/content/2014/1/66","type":"string"},"datatype":"url"},"type":"statement","id":"Q5416362$ECEF9112-321D-446D-8CA0-4458AA837536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416362$A95CA0CC-7F85-430E-B05E-7C013AAC365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416362$7FDB2307-BEC4-474B-A9A3-27154204E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416362$C87BE705-C88B-48BA-8C0E-840C29B0B704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfd71b58a79e02ea050c235646677e1d945c0bd7","datavalue":{"value":"6296992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416362$99F4C054-64F4-4029-AFDA-89D30DC49F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91243e53f8c46927dc165b116b35cdebc260795","datavalue":{"value":"multi-head automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416362$FD50685C-73A1-482B-B606-BCB2EBE9B404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416362$7294F9A9-7B41-4361-8399-FF4870FFBD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ed239594ffa8998b88ad8aff6782fe5104a479","datavalue":{"value":"modulo counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416362$5954DE8F-C244-43FB-A306-E8173A2E48E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c45e27388111043613bd03f187323b2dc7225b","datavalue":{"value":"stateless automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416362$E2FEFE42-83F2-44C8-B229-0EB2CEA75E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645a659376e00060ffffbdc14b3e411867b439b8","datavalue":{"value":"restricted nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416362$D07F6B5C-AF99-4F0B-BABC-EFC2068C9ACB","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":"Q5416362$BA09D4FD-76F3-442E-9B7C-BD2A1AF6ACD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad03ab02a222ed5fc4f2106dcdfb8f973c0809","datavalue":{"value":{"entity-type":"item","numeric-id":1088408,"id":"Q1088408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$9B773FAF-0B89-4900-B26E-0DC443AB29D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f72597a45126ed3a9815919ac5f4ac39e5636f","datavalue":{"value":{"entity-type":"item","numeric-id":714812,"id":"Q714812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$301ADF8D-0ACD-46EF-AD09-32E478D48919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8085efc168b771edd069942eb26bc8ef33feb6","datavalue":{"value":{"entity-type":"item","numeric-id":3637229,"id":"Q3637229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$8631C98D-F858-4F7B-AF9A-718E810464E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$EBFD272E-E4F9-436E-86A7-C1A01E301341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be8379f7b1dfb9112fc6c6550fe59888f6875bd","datavalue":{"value":{"entity-type":"item","numeric-id":616495,"id":"Q616495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$5157F811-B527-4257-B57A-35BF5B386908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$819FB069-A4B1-452A-A04E-1FEA12233B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$A68B03BA-1BE0-40AD-9DAD-565D88553C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cbbb077d4e748ec34c73824ea18932f05565b8","datavalue":{"value":{"entity-type":"item","numeric-id":5323089,"id":"Q5323089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$C0E9457A-CF25-45E2-A2CB-E33DB5DDFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb0bab710013dd6152f24ade8e8dea119b96d11","datavalue":{"value":{"entity-type":"item","numeric-id":844888,"id":"Q844888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$6606B6B6-81F2-4C0A-B4BA-30BD05BD8642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64c484d00114ac6daaecc5bff5a8836afb1c7ad","datavalue":{"value":{"entity-type":"item","numeric-id":2490819,"id":"Q2490819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$70EC2431-0808-4514-8513-4DEC7A028396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc54cbddb4d96a11958944c727d034482f023f68","datavalue":{"value":{"entity-type":"item","numeric-id":2843092,"id":"Q2843092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$5ADBC15B-320F-4BD3-87AB-294D3B0C4E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da53f321e5f5d18f3d41dceaa9fad169b946fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3056279,"id":"Q3056279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$A7DC9D91-3AAD-4C41-A6B8-6B88C1F56E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c3ec42f7298cc5bc87787b6d3b98d85b4ebf8e","datavalue":{"value":{"entity-type":"item","numeric-id":3885190,"id":"Q3885190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$F22D8728-E730-4374-BBA5-6653177C635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf5e6d4b108d40b00e81080ea266ee13e8baa31","datavalue":{"value":{"entity-type":"item","numeric-id":3073643,"id":"Q3073643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$9ADF2919-9257-4A64-980D-B83A31C4555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950289c400aac42f3764063ac62916b01156d159","datavalue":{"value":{"entity-type":"item","numeric-id":2914726,"id":"Q2914726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$85D32FC3-9B64-4C8B-879B-93550C11DAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57784749ba6d7408b266cc505cfb00bd1bc700a5","datavalue":{"value":{"entity-type":"item","numeric-id":3542882,"id":"Q3542882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416362$CC8473EE-578B-4BAC-B4CE-12B65C832135","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685060cf01c79a8133d555b181e68f8eaedeec5","datavalue":{"value":{"entity-type":"item","numeric-id":2914726,"id":"Q2914726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9484637535911a209f2ab5dfb6798535e376f141","datavalue":{"value":{"amount":"+0.9955936074256896","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":"Q5416362$595CD9A9-E24C-4FA1-AC86-FE6F94FF1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf156223f28ec968585aef7479d9958608134e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2333810,"id":"Q2333810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2606778ed4912ba85a3413594977337bcafb2ee","datavalue":{"value":{"amount":"+0.7513112425804138","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":"Q5416362$032F4784-7257-440D-B2BB-F27A119EA6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d04f6b9b2d7463ca24ad2f551492b84fae8143","datavalue":{"value":{"entity-type":"item","numeric-id":3167588,"id":"Q3167588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b831daf954c1b50f2beb11c6a648b1a33975fd","datavalue":{"value":{"amount":"+0.7490450143814087","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":"Q5416362$72313D12-F1C9-4C3A-9ABF-C358A6700C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68022ec70cfcf9446b023bcbeddd2947e892c07b","datavalue":{"value":{"entity-type":"item","numeric-id":1763701,"id":"Q1763701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a25b2b0a55a3dc20521f57ada38a5ccc0d3c2b8","datavalue":{"value":{"amount":"+0.7479516863822937","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":"Q5416362$A45D4935-08D0-41DF-8392-AEA3A594DA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561a556981847876956a9e851274c07126fe49e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496173,"id":"Q5496173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf228e13b97ce697919029eef5b9b21079e4506","datavalue":{"value":{"amount":"+0.7398536205291748","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":"Q5416362$D3008D92-C1F6-430F-81F2-4ADC3677B03A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5416362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5416362"}}}}}