{"entities":{"Q7034355":{"pageid":21709014,"ns":120,"title":"Item:Q7034355","lastrevid":97343942,"modified":"2026-06-05T14:26:31Z","type":"item","id":"Q7034355","labels":{"en":{"language":"en","value":"HyperLTL satisfiability is highly undecidable, \\(\\mathrm{HyperCTL}^*\\) is even harder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977733"}},"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":"Q7034355$13CED176-8605-44C3-9301-F96AD71A5E83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8712a6c83075becac4277bec3a5ef13b428f5ed","datavalue":{"value":{"text":"HyperLTL satisfiability is highly undecidable, \\(\\mathrm{HyperCTL}^*\\) is even harder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034355$7EF0BD64-67E8-4436-9889-3FCED19304D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2abb5765e178f1737a5cbbc4415cc77fa6b9f3e9","datavalue":{"value":"1557.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$B326CE9A-EC6A-4A31-B87E-10C5769B8D8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd725ecf57a171710878f705827fc434c794c7d4","datavalue":{"value":"10.46298/LMCS-21(1:3)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$721D46F3-8AFF-4C33-AA61-9A966EF51D1F","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":"Q7034355$45651B3B-5E61-47BC-8C21-738454FE7CF3","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":"Q7034355$AF911561-755A-43FD-856C-3EEF06DEF147","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":"Q7034355$A9D8F070-06B9-4E72-A5D5-64124FF258FD","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":"Q7034355$278BBA28-DCC5-46EF-868A-911196C868D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$16476A99-B5C5-43F3-95EB-C514FC797837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034355$1A412C4E-8861-4160-AC98-38832CFD2D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$F30DE05F-B635-4DB2-A1EB-9C9D4471898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$4E91171C-DA71-4E1E-9A0C-1C4C6CD9F72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$33243BFC-F62B-40F0-91C1-8350FC89E546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$2F931799-91C4-4EB6-BD82-3A7853605B04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4636f577bf9fc8b5f4bc97489db6441e98853a0","datavalue":{"value":"7977733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034355$A405CE90-2722-4DCE-858D-20594BEA9F00","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$8687032D-0B2F-4504-9FA1-A31AAB2828B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7f48e002dc44a44e79171794db4cf1e4723a8a","datavalue":{"value":"HyperLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034355$04BFBF12-B1DD-4411-84C8-32D39AB165C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b19532089aa03391beede226e468d5a192f3e2","datavalue":{"value":"HyperCTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034355$BAD98F22-BC95-49ED-ADA2-E4D39E1816E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034355$0E3672AE-D821-45D4-BC94-8CFDA00886A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e227294eb0dc60e96eb55ab92da87064d1510c6","datavalue":{"value":"analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034355$A483E6DE-819A-43E8-AA2F-FA6910BCB180","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":"Q7034355$C1E5323B-E541-4790-A925-7FCFE34CF224","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$39762298-3483-4235-80FD-6A4DB2D858D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4487bbf1975ec8a8efa423b9a88974b14b2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$DE81B025-6FCC-4C93-8F7A-564398562618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$1B506DE3-A976-46BC-A1A2-A61FFFB3400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223cecbfff4cdc78f1be55791487409edaf065d5","datavalue":{"value":{"entity-type":"item","numeric-id":6649493,"id":"Q6649493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$67A6B81D-13D4-4A05-88F8-F3AC7DA84E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af4c8628c39415db8532d7ed1923a812de2f281","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$49C2E6F0-1B5B-43BA-9F0C-718DAC4C5409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3215fe9ac9098da832062641028e1eb7e94dc9d","datavalue":{"value":{"entity-type":"item","numeric-id":6535349,"id":"Q6535349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$406CDBBF-7F4C-40C3-B2C5-E6E9696651D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61fc61652a4e833852385a8191ca3ffee37d00","datavalue":{"value":{"entity-type":"item","numeric-id":6135762,"id":"Q6135762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$337EA9AF-E93D-4A43-A443-83270D735900","rank":"normal"},{"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":"Q7034355$379FACFD-7C42-4C52-A8FF-4F341AE1CC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2c73a35c5eb7c6d2c5e9a70ffc488c6ef7353","datavalue":{"value":{"entity-type":"item","numeric-id":6967327,"id":"Q6967327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$808FDCB5-665F-4EE0-9697-019E23AD6C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19620c250c7c146c091f49035e11565f2887a27","datavalue":{"value":{"entity-type":"item","numeric-id":6651942,"id":"Q6651942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$AE4D4A61-98B1-412C-AD1D-16811AFFFB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839806caf5a65a073d1c277b709b43ecd8f87f4e","datavalue":{"value":{"entity-type":"item","numeric-id":6587135,"id":"Q6587135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$2BF9621F-D6AB-4CEA-939F-7568D14A9C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a25d7b967705c02f4e4e18fa3978c6d4fe7bea2","datavalue":{"value":{"entity-type":"item","numeric-id":6186311,"id":"Q6186311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$DDE62553-20D3-4B12-BB12-E6E8C36376A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$2DC198DF-4456-46B0-8E0F-6C56095D1D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$60BFE9B9-D002-4F36-812F-369E28CB292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716642967fc2d502d98064516acfb8991ec179bd","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$ED8C4558-2DBA-4C36-B930-11D9E2E7C668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40531d341fd8cf721b83d156f266c394aeed15c5","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$DB6A0A58-0EBB-4DCD-BFFE-34772DEB4B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$C05D206C-CE6E-44E0-B98F-C75DB2E5EC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$DA275AD8-78E7-425D-8472-37A109E74861","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":"Q7034355$67E95C7E-964F-4A3B-9AB5-A109E8AB839D","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":"Q7034355$FA06F82B-1FC4-43FA-B8F1-D6F087C5BE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0694cdc39b22e204737c487ba74f53cbb8e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$3DED3361-0777-49C4-99FA-DE0F6ABAB8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3670b43a0337e839bc4e1f8bb2ca78bfd9be2833","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$6980F067-77A5-4ED5-B2DB-E0BEF9D72F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5f9254e998a1239dd0f53931007f01b4725fcb","datavalue":{"value":{"entity-type":"item","numeric-id":6168463,"id":"Q6168463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$9B157236-AF5B-4CB0-9E86-2E0408BF68CA","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":"Q7034355$2B6F5DE7-3054-47D4-9FA1-45ED40B7D7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$838E5084-695D-434B-9E5A-93C9C13EB61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$C000BC3D-88EF-4419-9099-62F9DE8281D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a935d3dc1ea1f2269858b5033452f05d566f8b84","datavalue":{"value":{"entity-type":"item","numeric-id":6535338,"id":"Q6535338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$E5A29083-97C3-46C4-9213-41EF97CDCD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38343f9328a96198ccce4bd6d2868413b714056","datavalue":{"value":{"entity-type":"item","numeric-id":5273440,"id":"Q5273440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$D8C2901B-1DCC-49EF-9CF0-03E5599B4695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99beac329e11d5c5d4b30ea1e65a39423ca87393","datavalue":{"value":{"entity-type":"item","numeric-id":5005106,"id":"Q5005106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$78483D35-963A-4DC2-B509-91611C648B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f11e6c5f7658cebcbd73295fa81680ba3d6035","datavalue":{"value":{"entity-type":"item","numeric-id":1445043,"id":"Q1445043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$CAA9ED61-0B20-4566-8C5B-832E8F4D488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9812f0876f807f9914b8759f82ea7ed21090f6aa","datavalue":{"value":{"entity-type":"item","numeric-id":2148802,"id":"Q2148802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$D38CCDFE-D7D8-4F5A-A166-0E3CD3BC5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4730879e3c2022e88cf7441063d7f57a3f0ceb53","datavalue":{"value":{"entity-type":"item","numeric-id":6647693,"id":"Q6647693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$AFF13B8D-16F5-467D-995D-D06CE359FE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a0998fe68388206a99ba35ca4a703485afc73","datavalue":{"value":{"entity-type":"item","numeric-id":6630200,"id":"Q6630200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$48724785-40B9-42C8-AD1E-E70EF1250ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612aae72181384189269a9b1cb968c0297bfb4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2193280,"id":"Q2193280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$7EFB5DF3-EC3B-4C32-9295-28577E1C6E46","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":"Q7034355$8C3D604A-3698-4575-BDF9-DD7847CAA237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fb510d752d28c4cf4a7d891afb159d6461435e","datavalue":{"value":{"entity-type":"item","numeric-id":3934375,"id":"Q3934375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$118EB098-D7DC-45DC-8814-69754B6AD434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034355$2D968406-DB50-461B-93C9-E7D1DD3DA168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7034355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7034355"}}}}}