{"entities":{"Q2922686":{"pageid":2933406,"ns":120,"title":"Item:Q2922686","lastrevid":85179596,"modified":"2026-06-03T06:10:52Z","type":"item","id":"Q2922686","labels":{"en":{"language":"en","value":"Algorithmic properties of branching-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355402"}},"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":"Q2922686$EE312424-5D6D-4F0B-B463-0BC8C961CB7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324cba7179e2e3e6fde8b5a1a09cb9a58d142d26","datavalue":{"value":"1461.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922686$49B452A2-A44F-4637-89A3-D915E30314ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922686$393457E3-2232-44AD-9871-B9D148EB02BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dbf0d8ffb56cb7aa2dd420f0bb43f514ce03919","datavalue":{"value":"http://d-nb.info/983028249/34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922686$005EF84D-4E53-44A2-89F2-D8D871F66194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922686$84A22AE9-B8BE-4AA7-A73E-A50BF50E03B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922686$50AA48B7-142C-490A-BFBD-7D389DCB6422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922686$6C1BA36A-23D3-4BDB-A0E2-919D3DE4A817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"572b092b77980e983e20d1eacfe25563d7102052","datavalue":{"value":"6355402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922686$809FCB6E-D618-4E9C-AC24-FD72B9570A69","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":"Q2922686$914F5A99-A275-4ECA-A3A3-A0FCDC6FFD24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe7e7f8287162eaf22424a2155d6ca89b6b67df","datavalue":{"value":{"entity-type":"item","numeric-id":6168260,"id":"Q6168260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922686$A6689F2D-27D6-4D86-8931-BE7D8FE1FC00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e459800c51ef55131bc2a6e6ee5e742b815c6af0","datavalue":{"value":{"text":"Algorithmic properties of branching-time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922686$6F54043F-BE7A-4371-AFF5-FAD3F094F8B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic properties of branching-time logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_properties_of_branching-time_logics"}}}}}