{"entities":{"Q7227489":{"pageid":24466496,"ns":120,"title":"Item:Q7227489","lastrevid":84467015,"modified":"2026-05-18T12:46:39Z","type":"item","id":"Q7227489","labels":{"en":{"language":"en","value":"The complexity of HyperQPTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8184359"}},"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":"Q7227489$4CD1EBB2-F975-469B-AD0C-82BB4C7830CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"013fb15601ff2c19e84e6c8036a0ed4d4e20d716","datavalue":{"value":{"text":"The complexity of HyperQPTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7227489$7F1668DC-9C65-4FFC-965D-A84C6767FC57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede684da20d170cc6bac874193546097701a3543","datavalue":{"value":"10.1016/J.IPL.2026.106626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227489$882BCDF5-F02E-48A2-B4AC-39D742E897A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d143134b7acedf5fc7e11f00645880ecf8f028c9","datavalue":{"value":{"entity-type":"item","numeric-id":7227488,"id":"Q7227488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$A47CC993-734E-4A47-A345-0B05EA10B86E","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":"Q7227489$E2862EA8-1EDF-48E5-ACC4-35C96B2B742A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$A873AB4D-1F03-4FB2-B5A4-7C1BB03B8DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c96bf7403297678e02ce0cfca10ab83fb26f77a7","datavalue":{"value":{"time":"+2026-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7227489$5AA4C20C-FA71-449D-84D1-9BB8297EF48C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227489$999F312E-B0C8-4195-9392-59F074E08723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50cb0ca4cd248f141eeb07f84ff1bb2b9e848675","datavalue":{"value":"8184359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7227489$BBE7ABAC-8F2D-48C8-8001-C2B50A038106","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573d6f6a58e763d9fabd7eb040260a221e35e90d","datavalue":{"value":"HyperQPTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227489$85C45B0C-8FEC-4A17-B7C9-8AD30DC147F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fb4cbf0e13ca5954e4557cf7a13a82938fc948","datavalue":{"value":"hyperlogics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227489$5D3AC804-E87B-43FC-92B0-B0FED336A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227489$9D27E9A4-7628-4BE2-AEA7-B45F19890D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q7227489$41E31639-2D05-4978-9650-40D0218FA646","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":"Q7227489$07FBF20F-AA8F-41A0-A322-4B00B2C9D5C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c34d0fd3dc296bb7050a1892906d2d31cff1b7","datavalue":{"value":{"entity-type":"item","numeric-id":6535541,"id":"Q6535541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$64A05068-D208-4E35-A2D2-B5CC651A6193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$37FDBD50-1772-4384-9BAC-F80BAAF262C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48cd9b21419c0b0476f895370752ead060b8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$AB23B961-432D-4BD0-84BA-7DA445D40BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835681981b9db38918475e53e3378c2d0d477b8f","datavalue":{"value":{"entity-type":"item","numeric-id":7034355,"id":"Q7034355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$678C8B95-6439-41A7-AB8A-1FC7172CC824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bdf277f440cd6add19f53adb4564e4f5f80939","datavalue":{"value":{"entity-type":"item","numeric-id":5874216,"id":"Q5874216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$B298A7A7-C7F8-4C0A-9767-9127111F9768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1779b5f575ccf1b8edc931780f3484983b1f4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2226720,"id":"Q2226720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7227489$0A3891A9-9BB4-47FB-84F9-07E60B49F4DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of HyperQPTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_HyperQPTL"}}}}}