{"entities":{"Q5384429":{"pageid":7414003,"ns":120,"title":"Item:Q5384429","lastrevid":96224444,"modified":"2026-06-05T10:43:24Z","type":"item","id":"Q5384429","labels":{"en":{"language":"en","value":"Operational state complexity and decidability of jumping finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7072168"}},"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":"Q5384429$5A5CEDB7-5473-48FB-97BA-A890F456B72D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a08445358d120c78269188acd30e141c2bf2678","datavalue":{"value":{"text":"Operational State Complexity and Decidability of Jumping Finite Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5384429$2C527B27-2BEA-461B-BF09-89545520479C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9064f7a2d7f6c43ba1632f7c2d2383b43f5cda2","datavalue":{"value":"1415.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$D56DD463-55ED-467B-B157-C0837AF24400","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60cb592c579cdd88451551f43b74c9f61131dc5","datavalue":{"value":"10.1142/S012905411940001X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$27D497E0-E60B-48AC-93EE-3C95ED02793A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b631793ec8707222fc557c75ec39ecb7f89772e4","datavalue":{"value":{"entity-type":"item","numeric-id":777982,"id":"Q777982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$1159D1CF-EA2C-4082-BFBD-0E3079E0DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1704a18cfd2f14b89a97fd334fb2dab6ea6630e","datavalue":{"value":{"entity-type":"item","numeric-id":198230,"id":"Q198230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$81AB56D6-BB11-44F7-9323-FAD169EFA42F","rank":"normal"},{"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":"Q5384429$660DFA1A-5F74-478E-8F5C-5A8B8A793705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$61E10886-E669-4798-96C4-19F2EBE58DA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b038ab3d812bc338c16538e2f01ef9ff79db1970","datavalue":{"value":{"time":"+2019-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384429$CC576D10-1506-4F6D-B455-1B1967346B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$FE3F1600-4395-46C6-9D93-888800D03AB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d727d1c914a7502c5bff5b5b88442003466a23a","datavalue":{"value":"7072168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$15F1EDFA-AF7D-4D60-941F-6C9D6881031C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49fda51bf30a22a4183a6de9035d30bfa291be01","datavalue":{"value":"jumping automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$D9CA15F2-D981-4D44-BC6C-926F2BE8244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40244290bda17e81647013fe8e28c1fc52cdf33f","datavalue":{"value":"Parikh image","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$EC6A9678-E332-415C-8727-2D25DE4CD39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f221017ac632904454e33ff1904ed996f8e2ab","datavalue":{"value":"semilinear set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$CFDED3C3-E6C6-4629-AAE4-2A11B1240C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ace824b681f08c95fa6d12b1e67277162cece8","datavalue":{"value":"operation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$8AEBC0F3-B9A4-4F92-9ABF-8246A7760070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$B0037527-098D-483C-9E72-7481251526DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384429$4F3495F3-6D29-49DB-8199-5A28476E3C63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$4EBDEF77-F28D-40E9-8B3F-E264E58C1F91","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":"Q5384429$C232FEC5-4FED-4B09-8179-D64FFC620E2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d015bacb6a3519d35f0061f5f1407bd82e1b281","datavalue":{"value":{"entity-type":"item","numeric-id":5016357,"id":"Q5016357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$5918205E-0847-46FB-9CE3-DF45E4C7F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3baa15d3ebc8f013bb1c5bad57c1b9f6aadaf95","datavalue":{"value":{"entity-type":"item","numeric-id":1186807,"id":"Q1186807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$46BC5F0D-BCFC-464F-B614-B5427751F6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a224df8aac482dea33f6d2cf846042b793722764","datavalue":{"value":{"entity-type":"item","numeric-id":2947412,"id":"Q2947412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$1C1F84E4-39F9-4553-A495-102F24B514CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5f8f5bf74c2b7eae678a2a7a0f19862fd6a60","datavalue":{"value":{"entity-type":"item","numeric-id":2357104,"id":"Q2357104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$8F8C0288-C2B8-4C0B-B00C-43528039F560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$F09C564A-A190-47DE-AFEC-01A0E42392FB","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":"Q5384429$588800F0-E1F7-498E-AA9A-9D23A8961217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28e5b23ac3ae85f152978c1112c206f72e55a9","datavalue":{"value":{"entity-type":"item","numeric-id":761043,"id":"Q761043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$83CA7C04-6E65-4A0C-8BF9-2893903DB289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b643f8cccbbd8eac9ed109cfadba5472f2eb884","datavalue":{"value":{"entity-type":"item","numeric-id":3736915,"id":"Q3736915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$8BF69AF0-9196-45B5-AD1A-860E279C60B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a38a0cfef9ce99ec49f469d61954cb567c898e","datavalue":{"value":{"entity-type":"item","numeric-id":4727433,"id":"Q4727433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$178779BA-D54C-48E8-BF2B-5DA53FAA7502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2f573592e98c5ac8ddf159206ff6c9481db65e","datavalue":{"value":{"entity-type":"item","numeric-id":3668872,"id":"Q3668872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$2E8CE1F5-DC62-4653-B686-844738E68916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c57844959676d86620243a837fa01866a5a1f7","datavalue":{"value":{"entity-type":"item","numeric-id":5246714,"id":"Q5246714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$4751A56F-793F-48BE-AEF4-43D5CD6D93DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b069af3c80a22d9b7d0ba53b97746f788dbdf0","datavalue":{"value":{"entity-type":"item","numeric-id":388216,"id":"Q388216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$F7134883-734D-4DF2-8CEF-D43D7E52ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac77ea9416410f961d7082cf143f1e881a4732","datavalue":{"value":{"entity-type":"item","numeric-id":5496197,"id":"Q5496197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$B9B4F842-1B24-4645-B2E5-FDEB79D75109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a511a2e2821897bb00545cdd03528883367aa9c2","datavalue":{"value":{"entity-type":"item","numeric-id":4923298,"id":"Q4923298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$1E8FF3BD-02BA-4579-91CF-F66068FCEF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc823d82b70115f2b2657e1ac9a43fb993e1e05","datavalue":{"value":{"entity-type":"item","numeric-id":4609333,"id":"Q4609333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384429$8833E418-884A-4958-8C0E-761724A6C354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fc8a3b5b54af5192e1e54f55f10337756ee93f3","datavalue":{"value":"https://doi.org/10.1142/s012905411940001x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384429$71457DEC-1C92-4C0A-96C9-A20B6E48EE34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c324e5b0eb224898d57d7db29df3585a9a895cba","datavalue":{"value":"W2920575637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$79DB6403-8EDA-4945-A793-FB948A39D6EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7dd9198cd3c6846798f7e6d23be3cac7b5b1bd94","datavalue":{"value":"Q128283700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384429$27212CDB-52E5-45BB-97FF-35D6761DD76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181b00176a71e754e42dd524a821b09780a05c7c","datavalue":{"value":{"entity-type":"item","numeric-id":2408795,"id":"Q2408795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e6368d359c1865730c14ae4c1e6c0401f00b63","datavalue":{"value":{"amount":"+0.9944435954093932","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":"Q5384429$5297FA49-2E52-4823-8EB5-581A3A3E20FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0af9e68b49c081fab2ac97d2c0519cda2465b5","datavalue":{"value":{"entity-type":"item","numeric-id":2357104,"id":"Q2357104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd72ba2ee3e4001634399e94ea87fcaa214fcb4","datavalue":{"value":{"amount":"+0.8580222129821777","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":"Q5384429$AA98EAFB-9255-4145-B648-CE9EA2BC7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da5c00f59ab84789040798ff248feec4f30ad2e","datavalue":{"value":{"entity-type":"item","numeric-id":4639928,"id":"Q4639928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ce1944d79e90b1a6f29a1cea07e663cdcf6b4c","datavalue":{"value":{"amount":"+0.8575762510299683","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":"Q5384429$EE29D080-2E80-4A66-A53A-C39A6088A1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3ea44bd123f449b7e5e86b124e58b4cee3351b","datavalue":{"value":{"entity-type":"item","numeric-id":2947412,"id":"Q2947412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef73a22a4d007c27230db1dd6431df02cb9fda3","datavalue":{"value":{"amount":"+0.8241808414459229","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":"Q5384429$33534E24-C35A-470B-9FA2-9570B35FAB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ab16d1b6d9d34168606130191ff7ea487a89a5","datavalue":{"value":{"entity-type":"item","numeric-id":5223615,"id":"Q5223615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f295659da2cf77ee19eb2a5ea057e1d4c677e1","datavalue":{"value":{"amount":"+0.806888997554779","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":"Q5384429$D181D84F-2978-4F20-A48A-494E6AD30C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational state complexity and decidability of jumping finite automata (scientific article; zbMATH DE number 7072168)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_state_complexity_and_decidability_of_jumping_finite_automata_(scientific_article;_zbMATH_DE_number_7072168)"}}}}}