{"entities":{"Q2996133":{"pageid":3006857,"ns":120,"title":"Item:Q2996133","lastrevid":85669865,"modified":"2026-06-03T10:57:35Z","type":"item","id":"Q2996133","labels":{"en":{"language":"en","value":"On solving temporal logic queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884867"}},"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":"Q2996133$75E88A65-FDC9-42E3-8E3B-E3A5C8FEE383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95346baaa34b81890ff021cd2f8661604f8ee063","datavalue":{"value":{"text":"On Solving Temporal Logic Queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996133$DEB6C7B5-A2D9-426A-9A25-3E294EF679AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a810366b3ec91e3fa4d9e8c7397362fe541c53","datavalue":{"value":"1275.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996133$AF4CEF00-E9E5-45D4-BDC4-20929F695198","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bbb987964b89879bee1a4b2d2878565c356a128","datavalue":{"value":"10.1007/3-540-45719-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996133$9E86309D-62FD-4732-B3C0-864DCEDE4209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3682ac570ed723879f393e818ef016de461fa96","datavalue":{"value":{"entity-type":"item","numeric-id":632726,"id":"Q632726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996133$5EF03020-921D-41D1-8417-4E6835D770E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996133$D1728AB6-C0AA-4459-B48A-5CCD52D07B92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996133$A662C56F-EC1C-4D2C-8FD5-9C2031BB582A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-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":"Q2996133$81D5B26D-4C6C-428F-9936-4FCF7B35C63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996133$5EC7537E-BAAA-4297-876A-4E6A3F18CA30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d64ac42fead1047f6d85a4a161d78b92f6be81","datavalue":{"value":"5884867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996133$E685763A-B701-48F7-9BEC-0DCA08A6D61C","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":"Q2996133$632245E6-D422-4C97-A6D1-BD8C9418F135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5baa7acd243794bec75018f5660f974078843c3","datavalue":{"value":"https://doi.org/10.1007/3-540-45719-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996133$B15965D9-D4B4-4986-9723-6C73AE6656F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1945306e86d3f5cd0f873e641265b737e91150b3","datavalue":{"value":"W1526440063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996133$390DF521-D4D6-4F5E-9665-0214FDE4990A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62560326269fdfef0ac1d6cf81c5f8feb871688","datavalue":{"value":{"entity-type":"item","numeric-id":5391524,"id":"Q5391524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82054e61f1376321c29c2ef0b0b93697578aa0f","datavalue":{"value":{"amount":"+0.8415149450302124","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":"Q2996133$AF34675B-EA8A-4295-A38B-17019E373092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846408758bb6e4d2687c2e21f6bb0f7344083758","datavalue":{"value":{"entity-type":"item","numeric-id":5292659,"id":"Q5292659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038cc482677afadb3130be1b946f39a207f85ddc","datavalue":{"value":{"amount":"+0.8260805606842041","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":"Q2996133$BF2200A0-82D5-4CCC-9E5D-1CB2CA0EE231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961ab67e91526553c6d5b885ad743a60a3f6413","datavalue":{"value":{"entity-type":"item","numeric-id":5466541,"id":"Q5466541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36a68f213901f484836d7731db15a3952c92f33","datavalue":{"value":{"amount":"+0.822629451751709","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":"Q2996133$18C053D9-E925-497F-B36C-D0E5AE9E3C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb2541dfef6de46efde23d7ab7bd60fcac3ed39","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c427dd1ded16da6f561004768eed6bed2d5adc02","datavalue":{"value":{"amount":"+0.8124938011169434","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":"Q2996133$B211CBD6-19ED-4C01-A197-92AFAB5CC8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c508cc9143982278c5d0977285829efddc9acacb","datavalue":{"value":{"entity-type":"item","numeric-id":5940962,"id":"Q5940962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29eaee5bf6655e99d631445c413a371fdbc4672b","datavalue":{"value":{"amount":"+0.804381251335144","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":"Q2996133$F19C5820-77DD-489B-9734-3AD8610C1C98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On solving temporal logic queries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_solving_temporal_logic_queries"}}}}}