{"entities":{"Q989291":{"pageid":991139,"ns":120,"title":"Item:Q989291","lastrevid":65828796,"modified":"2026-04-12T05:38:51Z","type":"item","id":"Q989291","labels":{"en":{"language":"en","value":"Efficient recognition of trace languages defined by repeat-until loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773135"}},"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":"Q989291$5ACB74E8-E804-40D2-929A-370C30BE6F09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f4f4dcf37476f0583d3576b8b0170e3ae89ce6","datavalue":{"value":{"text":"Efficient recognition of trace languages defined by repeat-until loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989291$D9B982E8-888F-4C4B-A86D-94AA604386F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fe5900e9625bca372d80cf77f9215be733b3ae","datavalue":{"value":"1205.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989291$87C5571C-635A-49E7-90BC-011961837FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c27d77efdb9538bc0419055bbb1a88e866cda8a","datavalue":{"value":{"entity-type":"item","numeric-id":383724,"id":"Q383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$21170EEF-894F-4F19-A4A4-8F27D514E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02fd388478e600d2c94ec5f14e35cc88504486a","datavalue":{"value":{"entity-type":"item","numeric-id":235673,"id":"Q235673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$8F11BBE8-4BA9-4A35-80C4-76CB51CD6339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"224a23009a193bc3927d2cbe6ef26b7ecad1c0b0","datavalue":{"value":{"entity-type":"item","numeric-id":288797,"id":"Q288797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$EACF5595-44A3-43D0-806D-FB88BB6B5BE5","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":"Q989291$8165905C-FA10-4D25-A13D-3D089C5F8BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989291$2BA819EA-2F35-4373-B60C-41335B81AA5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9207c9f4d39227fcbbfba3d7de7af9289ceb053a","datavalue":{"value":"http://hdl.handle.net/2434/55043","type":"string"},"datatype":"url"},"type":"statement","id":"Q989291$3F32951C-6EBE-4350-965B-F987BBB96F0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989291$A3E46C8D-8ACF-4587-9FAB-7824D02BD81C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ae1b02aa9f1e91603d6ef2e4af65f632182ce82","datavalue":{"value":"5773135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989291$96340BE0-E970-477E-8FA5-C02828BB238C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9735f1167df766bb7e33e6d0f45c52d40ede0c","datavalue":{"value":"automata and formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q989291$A6B50BE5-7B97-42A4-9355-69A1B83058CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a872fa636e70643c133c6966d147abf98291a8","datavalue":{"value":"trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q989291$D9C9B476-745F-4ADF-97C6-FBF9B6700950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac90bd8c1034c62c89c443d0214a305e894cdb5","datavalue":{"value":"local finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q989291$8425FD64-2422-4476-93EF-A2D1D62563D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37576818e275b60ded79fce7429a48736a6fce24","datavalue":{"value":"integer compositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q989291$55A01911-3540-47AC-BA4E-19F8BEAA1CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab793a4404ed799e1aafec174ad24f37aac2d2d","datavalue":{"value":"dependencies checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q989291$FC9EE6DF-3204-472E-A9E2-72FAAC309912","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":"Q989291$58BF453F-9E10-4743-8FFB-5F11947E2D1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6fc46fe0a628f4ab7c3afcd4674a2520e259b7e","datavalue":{"value":"W2038000721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989291$181AE1FB-5485-47E4-B9F1-4A7351FD47ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d637c7fda6ad4ada4329b42276f946b4645df3","datavalue":{"value":{"entity-type":"item","numeric-id":672153,"id":"Q672153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$AB09E6E5-07EE-4A6B-A180-957203D70AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9072695c095fec3eea150876644f1584fead59","datavalue":{"value":{"entity-type":"item","numeric-id":1824384,"id":"Q1824384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$1FED6E14-D66B-48C0-83E8-80E4B308F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb4ac3f1454d88907dc822258e274c21c370934","datavalue":{"value":{"entity-type":"item","numeric-id":4666113,"id":"Q4666113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$25F1D2E3-DF9D-42B1-B352-E8FF7FB219AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e63b9184b485edcfb96890f792f6c54a03b18","datavalue":{"value":{"entity-type":"item","numeric-id":4184351,"id":"Q4184351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$798C1D62-0F7C-42DB-92AC-60FFD2615CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e290d70822dda404b42dfcb4e0d5d8000c63a673","datavalue":{"value":{"entity-type":"item","numeric-id":4372680,"id":"Q4372680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$DC2B6D64-10C4-4CE1-8C3C-58FE16F2A989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c150383cc0fa67f4b0991eea16def9222670642c","datavalue":{"value":{"entity-type":"item","numeric-id":3336723,"id":"Q3336723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$E04E56C4-B55D-47B1-AE51-3EC122B11FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a633825e99474a499c1c065945109d04fde6c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1097040,"id":"Q1097040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989291$E2F41B5B-F708-4475-BFFF-C38F3C076425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96d845c802d141915e3b30222a161d06a36e3437","datavalue":{"value":"10.1016/J.IC.2010.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989291$40F21725-531B-4EDB-9236-FD67C8315CDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eaa7116600c82864b165ca28630bf6ef8aacfb","datavalue":{"value":{"entity-type":"item","numeric-id":1824384,"id":"Q1824384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff37b7ed341c81292ee45dcdbe5722da4f3b5194","datavalue":{"value":{"amount":"+0.7833631038665771","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":"Q989291$B0EAAD5B-BD29-4DCE-A08F-3C46A2E5D544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ce84f00855179097eaf2734e8d9d069e088dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4260375,"id":"Q4260375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbcfbf700d510b358ddeff7e1d539929f0dd538","datavalue":{"value":{"amount":"+0.752978503704071","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":"Q989291$88D6C797-C4CE-4AF7-800F-88399F8FAB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d344070639626ca1ede709f205f5ecdf85ae204","datavalue":{"value":{"entity-type":"item","numeric-id":3793747,"id":"Q3793747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395dbe9b0ef44185a1ad068f8599f5314d404085","datavalue":{"value":{"amount":"+0.7493212819099426","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":"Q989291$91287CF0-1A56-40D5-8E7B-DD438373ED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe00505c1729e5cd41b91c9f164a643cbd51796","datavalue":{"value":{"entity-type":"item","numeric-id":1323363,"id":"Q1323363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9af6b23f59a66a2d5145fb146a7e51038470707","datavalue":{"value":{"amount":"+0.7441650032997131","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":"Q989291$81DDEB9B-EF0A-4FA5-BE0E-B8EABED8E3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a571eef1a8cd5014caa2009227c7972f44d2f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3975164,"id":"Q3975164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a96e98cf7f9a7ce753cc52c54c8e94ea156a57b","datavalue":{"value":{"amount":"+0.7436695098876953","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":"Q989291$64317EB7-E7AF-4D20-B183-7124334F2E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient recognition of trace languages defined by repeat-until loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_recognition_of_trace_languages_defined_by_repeat-until_loops"}}}}}