{"entities":{"Q1702908":{"pageid":1713649,"ns":120,"title":"Item:Q1702908","lastrevid":72116988,"modified":"2026-04-14T02:45:18Z","type":"item","id":"Q1702908","labels":{"en":{"language":"en","value":"Algorithms for model checking HyperLTL and HyperCTL\\(^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845650"}},"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":"Q1702908$A5F3010B-2240-47AD-BCFE-A74901CEE804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68e7c6bb368ab15027f6d5647f44eb5588718ebe","datavalue":{"value":{"text":"Algorithms for model checking HyperLTL and HyperCTL\\(^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702908$AA2451FE-9BBA-4B4B-8E14-4C8CA202D582","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86320c73ebf87a51dda8abb7044c88c656c76369","datavalue":{"value":"1381.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$8CDBFBF1-B3DB-4693-A874-D66D5F218989","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9e9ba23fc2d63ae0a0e40093b8c88511654bfa5","datavalue":{"value":"10.1007/978-3-319-21690-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$798D40CC-1750-4E97-AF9A-9D43F2DCAD84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702908$25DB435D-F5A2-416C-A08E-E24AC3C3B774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702908$EB17C272-ED21-4DCD-8885-D75DC473CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702908$45923833-FE68-4F4C-9C43-34F0DA86AAFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702908$9FD4FC22-4C67-45CA-A178-97AECC02EB18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$7909C96E-5D0F-41C4-A5D2-DD80089F7345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$53340DA5-E32F-43D8-B965-8421030CE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$A81DB914-A838-4087-9E6D-2C07C0D3D463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a5d08e10556483ccd70d7c4c0df3ed50327cc0d","datavalue":{"value":"6845650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$42A5BDEB-E71D-4532-836D-674219B9574A","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":"Q1702908$3C3E29CB-21C0-4994-A44D-D9FD440B3A36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77ae4106c5483c43bb526beff0d81382783d3b0c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21690-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702908$0BD51AFF-490F-4502-B4EB-406AD835B3BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"344b86350bc862d16c81dfc4cc397d8f6a4a57d8","datavalue":{"value":"W1213177963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702908$468FDE67-4AE7-4A10-A4E7-20F4CF3AB753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611a276b3350e83a4f3d2e3cc72a45a8016739f0","datavalue":{"value":{"amount":"+0.8850109577178955","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":"Q1702908$3A7DD0AD-5D5D-4AB4-9EB8-74AF9374D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bdd692c228514c0d2b5f116c4dd68da6ba55ab","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cf1064f160075d87b5da84d00d7e031d1d1d5f","datavalue":{"value":{"amount":"+0.8507710099220276","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":"Q1702908$5AB496D2-8178-4611-BEBD-6BE390105F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d672bc119c6f2601b0011fccb9bb2bab36dfaab","datavalue":{"value":{"entity-type":"item","numeric-id":5883578,"id":"Q5883578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b035c6d226fe5152258fda1b4917a4205a90158","datavalue":{"value":{"amount":"+0.8464522957801819","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":"Q1702908$A1278907-8E91-4105-A95B-73A873D17BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec693fcc7b4ad2c0e8c3f778ededb893262fdbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2165513,"id":"Q2165513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31b0a7f3b17072467173b7b845e64d256101580","datavalue":{"value":{"amount":"+0.8294937610626221","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":"Q1702908$8F6DE036-1C9B-4291-BC10-73A1FD00FA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e2eda745f89e8d2cf1262fc906aa6d2653c0f9","datavalue":{"value":{"amount":"+0.8285636305809021","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":"Q1702908$3D9398A5-8620-4E84-A54C-431DF57F6202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for model checking HyperLTL and HyperCTL\\(^*\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_model_checking_HyperLTL_and_HyperCTL%5C(%5E*%5C)"}}}}}