{"entities":{"Q6535349":{"pageid":14146492,"ns":120,"title":"Item:Q6535349","lastrevid":57344352,"modified":"2026-03-30T14:08:10Z","type":"item","id":"Q6535349","labels":{"en":{"language":"en","value":"AutoHyper: explicit-state model checking for HyperLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777303"}},"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":"Q6535349$BE67F858-10CF-47D3-93E8-E7B49F99BF66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c8aafd906c19d9f15ff5ab3ac5c4867421223bf","datavalue":{"value":{"text":"AutoHyper: explicit-state model checking for HyperLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535349$A7E41140-1D10-47F2-B181-C097CE208B76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"403dc9074ffa0a0f1c86e33b234d33bef3d03350","datavalue":{"value":"1543.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535349$515AD369-8262-4685-8975-CB50F88D51C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944de9a64cd09b8a25fde558719bb8196d4766c4","datavalue":{"value":"10.1007/978-3-031-30823-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535349$7B5540A9-8474-4A51-A44C-5B2750D378D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eee58e07e7f9770d69c36e7da6f9baba391fe757","datavalue":{"value":{"entity-type":"item","numeric-id":5875387,"id":"Q5875387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$58C8BEA9-667F-4808-BE3B-A3DD5552E559","rank":"normal"},{"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":"Q6535349$E8187BBB-A368-4AC4-82C3-C854762489C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535349$D6A9C84D-C305-48BD-85E6-EE5EA4474E44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535349$074D9F5C-D9C5-4571-8A51-797D7F1876CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535349$C235E12D-6168-4F63-9B75-E3FDE2C6E8D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0d12920cb46c812d785c8564ff175c4f8c5ec88","datavalue":{"value":"7777303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535349$160D5D24-C2F0-4618-BE48-9FE3141CC9E7","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":"Q6535349$4A722426-1FC8-4916-8532-534997365FE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$527233B8-547C-4EEE-BC70-53FC630DF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$906A0A5B-6D25-4DA6-82B2-5DE7C4B477FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd41312b2e7671b43baf61c3a5d18d0b14b9edd","datavalue":{"value":{"entity-type":"item","numeric-id":6176108,"id":"Q6176108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$3EFAA35A-7537-4EB7-8919-B37C9D2BF21A","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":"Q6535349$EC2314B1-79D2-49A7-B17D-8DD72ECAC7D3","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":"Q6535349$124BC104-FF6B-4477-9858-E2BF55438B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$B6EA349D-5D81-45CB-8B23-1FEC451419F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$3FFCCC79-B34A-4A29-9765-43765C990B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$232C3984-65E0-4E40-BD80-4CA10DCB4152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c501d1a13bcdd6d815089b290484e1bfbc13abe4","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$94F9553A-1946-4E33-8A8F-E05BDA79EC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02bfd74020b9b7b2f79e7d48c9e675b0fda8dec","datavalue":{"value":{"entity-type":"item","numeric-id":6160913,"id":"Q6160913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$DCF00AFF-9834-4A8D-892F-F96AD839E850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$8BDAA923-4AB2-46B3-B984-5FBB07CE90A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$ED59F53E-20C3-4636-A977-806940C07111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$F459C316-4ACB-4F8D-B278-B28A2428E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94e8f311e50dd2a6565a5d26beb73e39be23ae8","datavalue":{"value":{"entity-type":"item","numeric-id":2988635,"id":"Q2988635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$68C8E6D6-6653-41D1-8670-3EFA5DE04F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d4f2997f353d79c2d76bddb910ea609a89913c","datavalue":{"value":{"entity-type":"item","numeric-id":6487332,"id":"Q6487332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$E89F2B1D-0B4F-42F3-A24B-BAD84D115991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bdc7f39839fa37e0c28899c61d954fc0bdb2e8f","datavalue":{"value":{"entity-type":"item","numeric-id":6134251,"id":"Q6134251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$B07F20B9-EE97-4C79-8924-AACE92263FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$00263971-5F3A-4367-BDDB-282374F4EFCF","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":"Q6535349$68D308E7-8852-4252-8EE3-179CCE2325D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$3B982F5F-BEDE-48DD-81A6-8ABD34A742A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$682C81C8-4109-482B-B5AB-C8B2526B7037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535349$307321CD-D9E2-45BB-995C-6495D27ADFDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804c20be0c7ddbd645e89af475b2d8d49eec45f9","datavalue":{"value":{"amount":"+0.8929990530014038","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":"Q6535349$B25A0942-65E2-4769-B10E-4A02ACA39E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ef4e1444117de99bf8dfe312dcc57505d12f51","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc95895215cc4739084a0e032e983a296d98876","datavalue":{"value":{"amount":"+0.8691759705543518","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":"Q6535349$EEB75377-3000-4A3C-8B94-CA1C32089F15","rank":"normal"},{"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":"1c65f8bc49b21571ddaa801411b014404dee46ec","datavalue":{"value":{"amount":"+0.8531885147094727","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":"Q6535349$4E48AEB8-D25A-4AD7-ACAC-E6827C7039F4","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":"2e364a7d8d0749da171b73871d6794c0f67b9383","datavalue":{"value":{"amount":"+0.8365893363952637","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":"Q6535349$862B629B-EA4B-4F34-87DC-75DCA055C82F","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":"Q6535349$89179C2B-2CA3-4F08-BD39-7A41E01BF98B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535349"}}}}}