{"entities":{"Q2407086":{"pageid":2417829,"ns":120,"title":"Item:Q2407086","lastrevid":74122842,"modified":"2026-04-14T18:30:03Z","type":"item","id":"Q2407086","labels":{"en":{"language":"en","value":"Classifying recognizable infinitary trace languages using word automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6782872"}},"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":"Q2407086$1D836664-DE59-4AA2-B6E4-2176817E699D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebc9287a172c18e7388456773afc08637ed9ee73","datavalue":{"value":{"text":"Classifying recognizable infinitary trace languages using word automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407086$0E63AB87-6D8A-43E0-91AD-47E9AD5BD48B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bddf2f6a7ed208f0e78521fdadabbb7b104d4f3","datavalue":{"value":"1376.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$D3BFFDE5-22D5-45EF-A4FA-8747DA984488","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb9085e5bc06f1d912d2d7fcb5bd3d511a36143","datavalue":{"value":{"entity-type":"item","numeric-id":2407084,"id":"Q2407084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$F3FFE6C0-A6EF-4A8E-97E8-ABC276ABD112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01fa5bf71cd2738967246a032baed1bedff2864d","datavalue":{"value":{"entity-type":"item","numeric-id":2407085,"id":"Q2407085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$17DFE63A-ED65-4E52-B088-9820BF575985","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":"Q2407086$D8CC63D3-A18F-443A-A8C7-DCC247F5D599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407086$30F39BFE-D64A-4AA6-B02C-E1CC174CF836","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$9C44676A-6A44-46AF-8078-35A09C683E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$33CAD638-0049-4026-ACA5-CFD32700B466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"441da3e77285277d7044c2514dc7dfd81b9399db","datavalue":{"value":"6782872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$DA19374F-C537-460A-8B35-C2A92B24C42D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407086$E36F6DC7-4FA0-45F5-B074-7F64CC24FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbfcfc14216ce1d5a81d470a946e7dce343b4f4","datavalue":{"value":"omega-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407086$563DA05D-96C3-49C3-A3B9-D72252B26136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407086$C7B4CB2C-47A7-40C2-8FB7-D5BB8F8D412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407086$F5B27401-EEEB-4E08-9F8A-D12FF80A0326","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":"Q2407086$D72981DF-DAB0-4D5B-89ED-D656F3F80628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34c4a20a5434350444b6bce4a3490c0d1ea0d4d7","datavalue":{"value":"https://doi.org/10.1016/j.ic.2017.04.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407086$591910B2-4EEE-4736-A023-0EFD94772845","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee3995ee1701ca8c26980cf0d7e8c37bd9dffb3a","datavalue":{"value":"W2610004352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$EA8955A6-0003-49BF-A929-59D6A968AED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d28ec3020e986717862850ee75b23b4a41c4090","datavalue":{"value":{"entity-type":"item","numeric-id":3086922,"id":"Q3086922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$5D431887-ECA0-40BB-B3CC-143D58B91A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1611754e23fdce036ce8f113882407c51cc602d","datavalue":{"value":{"entity-type":"item","numeric-id":5167833,"id":"Q5167833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$509BC573-99BF-4D14-87E6-7A86DF08213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059432d37322a4869112514847f17ce244e7cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":2922012,"id":"Q2922012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$1C0BFE45-B66E-4131-89FC-155E14AA6911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ea81354c8bdbe612711a0d4f9b865a29e3eddf","datavalue":{"value":{"entity-type":"item","numeric-id":1338892,"id":"Q1338892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$05ECD9F5-7B80-405F-85C2-17A36C1769A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e0764aeed39aa126a10e8f93075b006d5650c5","datavalue":{"value":{"entity-type":"item","numeric-id":5204349,"id":"Q5204349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$6D7943C6-ED99-4EF9-AAB6-BFCCCD355C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$5CAB2BA3-6946-49AA-80DD-AB4B4AB339AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb2373d6562e77ae6c7389b5c71f262310e6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4907861,"id":"Q4907861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$9882C82C-8085-4462-9C56-AEC9FF29BF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$C916F4C0-15BB-49B1-B113-BDC0AD48C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$BEB0907D-1D6F-4FDF-86C5-8B0EC1977622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed3f02215df087589d62d47d8e61453264aaed6","datavalue":{"value":{"entity-type":"item","numeric-id":794443,"id":"Q794443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$369B4711-1827-4B2C-A356-0673AD18C0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407086$F15A7444-A177-4A77-9624-B8297690DBDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3a8222538781643a94d24a695e9741e59ac8f1f","datavalue":{"value":"10.1016/J.IC.2017.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407086$B07FFE32-AA1D-428E-A44F-710D2A95671F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90be29c300419e94edab724c121cbe6c9bf85f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2922012,"id":"Q2922012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81909cee9bfec81831a4301d78a4112782db40b","datavalue":{"value":{"amount":"+0.999405562877655","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":"Q2407086$E945CD3F-47F1-449B-8E99-91A6B11FB5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27751d076208e129f40d442bc589eef116faa8bd","datavalue":{"value":{"entity-type":"item","numeric-id":5167833,"id":"Q5167833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace402b88fc90984cc832bfe4bd00604800b0d05","datavalue":{"value":{"amount":"+0.838487982749939","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":"Q2407086$21871822-BC53-495F-83FC-E65A7A5E603E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d152d9fa1fffe9ac50194f55a620ac4fde44101","datavalue":{"value":{"entity-type":"item","numeric-id":4035660,"id":"Q4035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bc2c71b8f62f51770e1db2269134b8a3de4107","datavalue":{"value":{"amount":"+0.799758791923523","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":"Q2407086$B09C86D1-1A33-4D39-A054-624C8799C52E","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":"87bc2c71b8f62f51770e1db2269134b8a3de4107","datavalue":{"value":{"amount":"+0.799758791923523","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":"Q2407086$9A3E6308-06A5-4514-BB82-F5E7ACBD10A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2818e42035400a5c58a11dbea8d4020699c113ea","datavalue":{"value":{"entity-type":"item","numeric-id":1338892,"id":"Q1338892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ea627611e02f61d9c3cc2e6575508586bc91fb","datavalue":{"value":{"amount":"+0.7947340607643127","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":"Q2407086$7C722FD4-E8BA-494A-84AE-E000455C83C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classifying recognizable infinitary trace languages using word automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classifying_recognizable_infinitary_trace_languages_using_word_automata"}}}}}