{"entities":{"Q5248980":{"pageid":7278548,"ns":120,"title":"Item:Q5248980","lastrevid":52252292,"modified":"2026-01-21T06:32:16Z","type":"item","id":"Q5248980","labels":{"en":{"language":"en","value":"Recognizable and logically definable languages of infinite computations in concurrent automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431988"}},"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":"Q5248980$2B4C4B2E-CB56-4218-A3B1-92612BA86128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b780d5280665c56ce946eecdcbdd3ac5a9c0e0b4","datavalue":{"value":{"text":"RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5248980$613B26B9-A25C-404C-B932-F72545FFD13F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48cba50fb07a8ef770b75fa7a78c421629b70d20","datavalue":{"value":"1319.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$2F59A406-41AB-47F6-8429-865820B6F2B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ef33a16780b62333850aadf966c546631a096e9","datavalue":{"value":"10.1142/S0129054198000192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$07F1B18B-3829-490C-A692-B9ED5443B523","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":"Q5248980$D02A01D2-F4B9-43BE-87D0-0CA0DCA30D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5248980$468710CB-8131-4A3E-A744-7DDD566C3AEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$3E15261C-6236-459A-A74A-5B612B4A89FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$AAAB2488-C257-4A28-BA72-9B2FAEA114B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$1DDFDC4D-1095-479B-9AE6-EEFA336544F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$8C31FAF0-F183-4772-A2A1-FB786E6409EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1eff3f2bcb6103fb05079f8562166149866010a","datavalue":{"value":"6431988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248980$C30A2518-FF63-478E-BF9B-86AC40B92D33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07358ece0b31697a219e36a3f45e7d1f828871da","datavalue":{"value":"automaton with concurrency relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248980$E54F631F-EAE9-4354-BE10-55AC3881F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050929a6a3b97530475f2b2912c0c1c633057773","datavalue":{"value":"recognizable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248980$3FCA702F-F388-461F-8881-94C82D2C66A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248980$BB5DD7C7-6EB9-4D6B-9402-670A339801E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e28125a574675d357015f24f34c39fd048ab013","datavalue":{"value":"Mazurkiewicz trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248980$80549C19-9E6A-43DC-80C0-68703AB6005D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47914014d6478ed824f39a41c5362348a8ddb55","datavalue":{"value":"conditional independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248980$0DB2960B-7208-49D7-A357-A1DC412237F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$352EE135-27E2-4E79-92D5-B21100C6F102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$7F8006A9-BFA0-4053-B471-7F5C8F9429C2","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":"Q5248980$36385C11-9CF8-465D-B245-EC1B4D919934","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$F41E0C1E-9D93-430A-B83C-B06B69C02EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f809b829ad226aaf187e107ba4f2f8abde5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$DE79E99A-4977-4E8F-8CCD-10C38B4FE8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc92ca11bc977aa61e1972d54a053c777903b06","datavalue":{"value":{"entity-type":"item","numeric-id":1346626,"id":"Q1346626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$055B60CD-1F0A-4074-B327-B07A8481A7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cd8f03852f6c6d4863ae1aa71dedf8b7c9c087","datavalue":{"value":{"entity-type":"item","numeric-id":1269906,"id":"Q1269906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$C847236A-5E2C-42AF-AE61-EF7BC72EDCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$2C8368B3-C306-4676-80D1-2CCC662F1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7389e3007cdb61c1a43eddecc239814c821332ea","datavalue":{"value":{"entity-type":"item","numeric-id":685439,"id":"Q685439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$D3E0E5BD-3DC5-4050-9339-4A5237F5311D","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":"Q5248980$A10FA36B-5047-4C73-BF28-77787FAE97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5ec92c8df56738d5a6f6f71cb95d0131f17ba2","datavalue":{"value":{"entity-type":"item","numeric-id":4032921,"id":"Q4032921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$E310F0C1-6D89-436D-9CC0-4AD58AD58617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5baf8d517b0d89ae3bb55fd96f78940d3b48865","datavalue":{"value":{"entity-type":"item","numeric-id":672317,"id":"Q672317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$56E5E552-3A2D-43E5-BA2C-6096900142E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$C5A38A19-30F0-4CA0-8454-FA7557A59DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465674a287be369bfd827a446dc87303aae81f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1318685,"id":"Q1318685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$8D9DC68D-4BA2-4BB3-9C78-C69CD4FA1328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c963b43b0571f92434f59a81d5038f254e0414aa","datavalue":{"value":{"entity-type":"item","numeric-id":1193878,"id":"Q1193878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$2C0A5D34-6956-42C6-AFA9-AA13B2842CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$8F0F4CED-0712-4FF9-A64C-72ECC5DFC1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248980$07CA75F5-BCA6-42C1-9C36-84C417E01EDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0044c655bb98cfedd248a229d6abc0908aa6a0c","datavalue":{"value":{"entity-type":"item","numeric-id":672317,"id":"Q672317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58fb9ad79947854edb1d1b4593be343fe0982a4","datavalue":{"value":{"amount":"+0.8825598955154419","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":"Q5248980$99B2A922-BF3E-4074-8A2F-41D10D726476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b94bd44ae90ddad5995cdab70055000f4767a96","datavalue":{"value":{"entity-type":"item","numeric-id":4632442,"id":"Q4632442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806abe29377b65b8184f34bcfe462bcb70ed6f99","datavalue":{"value":{"amount":"+0.8698970675468445","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":"Q5248980$82E508A7-8CA5-45AC-8F1E-D312FBA9D333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525e7398dc4f490e135d1521a6c1867070c03489","datavalue":{"value":{"entity-type":"item","numeric-id":1917099,"id":"Q1917099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f399cffea0058b592b0d8e5a5fe6cf3c2a7563","datavalue":{"value":{"amount":"+0.8387429714202881","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":"Q5248980$D0AD7CF7-5C0A-4375-8FF9-4A41C55E6187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e834bee79b5d3d5e094f9194afdbd01c5998d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4596645,"id":"Q4596645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dba7a8e99af6b6958227e5145aa0c012233d28","datavalue":{"value":{"amount":"+0.7896755337715149","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":"Q5248980$0BF7356D-A4A8-46EA-8710-9BDFD73FF64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbd86d55f22770efda31819e0c3a32c37fdebef","datavalue":{"value":{"entity-type":"item","numeric-id":1269906,"id":"Q1269906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f86f0b3c6438272c360152550eb20c36708afb1","datavalue":{"value":{"amount":"+0.7833045125007629","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":"Q5248980$1FB7C594-0BC0-455B-A6A1-73B782DE5BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5248980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5248980"}}}}}