{"entities":{"Q2009773":{"pageid":2020515,"ns":120,"title":"Item:Q2009773","lastrevid":78088010,"modified":"2026-05-06T10:45:16Z","type":"item","id":"Q2009773","labels":{"en":{"language":"en","value":"Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7138888"}},"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":"Q2009773$81364EC2-DC9C-4907-ABBD-591B387616C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eea1b98e20da385454535a53adbc8a87718761b","datavalue":{"value":{"text":"Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2009773$AD785546-8936-4B70-9BFF-26825C3D5F08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a918e7e22e294bd2df6d79af7e0811982c55582","datavalue":{"value":"1436.00024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$7C0D34C9-3307-478F-8FF4-F86890313DD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009773$611E9F17-4DA1-4DA8-AB72-E6C5FA4702A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009773$718346BA-4604-4514-9A57-FB144EDA42CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f761c2195f3c85e8ba1c4b44d40c14b3e4a30e0","datavalue":{"value":{"time":"+2019-11-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":"Q2009773$AF6DDFDB-9750-446B-906A-DF1D6819D306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$35757B69-ED38-4F4D-892D-EAF0CD4A6190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$0EADE04C-1791-4958-850C-E7271AF522EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$BC7F6A31-AE92-42F8-B2AB-1DC56DBDDA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$9D923A8C-90F7-4188-8ED9-86C0E201CC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$A904F2F4-EAE5-4962-8AEE-A6EFDC040E37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf972dab617e50476c518a6d269db68cb57227f","datavalue":{"value":"7138888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$2280377F-DF83-4078-BE6B-07D7C209EDDE","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":"Q2009773$9343CE3E-BDAA-4DA0-A5AF-0CD73C236F54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aba67c02384789faa6ebc0ebba5254ba896426e","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09875-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2009773$A8A88473-57FB-471E-8196-052D726BBCE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"353e751773a0c8c78a8718eae9551db1be65b751","datavalue":{"value":"W2972879495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$C7CA8C79-AA4A-4EA4-B5B6-7EB274B9758B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f9d333a6bb29bbc5c8fe4aae0cdfb437589fde","datavalue":{"value":"10.1007/S11225-019-09875-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009773$684A41B3-EC36-44AD-83FF-C84810E7E821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Book_review_of:_S._Demri_et_al.,_Temporal_logics_in_computer_science._Finite-state_systems"}}}}}