{"entities":{"Q6982302":{"pageid":21396843,"ns":120,"title":"Item:Q6982302","lastrevid":84025424,"modified":"2026-05-08T05:37:14Z","type":"item","id":"Q6982302","labels":{"en":{"language":"en","value":"Set semantics for asynchronous TeamLTL: expressivity and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8042312"}},"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":"Q6982302$B7872B53-DC10-4B51-A1A6-02F172D41D88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6fb048d803391b4567391a8741e876fdc3b5949","datavalue":{"value":{"text":"Set semantics for asynchronous TeamLTL: expressivity and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6982302$BB7E60E5-10EF-4DA4-B15C-8701484E02B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b8c01663278563e227049f8a6fced56fedf48ce","datavalue":{"value":"1565.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$89EFDA0F-CEBC-419C-8959-BE99BBCB89A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb6d3e7b78bbfe851253c67ca74f67752d9d151d","datavalue":{"value":"10.1016/J.IC.2025.105299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$37C8BCCF-AB2F-461A-8DA4-00CBBCEC4CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$57027245-45CF-48C8-B0AB-D774E4776EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01ade2119de8830c2bb49117e973d874b2809a48","datavalue":{"value":{"entity-type":"item","numeric-id":2148801,"id":"Q2148801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$DF5ADE56-2C47-4C7D-ADFB-FB83AFAE90B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$F8DA7535-29F4-4992-A68D-BBE4EA4ADFEC","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":"Q6982302$B0445DDE-F9EA-47FC-BAEC-1BE3A0736F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5001d2156f45c22f1a7be6ce40efb7dc1c24421d","datavalue":{"value":{"time":"+2025-05-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":"Q6982302$3BA53D7B-F867-4920-BBC0-C48319A5DA35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$358211EB-1228-4E4E-AAD1-68B45E6D268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$ABC13DC6-7790-4ED9-8B3B-6FEF10F7D0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$06A7FBA1-3C4F-40ED-B3CE-A46AE6776A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bc3f19d46d0aea6ed02eca1460b355a603fed86","datavalue":{"value":"8042312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982302$59E49D45-2736-464D-921D-52BE49E4C407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982302$8294FA02-C60B-41BF-891D-F914D9244257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982302$FC1475E8-0C86-4111-9591-828D85CBF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982302$08F3502A-9C46-43D7-BBED-B00DE1786621","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":"Q6982302$76054E4B-70FD-4C7E-9AA7-62A4F24F1DEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$9C150695-292C-4616-90A3-E0FB0E3E7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d6693d512649b81b3d5089191781b47a2d178","datavalue":{"value":{"entity-type":"item","numeric-id":6654505,"id":"Q6654505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$EE182265-0CE2-422F-8669-622904EF6533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0694cdc39b22e204737c487ba74f53cbb8e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$90F973C7-3AB6-477F-879C-C939427FE72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$659DBF19-E73A-4FE4-BBEE-672A2C890CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519552f6bc98e6e39e5902ca620b73726341552a","datavalue":{"value":{"entity-type":"item","numeric-id":6649479,"id":"Q6649479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$96367152-B69F-45BF-8682-4E8F12468680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5fc26794bf1e4cd27075287a57428875e447d","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$0CC9DD03-F971-4124-AB2C-964C62658118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68184312d1a0b6ba090955be8fb0f27aeb45243","datavalue":{"value":{"entity-type":"item","numeric-id":5213388,"id":"Q5213388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$1A7C179D-756C-4962-B476-5920D609659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7afc64af2657e49d8246584d55f5791c2706e","datavalue":{"value":{"entity-type":"item","numeric-id":5498683,"id":"Q5498683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$A7C0CBFB-C518-443F-A3D8-6D1265C738F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9812f0876f807f9914b8759f82ea7ed21090f6aa","datavalue":{"value":{"entity-type":"item","numeric-id":2148802,"id":"Q2148802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$A3F87CE6-11EE-4CD1-A537-A6D2C9B54BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a0998fe68388206a99ba35ca4a703485afc73","datavalue":{"value":{"entity-type":"item","numeric-id":6630200,"id":"Q6630200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$28238432-5734-4687-B053-CE132F5E8A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$489610AE-1EB5-445A-B18A-F4E4211DBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b199289f3e77bce06b5ffc2b7a01dcb2867440cb","datavalue":{"value":{"entity-type":"item","numeric-id":2636536,"id":"Q2636536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$BF2480D0-B567-40DB-B19D-8E69548FDF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5e2153d362012c0982f7cd718c975b2f06f53c","datavalue":{"value":{"entity-type":"item","numeric-id":5005127,"id":"Q5005127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$03512E94-BA36-4B6A-B2B9-64C15D44179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612aae72181384189269a9b1cb968c0297bfb4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2193280,"id":"Q2193280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$1D861A46-F707-4F79-8975-F70C81D7A62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310dd478ff3c3b0dcaa6b3f970a417913b27dec6","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$B4306D03-D72A-482C-816A-BEDDB27CC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0cd029c398c67c1532df4521edfadf83176883","datavalue":{"value":{"entity-type":"item","numeric-id":3851570,"id":"Q3851570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$C1D89BB6-9774-47A3-974E-470A00EFFA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8057307abd048e380d569602a2025bcd2f9ddc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4379559,"id":"Q4379559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$7246317D-A7FA-4735-9011-48C9422658C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$13A3FA55-335B-4ECE-9453-0AA45A609F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$55FB459D-D0B2-4D5A-9AEA-B665BF029A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e291a0b57fd68f5f413b7d1977f19e442da5bd9","datavalue":{"value":{"entity-type":"item","numeric-id":515658,"id":"Q515658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$E5ACEE1B-BAE2-4DE7-AAA4-0A247CD54F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41c9e0943a021eb029c183b54bb62feacc24d2d","datavalue":{"value":{"entity-type":"item","numeric-id":6187072,"id":"Q6187072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982302$4316FB96-18E9-41AA-85C0-EEE5F8EC2533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set semantics for asynchronous TeamLTL: expressivity and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_semantics_for_asynchronous_TeamLTL:_expressivity_and_complexity"}}}}}