{"entities":{"Q5918274":{"pageid":8048858,"ns":120,"title":"Item:Q5918274","lastrevid":54012911,"modified":"2026-01-26T02:21:12Z","type":"item","id":"Q5918274","labels":{"en":{"language":"en","value":"Input-driven multi-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7354761"}},"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":"Q5918274$8A8B0B2E-70E1-41C0-AAB4-130AB0671CAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45abc2aa4c0bc64611aa100fc85685b09e62bc6","datavalue":{"value":{"text":"Input-driven multi-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918274$21CB3412-E9BA-4AA4-9819-F5DDD6ED75D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a491e4332468f695d2773c764774e6e16c8df6","datavalue":{"value":"1504.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918274$3BE9862F-B3C2-434F-8564-DBFEA12D2268","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3d34816c1dbe170dc863d0f4b5d14681713b90","datavalue":{"value":{"entity-type":"item","numeric-id":442150,"id":"Q442150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$894AF46C-4A6A-4492-BBFD-0345092180AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5b44684a6cc8af75870784fb52a5ba3f9758e","datavalue":{"value":{"entity-type":"item","numeric-id":383363,"id":"Q383363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$5FA8D20D-DB70-48EF-A55A-3E90899CDF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7049a9d7bb211844b5d7c9dbfd036c73e4e37db7","datavalue":{"value":{"entity-type":"item","numeric-id":478517,"id":"Q478517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$EE35F6CB-6354-41D3-AA3A-15C4EA1405A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$9653CDC8-7781-4A5A-956A-A2A2EFE495C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb748296bee5990a1a4663876270be07aac2894b","datavalue":{"value":{"time":"+2021-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918274$0F1328CE-5F2F-4F56-9F5A-5C98918DD992","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918274$BBB210CE-6259-4C3B-B398-BD6927F556A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a2daa67b74d8e4cc8521b6625c242f47f7d98a","datavalue":{"value":"7354761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918274$9DB8FCD7-428F-4B5B-AFFA-5AADBAEEF22D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$FCD1EE23-CA22-44EF-A331-57CB7A22F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f604bf7137200593a2abf31b0a4ef97985e761d5","datavalue":{"value":"input-driven machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$4A1AC2C2-84AB-454F-A896-7C3D6D701A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1c8907d9355bab77ce8391925bde1646c4ff9f","datavalue":{"value":"counter hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$78CCD79E-BADD-4742-ABAA-A19DAE2C8856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$F0096642-8D05-4732-93E3-14BED66152CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$D81604B1-91F2-4D09-867A-EBB54149C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$93ADDD18-D7E0-4D73-A57E-BC0FCABC22E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918274$D8615BEE-E57F-4FD2-9CA0-CCFCF7DBAC6F","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":"Q5918274$DB136086-FF71-40E4-8497-154BD36485DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed7c53a4e853f2a4ac71860e7e1db7917c118931","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2021.01.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918274$189E1AE2-EF25-42F4-82C6-74AF688EEB97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd5dfb81d089384701b390167787cd0d9613a203","datavalue":{"value":"W3126043357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918274$1D5127FB-E4AB-4262-BBAB-35661A28FC97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bd9ad3e8bc5411bcb4d384d7dd4c052a7966fc","datavalue":{"value":{"entity-type":"item","numeric-id":5918804,"id":"Q5918804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$BD28EE31-ECFA-4320-80C1-A9EFBAADB497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$7026FF85-9EE8-4CA6-8816-7B8239601AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0472dbb9460a41709f6cf9fbcdb326f4bea9d4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5551469,"id":"Q5551469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$E1BBF8B9-4679-40FF-9987-D1A8596521FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c275f00bd2b1625717370185ca0dbd8464de5303","datavalue":{"value":{"entity-type":"item","numeric-id":1251070,"id":"Q1251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$9EE6F270-2E18-410C-BF4D-B13D8316C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$929D24FB-F86A-459D-96FD-21CF6E7F62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$29418B2C-6ABD-4CEB-9EA8-D8DD4C21A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac812234334ade637f98d6951f11caf29450bf68","datavalue":{"value":{"entity-type":"item","numeric-id":3219133,"id":"Q3219133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$12BCBADC-787A-40F8-BFE1-4E94BB822869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$BE44122A-4241-4030-B6A6-63755EE53071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4158e9526994a65a76e954808a817b67bcbff9","datavalue":{"value":{"entity-type":"item","numeric-id":5449818,"id":"Q5449818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$086353C8-6EEE-4013-8497-9BEAAFAD5517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b9ee589c44883d90bcf7ebff046747fc693f83","datavalue":{"value":{"entity-type":"item","numeric-id":2946409,"id":"Q2946409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$0C77B6DE-D5F9-4ED2-8C3C-FF5E0D520F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e901aca582f8abe06fdbbae02a4806cbe65b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":2955026,"id":"Q2955026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$7820ABC9-CAF9-40BC-98C5-8A9A825087F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb85b86517e33688ea4f1a6a764bb6dca96c127","datavalue":{"value":{"entity-type":"item","numeric-id":5890814,"id":"Q5890814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$C09BAF8E-63DF-44EA-B059-F16500187613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4dd809e0d701986a2414e41ad2dff97ef89933","datavalue":{"value":{"entity-type":"item","numeric-id":2915157,"id":"Q2915157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$6A496BCA-9539-4421-95D4-9AB098B9FECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b27c1c5ff614cfcdbd72b2dceea4b10880110b4","datavalue":{"value":{"entity-type":"item","numeric-id":2344746,"id":"Q2344746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$14FCA4FA-96A8-4AF7-8D8B-942CE55BA33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad9f1851d6e8397a9f004863fc8b9252c567a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4589236,"id":"Q4589236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$042ADE45-9EF6-4126-A2F2-8C6136EB6C89","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":"Q5918274$41CAF994-E8DA-4C7F-AF25-1A48238D4713","rank":"normal"},{"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":"Q5918274$F530E307-6510-4CAC-9E99-44A5256E7956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a232c35b6a28e72750db12e94bfd63c2f641e370","datavalue":{"value":{"entity-type":"item","numeric-id":4601148,"id":"Q4601148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$13EEB13F-5854-48AB-B2BF-BD8EB8433FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8d6d892bed997114aa8fab4b9c22b28b44ae3f","datavalue":{"value":{"entity-type":"item","numeric-id":5495783,"id":"Q5495783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$99E4192E-B73F-4B84-9601-7265463F63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9164970ac8079b23f3401b96cb337e6626e45eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2540268,"id":"Q2540268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$4A8DD2DF-1BB9-4151-97CE-7C8986ED23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84024d594973ff8e971980ddb8d142a5250b40e7","datavalue":{"value":{"entity-type":"item","numeric-id":3102144,"id":"Q3102144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918274$65F4D8A9-5EE9-4102-A585-3E514FCF063E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c65802ff6f4b59d3d56700f6a866a5cc66f05892","datavalue":{"value":"10.1016/J.TCS.2021.01.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918274$59743A2C-6100-46F5-A6E8-1C0C29900DFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d07b1a755f7d49e014727f19290008caca8614","datavalue":{"value":{"entity-type":"item","numeric-id":5918804,"id":"Q5918804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8849168e12a6e70fec7077dfda307d496063609d","datavalue":{"value":{"amount":"+0.9669289588928224","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":"Q5918274$4E7DEE44-DF98-4118-8635-B4052B147FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5aab5c23fd473777ace2ff350f81ceb1d60020a","datavalue":{"value":{"entity-type":"item","numeric-id":2344746,"id":"Q2344746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b6ad7677b0403478b4b5d9f2abcef167dee5c5","datavalue":{"value":{"amount":"+0.8059208393096924","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":"Q5918274$38EB402D-7F11-40BB-B2CC-EFC59949259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be60710e2719155f56fd7fafe3484256db478328","datavalue":{"value":{"entity-type":"item","numeric-id":5327498,"id":"Q5327498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8eb3ce38f58ba8f87384f1b104ed7cf5b21d23a","datavalue":{"value":{"amount":"+0.8006381988525391","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":"Q5918274$ED92BE69-1C72-42D6-8C13-4BC4275A38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944bad8647a2ad95ffe60db64435a34f2c8c3fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2638802,"id":"Q2638802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319ed4c79409522453a82f69c0894a09304b52ab","datavalue":{"value":{"amount":"+0.792214035987854","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":"Q5918274$90C97A6B-4567-4C7F-94EF-5BF5A79FDE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99054b145c5eaddd220e9da04d5fca987a6210e3","datavalue":{"value":{"entity-type":"item","numeric-id":4601148,"id":"Q4601148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105b50f5c6f05c8f08e6967cc3b8949bce49f9ea","datavalue":{"value":{"amount":"+0.7839265465736389","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":"Q5918274$307D12FB-5A87-4884-9D58-D57E3B0BEB24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918274"}}}}}