{"entities":{"Q5363373":{"pageid":7392947,"ns":120,"title":"Item:Q5363373","lastrevid":39584184,"modified":"2024-12-30T15:47:23Z","type":"item","id":"Q5363373","labels":{"en":{"language":"en","value":"St\u00e9phane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6786772"}},"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":"Q5363373$B960D505-DF35-48A1-B218-71B91A581310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829946ffd6e2cd0500a8b16d4525dc1e1b29f1c6","datavalue":{"value":{"text":"St\u00e9phane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363373$1DAEC8A1-9315-4CF7-9776-4E78D17A079A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17d9d9b8901f54cf6af9e512cab4b1437dfe3556","datavalue":{"value":"1417.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$20269441-F89A-4971-86C2-EDEFA7E1D091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363373$7BA913B5-4F4A-410A-B3FE-BD6D3F57B34A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363373$642AFE1F-B425-47AD-8BF0-DBAD050043B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695616c5b4ef01d1f1677c41fec2326bc5390a4e","datavalue":{"value":{"time":"+2017-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363373$ABB78501-30B2-4435-BD81-5BF4F2767C6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$C1ED0648-B4E7-48E5-9778-C543BF41E004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$71A84D2A-4A33-48D5-9FB4-021A7568CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$08AC98B5-17CD-48DA-8676-0983C8E87E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$4D507139-7FF1-411B-A634-919491B0038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$E2F5FCCF-889C-4878-9877-99EFBE0D7654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53bc5a85586d41b7cc5a65d890e854138147646e","datavalue":{"value":"6786772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$8F325139-80B1-4AE6-B88D-E97254E347A7","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":"Q5363373$10A4E795-F67B-4EB1-8CB5-71A0EBAD8CB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d96e5655bdc6249abfb09d49526487e4c312ae3d","datavalue":{"value":"https://doi.org/10.1017/bsl.2017.20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363373$735814A0-031D-494D-A885-757E768A173F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc0a503a72187179540ea354ac84bab26888077c","datavalue":{"value":"W2635492540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$CAA8F064-2E95-409F-9D62-C383F54514DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6a7c759326189cb1538b98d2ad3139cfa9e46cd","datavalue":{"value":"10.1017/BSL.2017.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363373$D3AC9154-FAEF-47B1-8039-1959D70A34A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5363373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5363373"}}}}}