{"entities":{"Q6168463":{"pageid":13303348,"ns":120,"title":"Item:Q6168463","lastrevid":58733874,"modified":"2026-04-06T12:44:54Z","type":"item","id":"Q6168463","labels":{"en":{"language":"en","value":"HyperLTL Satisfiability Is \u03a3\u2081\u00b9-Complete, HyperCTL* Satisfiability Is \u03a3\u2081\u00b2-Complete."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724220"}},"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":"Q6168463$8BCC31D1-E80C-4634-8845-BD73194EA3CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d44b325f158cd7c4eed27a4f49c09b063e7c27","datavalue":{"value":{"entity-type":"item","numeric-id":2164218,"id":"Q2164218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168463$10738FDC-2CF0-4774-9E2A-106F74F1F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbb5d074cc37bc4dd852800ec4ca1c72f5d2102","datavalue":{"value":{"entity-type":"item","numeric-id":343912,"id":"Q343912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168463$4846B5A1-F648-4FD0-835B-680A1755DCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168463$DC5FE1D6-9F7C-46C8-AE6A-82A24732B941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e233769871128d8f008663434898727658c6c5","datavalue":{"value":{"entity-type":"item","numeric-id":6108435,"id":"Q6108435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168463$C62A1C9F-57E9-4D77-B0B2-1D26B81FCD4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168463$8244EDD1-488F-473B-89B4-E6FA2E1D3971","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c93e7e4d1d8830766b80a460b86236ff90af4fdb","datavalue":{"value":"https://arxiv.org/abs/2105.04176","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168463$7199F707-23C8-4AC6-8019-BB30FC4A10BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168463$00492A03-57B3-4820-9720-6E9B71D94E42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7f09429f00dffa1616f56a92c236e84898f1846","datavalue":{"value":"7724220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168463$5E21BB4E-75C9-4C53-9969-0E4A9A9B48B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7f48e002dc44a44e79171794db4cf1e4723a8a","datavalue":{"value":"HyperLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168463$DA57D98A-0861-4DB0-959D-90925087AA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f6bf23655ec5ec35ad5bd35e45a4b5b33e9641","datavalue":{"value":"HyperCTL\\(^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168463$5550BBE5-4008-461F-A1BC-A85D5839839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168463$3EFD74BE-2FB5-44D6-B29F-81775F2934D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e227294eb0dc60e96eb55ab92da87064d1510c6","datavalue":{"value":"analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168463$B9E8D5A9-035C-43DC-8586-0E81BCB1460E","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":"Q6168463$2F832233-B6A0-4173-BC72-74C8A2216131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb705ae9042111bbc8d6db9b8fa30a2d57b9c469","datavalue":{"value":"W3165398732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168463$9842F1E4-2EBF-4E6E-B390-AAE014AD566C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb6e3e820f15646d4433a21e469690d5f85278f","datavalue":{"value":{"text":"HyperLTL Satisfiability Is \u03a3\u2081\u00b9-Complete, HyperCTL* Satisfiability Is \u03a3\u2081\u00b2-Complete.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168463$69135246-9CDB-4EEB-8713-1D76FC8A38B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff7dea8b1dbb8f0bbb4f2d08e74522a49c7586e6","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168463$FC818C7A-6C90-4FE9-ACF5-E50E8BD8360B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5d95915e040cdcbab7e9d022de00e8772d9811","datavalue":{"value":{"amount":"+0.8245455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$AAF6BE50-297D-4786-AEFC-B7D4344EC3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcaa61ccfe2fbe8e49c050ac695308cf064130e","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa4344e6375ae68e8e068a7fa7bfa741b195dca","datavalue":{"value":{"amount":"+0.8218374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$5FDD0B09-DDFC-43CA-9F5F-D1D2DE12FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d465904eed34d8a81be953c1f182e7e690bf6df1","datavalue":{"value":{"entity-type":"item","numeric-id":5874216,"id":"Q5874216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1b67d2c8a77c454833d9eb6bef57f56c2ee8e2","datavalue":{"value":{"amount":"+0.8197755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$1502B783-FCB7-4865-9493-AFA55E1E92EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6230f03e5dbf2c6cf09c0db7afd689226034b5b","datavalue":{"value":{"amount":"+0.8179644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$00E98061-EE9B-4722-80C3-1D1D5CDB4380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b1b303d5101ea9c8915a86219eff21a4259a7b","datavalue":{"value":{"amount":"+0.8159894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$DB06547E-AC68-49A5-B4AD-8804C535A98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747fa5455a63cc89e9a91d2e5401febe696e1381","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac990800c9694481847e4d6db83fa5434fc81a6a","datavalue":{"value":{"amount":"+0.80268174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$0CB6FB01-0F7B-4F1D-8697-342B249EF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2cd4851c1b29c7df765d7c38815911880eb85f","datavalue":{"value":{"entity-type":"item","numeric-id":5195060,"id":"Q5195060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8136ce9bb083587c4cebf2bc18f89d1a8de1ac","datavalue":{"value":{"amount":"+0.80207974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$D3245C15-142E-420B-B5F6-DEB913593A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26ee6197942f4f873bf496ed686e6477e4032e4","datavalue":{"value":{"entity-type":"item","numeric-id":1041788,"id":"Q1041788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fba2fe080e6ce0bcee65771ff62a143240a9d61","datavalue":{"value":{"amount":"+0.80161935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$4E34475B-1210-4E27-A1D3-B854ACC4F9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7032b874a2584deea407b5695481b2423916b83","datavalue":{"value":{"entity-type":"item","numeric-id":3988836,"id":"Q3988836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e5e29fb7f66bfd763641b446f8674bf4669524","datavalue":{"value":{"amount":"+0.79567724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6168463$A522DA7F-DC0C-440E-8068-4A05D969C4C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168463"}}}}}