{"entities":{"Q805240":{"pageid":807088,"ns":120,"title":"Item:Q805240","lastrevid":49511905,"modified":"2026-01-07T10:30:52Z","type":"item","id":"Q805240","labels":{"en":{"language":"en","value":"On the expressive power of temporal logic for infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203727"}},"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":"Q805240$3C1FCBF1-5C95-4D48-B872-DEEB8C21465A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fcd5a190fadf43eeefb050fc2d7c4e376bc8f90","datavalue":{"value":{"text":"On the expressive power of temporal logic for infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805240$5B841F27-36A2-4BFA-B5C8-102FE3058F9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096b6dcd9cc795bd1fb9790dfaa376579de6faeb","datavalue":{"value":"0728.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$3108A0AA-C39F-4C01-BBCE-1FEA072B101E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89f958c83cad5fbd88ff9255fb66b914e05dcf53","datavalue":{"value":"10.1016/0304-3975(91)90281-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$7D33DF53-C8B2-4D9E-8438-FAC2F0CD89C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63ca180da57103329b9ef5facb2ff202c969664d","datavalue":{"value":{"entity-type":"item","numeric-id":805239,"id":"Q805239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$BB946A62-2699-407A-AD5E-53F6EAB1676B","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":"Q805240$7C827660-09B4-498A-8CEF-DEC188A9426A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q805240$24DC28D6-70D4-487C-BF55-947D1AC99EF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c709910405ba03242053d64279c0e5fc67261066","datavalue":{"value":"The paper gives a self-contained algebraic proof of the equivalence between propositional temporal logic and star-free languages of infinite words. The equivalence is known, but the previous proof was indirectly obtained by establishing first the equivalence with the first-order logic. The present proof is based on a theorem of Sch\u00fctzenberger, which characterizes the \\(\\omega\\)-star-free languages in terms of prefix codes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805240$179E42B4-568A-4CD6-885B-67C60837A75E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$493C3B26-3570-4AE9-8604-5DD80B77E903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$30246DFD-2238-4D22-A4BA-88F32A78E33A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97ae04a9944300acaf135aa7390ec06ef25aec65","datavalue":{"value":"4203727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$242F725A-9433-4261-9BAC-75D642806FA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805240$0FCE0DCB-A77D-421B-902B-B650EC27EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32490d15e9a9f0544e6b80bbcf0c5a6a20c3be6f","datavalue":{"value":"star-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q805240$98AA4F79-340E-4047-857D-16ABBC1879BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q805240$724BFB50-F8ED-471E-BE37-B94C677AE481","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42210bafdd52b4cbc4a62733feb51d89cc3d12b1","datavalue":{"value":{"entity-type":"item","numeric-id":224640,"id":"Q224640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$90FF192B-D638-4B7E-AB1F-69D729F5E2ED","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":"Q805240$F3A3FCD5-5E49-4BFA-8528-E307D1015EB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b630d4a32c38432095a8e3eb6850ab9a5d0121","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90281-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q805240$E3B7D623-B74A-4DEC-9CFA-A09E7B6FF0DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7704cfd4cd939de970a9cefe5fbc50f1b8cb9bf","datavalue":{"value":"W2036410693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805240$17A47AE5-7555-4194-95A0-3F9FE60F589D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$0CA57710-F259-4B0E-AB42-E6F11CD8E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$21D5D406-99A6-442E-B3D8-DF2968C8C4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$3C49E1E1-6597-4C63-BA23-0FC405341CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$65551818-E1F2-4517-9DF6-3425C8DA2FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$A23968DA-23FF-49FB-87E6-3B8E89CCEE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82240301bcdb1618adc9706e69c4f13d0963ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4168070,"id":"Q4168070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$E575D871-C8FA-44F0-A65B-31C04278E3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$24195858-46C9-4F06-9DC1-182FD1E4B8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$AA912FF1-C6AB-4BE7-9E0B-1E5D785E05F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac56484821fb9e3cfb27d78979d101fe32a191a1","datavalue":{"value":{"entity-type":"item","numeric-id":5631023,"id":"Q5631023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$64B86988-25BB-472B-A983-52943DA50ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a21c74e359251764374c0019e3cd7c965b9167","datavalue":{"value":{"entity-type":"item","numeric-id":3767334,"id":"Q3767334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$96E7044D-C91F-4EBD-B837-1344167CDED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517b51de19119347803918546bcf110b60d64226","datavalue":{"value":{"entity-type":"item","numeric-id":4741717,"id":"Q4741717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$FE04EE14-9986-4D91-8E8E-E3549E113352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eb9cd5451ef498f2c3e8aa594c2a733c9a80e1","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$C2D26B17-8778-4C1D-A955-DC583212BAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b2dad008e8798709d54196e1a1032baf80921","datavalue":{"value":{"entity-type":"item","numeric-id":3698327,"id":"Q3698327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$A0B05034-05CA-4430-A92B-529D07C30238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f57872b55df963de6c9939d692ed2ca987da0a","datavalue":{"value":{"entity-type":"item","numeric-id":1088982,"id":"Q1088982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$856AED48-B646-472B-BFF2-71C0FC17F95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b790c8d6fa63dec787fb213153b024f421ae12e3","datavalue":{"value":{"entity-type":"item","numeric-id":3700853,"id":"Q3700853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$8ADFC91D-4643-4DFA-A0C9-0569C16DD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$657E6BBE-53A3-44E2-8C9E-8D86B857F9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be3ad3a271adfc3cd278539407e44d85a2e2bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4770337,"id":"Q4770337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$56F51D1B-9FD7-4CC4-AF80-AF152EC8D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc78875584d36fb0ed2343031d6517b47dd05d8","datavalue":{"value":{"entity-type":"item","numeric-id":4132760,"id":"Q4132760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$98F84B12-D1F2-4CCF-8558-327F6F4BDA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$DB62B2EC-FAD8-4C14-9437-091AE7470E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$16B9A1D7-B856-4432-8003-1B5D98B25289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$8B669969-0BE0-4C9F-A048-9C595A7FEB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d2110922bc4e1ff750913c91f376c73a3f936b","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$FFBFDE21-D740-4136-8975-6DA1509D6046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805240$EF191EC2-FDB2-4A59-9864-E21C72BE7C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f968fb5efbc11959b0a151ffd131abfcfdab452f","datavalue":{"value":{"amount":"+0.8092129826545715","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":"Q805240$D09E742F-BFF7-4E63-81BF-FA802A8773F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b02fc15a62bafa14b0b36824e7388f205c26ff9","datavalue":{"value":{"entity-type":"item","numeric-id":944387,"id":"Q944387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a51f30207339cde759d16de52b0a5757a6f5fa6","datavalue":{"value":{"amount":"+0.8062247037887573","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":"Q805240$50D64D82-DEDE-44CC-BD27-F732AC5EB891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad678cc405a7ceed74042a7a5a8fcc6581c68bb6","datavalue":{"value":{"amount":"+0.7804268002510071","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":"Q805240$2512E5C7-0BFE-441C-8086-68050B08BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3b6fc35184868bf7054ad40c03a6bd53f42604","datavalue":{"value":{"entity-type":"item","numeric-id":5738190,"id":"Q5738190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c527fe60daad20c823dba4794f02fb9d2fc60fc","datavalue":{"value":{"amount":"+0.7625817060470581","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":"Q805240$F7D53082-4752-49DF-99AC-715D5EE9A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bd1aa7d3ce529f2bb527db5aef031aa23c640a","datavalue":{"value":{"entity-type":"item","numeric-id":4381400,"id":"Q4381400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e122e317d95c0d94cec43e609ab29029c6cd5d3a","datavalue":{"value":{"amount":"+0.759360134601593","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":"Q805240$95CFC136-0F3C-4408-BDBA-0532AA03F6AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805240"}}}}}