{"entities":{"Q2193280":{"pageid":2204023,"ns":120,"title":"Item:Q2193280","lastrevid":71516652,"modified":"2026-04-13T22:46:51Z","type":"item","id":"Q2193280","labels":{"en":{"language":"en","value":"On the complexity of linear temporal logic with team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239088"}},"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":"Q2193280$8EB84C5B-966B-49EC-AB37-4F0F98C62EFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52cac38b218473a7c84a2bc1564f3f5718f8ffb4","datavalue":{"value":{"text":"On the complexity of linear temporal logic with team semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193280$5ED03172-E51E-49FF-9250-847FC1E09B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd72f27bbd8d486b1e7d43865e9aa4d80f6b8ead","datavalue":{"value":"1477.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$82EB2709-1AA0-43C9-8DD2-16B72B9F980D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab8b6eab35985e7b4ee49a042e43493ea64c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2193279,"id":"Q2193279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$27D4BDFC-A6D5-4AEE-B526-A30D1E4B21C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$ACF29B5C-47CF-44DB-BDB5-F7F82A8B96F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193280$E9056DEA-CAEC-4AD4-9F12-5E2A88B33990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce532996851c26b0d3b490cec585de0c12c5c05a","datavalue":{"value":"https://arxiv.org/abs/2004.12682","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193280$0B81D5B0-A34A-4840-A369-DCAF3851817D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8529a6ddb537cee411aa934a8b3126accc9c8e6","datavalue":{"value":"The paper considers the well-known temporal logic LTL, but with a novel semantics, based on teams, that is, sets of traces rather than single traces. Boolean negation is also added, since it is not available in the logic, where Boolean connectives behave in a nonstandard way. The problem of characterizing stuttering-invariant formulas is partially solved. Satisfiability and model checking of LTL with negation are shown to be logspace equivalent to third-order arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193280$486272F7-4175-459C-8CF5-968D9FBC2A62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$5362291B-36B9-4DEB-846C-F883C8471E71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$E69D18EB-B940-47F1-B09D-3345559C716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$2701504E-03B5-47A7-98D7-755645E2C78F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f980d699de1740e52b3cb371fa734b7cf2d61220","datavalue":{"value":"7239088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$9A33AF71-394B-4CB5-AE3F-0A470257A0B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193280$CB09C82F-C9E2-4F95-BF0F-B45103B3A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193280$7AFA4BBF-868F-41D2-8518-0E0FB44F2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193280$B6757FDD-0AD3-4578-B0A7-CA505CDAECEC","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":"Q2193280$E9B8FF33-1C26-48D6-BEAB-70048030A30B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50e8d5929b8916f63e4fda57324ec731b6d989ec","datavalue":{"value":"W3021212273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$B7EC1631-943F-4B30-8E62-2679A7ADBF1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$A19D6033-4652-4305-974F-568EB89B9335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$13575ADC-CF66-4CB4-9260-6203D5DAA322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48cd9b21419c0b0476f895370752ead060b8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$BE2D081D-C4FE-4FC6-9B09-6D17D16D1558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$5059919C-83BA-46B1-89FA-9F6531756181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118674e10cd57694fbe9ee300ab00d9584c5a440","datavalue":{"value":{"entity-type":"item","numeric-id":334998,"id":"Q334998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$7DEEFD4F-18B5-411F-9EF9-0D9544B9DB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e85208dbde3f2c01f07b8f1278c6bf0445dc823","datavalue":{"value":{"entity-type":"item","numeric-id":5351963,"id":"Q5351963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$6437EE89-CD38-4F2F-A9F2-3AD41DA2EBFC","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":"Q2193280$DEE28348-239E-4BD1-BBC8-C82F43F668BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$2CC393E6-AE5F-4102-858D-DC680FAAD0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff3b7664d545f5ba56700fc9e834ff8c9fe67b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376653,"id":"Q5376653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$0973D9D9-FB26-48EE-B5C7-75040061695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a795e542b244575242388c981b9b236e81c4c774","datavalue":{"value":{"entity-type":"item","numeric-id":5232899,"id":"Q5232899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$72C1CD8A-7894-4263-990B-E5475B569AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bdf277f440cd6add19f53adb4564e4f5f80939","datavalue":{"value":{"entity-type":"item","numeric-id":5874216,"id":"Q5874216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$FFA09100-4CED-49EE-B983-0EF822E3C3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$BC9B8B48-529D-4FC6-987D-DE2DE45F4623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$DF64F734-291E-474D-BF05-128CAC53AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$4E15BAB4-A0F7-46B4-98BE-67A5CA414601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$D0EFAC21-0886-4E03-95E6-ECC8F22F0206","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":"Q2193280$8972752C-324F-4F98-99E2-6B6DED5E1241","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":"Q2193280$526FE688-E80D-442F-8878-89BC45139D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aace11b77f2c23842b0942a0444357275c1b2a06","datavalue":{"value":{"entity-type":"item","numeric-id":4599513,"id":"Q4599513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$AF9719EC-0C54-43B0-8E8A-6BB2B98923C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bc993ff8db8d4c1c42b09fe666949acb8636d9","datavalue":{"value":{"entity-type":"item","numeric-id":5095630,"id":"Q5095630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$6E199FA5-A235-419D-9DBB-48CB124835D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$AA661478-4102-4641-9239-CBA3A28B03BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b54b4ab609fd68f52286e6e5100afe49f740c76","datavalue":{"value":{"entity-type":"item","numeric-id":526967,"id":"Q526967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193280$ABBF6600-B2CB-457D-927B-3458C77EF433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"591f71a3d6e2be77ad846505375b44f9bc3dbfca","datavalue":{"value":"10.1016/J.TCS.2020.04.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193280$93222B5F-CFDC-4593-A61B-823A563E0920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92845ac218363ee67d946e80419401c6292f77b6","datavalue":{"value":{"amount":"+0.8059624433517456","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":"Q2193280$3E1CDBA0-32A3-43AB-8439-FAAA6BD16679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c901786aa3e99aa7d1aedf891da3fc9f67c71f7","datavalue":{"value":{"amount":"+0.7938379049301147","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":"Q2193280$8D5C1E1C-7199-40EE-8D4F-2428ADAD5F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96d5236a3f84460d945f13679068aaa13f04063","datavalue":{"value":{"entity-type":"item","numeric-id":5005127,"id":"Q5005127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af6e8386f592e1cb9c68094f025f45e46214950","datavalue":{"value":{"amount":"+0.7896596193313599","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":"Q2193280$A0284616-C671-48CE-B724-3980479CAB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d18ad28a461c791e833ceca9c932cc1f30b9ec","datavalue":{"value":{"amount":"+0.7888897657394409","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":"Q2193280$6599BFBB-26BA-4D06-BC16-DABF0C9BB0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553242049814c88eb3ab4950c2221e56555fc794","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd01160f4f8f1cb651fc9971fc11d2102db623da","datavalue":{"value":{"amount":"+0.7737239599227905","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":"Q2193280$3C893B28-E8A5-4257-8F70-B71EB8E64BB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of linear temporal logic with team semantics","badges":[]}}}}}