{"entities":{"Q6854414":{"pageid":20623126,"ns":120,"title":"Item:Q6854414","lastrevid":84263057,"modified":"2026-05-14T09:00:15Z","type":"item","id":"Q6854414","labels":{"en":{"language":"en","value":"On average-case hardness of higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163133"}},"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":"Q6854414$CD2DD9D8-CE5D-4804-99C0-026D28C4E6A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae704e576d82019c18b37c2629d0d6e48b9b316","datavalue":{"value":{"text":"On average-case hardness of higher-order model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854414$860C6521-D776-4D0C-9EAD-EBD725F0D56F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1021bfa098df08bd49560a52f1bdfaa658345980","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854414$A4CB8DBF-DCCC-4DCD-B33A-5AF8A89C4091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b0b852d5693154dd82e93dd8af13a88a0887074","datavalue":{"value":{"entity-type":"item","numeric-id":2062199,"id":"Q2062199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$192F2154-1D06-4B0B-A1C0-12EC7A51B513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$110DA7BD-D9DF-4DA1-912D-9B01E70A499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$AFD259BE-9836-4365-BEC5-ADB631F83D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90349d0d821571b3d66dd602ae7d46ae4fe0f666","datavalue":{"value":{"entity-type":"item","numeric-id":831784,"id":"Q831784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$F2180E6A-C84E-4F92-B9AC-1F6630425747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$FDA65E55-6DF2-44C8-8901-357B3657100F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854414$452C147A-9908-4AC4-A3E8-6730703F7CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854414$791AA643-CC33-4BF1-98F7-814329B097D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854414$248F318D-E7FB-4E85-BB17-FADC6B2E1B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854414$12EEB45A-AE5A-4AA3-9075-49769A3A08A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d10019ba8b5168ebbe6c32388b3b70526b70d0a","datavalue":{"value":"8163133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854414$9C2A6062-0C3B-4064-80DB-7841FCCB8229","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$9BE0FC8B-9947-4749-AE3F-5E3FE5A2E15E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf4f6f2283066329ae52ca5a071d4d20f367f14","datavalue":{"value":"higher-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854414$4AACEF2D-BDA0-4B01-A5DC-6EB1CA569997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb5cf5222b6371fb7f9c168c78eb205663c9be7","datavalue":{"value":"average-case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854414$17CBB51A-3978-463D-854A-C4C41B52BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f32d1c56db34fc2c85affdd81adea5d6a70b8b9","datavalue":{"value":"intersection type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854414$D44B1112-FF5A-4EF2-9899-88950D3E8A45","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":"Q6854414$4F575614-7B77-4758-998C-8F40FE896842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"537a220b197280db3460dd6e3d1ea8f0a078e621","datavalue":{"value":{"entity-type":"item","numeric-id":4625705,"id":"Q4625705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$5B3B0368-F0C9-432E-8405-E91AEEC03FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bede3f4443490f4a218c9ed8aef1d95b3244d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133193,"id":"Q3133193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$7097FD1B-3980-47CB-86F5-8D2827262702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc4c5b12bdeb4bc8fd4208a2741062bdf868af","datavalue":{"value":{"entity-type":"item","numeric-id":3413362,"id":"Q3413362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$2DC9FAC3-3D9F-46B4-89B2-B49364A492D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$0EC9CB2E-EED2-4F42-9A27-A2B7A18D2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84157f816a941b625d4c1d4a54d3b13a77c5990","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$936A3016-2CAF-450A-84EE-F911B9D0229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce5fb3ff708b182df6b56bd2951961b074d75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4405691,"id":"Q4405691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$5DD58A8E-E9B7-4531-991F-626B1C6CB72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$60319777-D259-49D1-979C-80CA9AE0673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$61DB6261-6155-4A5B-9238-16CBBCF63CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$BC87AB37-E2D9-4559-B54E-753963890CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$37AFD56F-6AF7-4301-9544-4638FEBA7F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31fe22da1258c9b6ddbd5ee492e07b54cb1a76b6","datavalue":{"value":{"entity-type":"item","numeric-id":5959584,"id":"Q5959584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$7D28122B-4D45-4FE3-9FA3-8DC3160A84B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$346E5054-112E-4B2D-B295-4BF18C5096DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$90953D88-F7C5-4F75-8A5D-F9D094F896DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b1957c591da5d889f10d0266d9e754a48350b8","datavalue":{"value":{"entity-type":"item","numeric-id":5895528,"id":"Q5895528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$985293B6-F17E-46BD-B18B-A97678E5DDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c8da4af1521c3da3ccde1954503b2f156b1b01","datavalue":{"value":{"entity-type":"item","numeric-id":6854414,"id":"Q6854414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$B3ECC3D7-F656-4F89-858C-A27643A350CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$8A069833-08BB-4FD6-8F4F-7821C1C2A232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$DC01F24D-A74D-4565-A96E-9DB89CCD52CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da64f1cca780954140e34c386764f2e05d1755b8","datavalue":{"value":{"entity-type":"item","numeric-id":3012917,"id":"Q3012917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$56F48C30-0AD1-4423-A431-413CB2D5D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91740000742ef4f2fddad29d68366017c1036a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$1F105C9D-F871-452B-AB09-9C00AC4A4E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81b131d03aa06a197356fdb2709864a0ec93b8","datavalue":{"value":{"entity-type":"item","numeric-id":2988360,"id":"Q2988360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$9FAF8382-DD42-4272-961C-10C06690C57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027d70fa3d5c4eb64bce68bb1b5cacf3e5818999","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$13639AFA-F4E2-4610-BC37-2EC3A405D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8bd93945e8f550bab33045fd095e69de201a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5111330,"id":"Q5111330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854414$AA80E6F2-62E8-4B77-A9B9-7EF6CDCF7431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On average-case hardness of higher-order model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_average-case_hardness_of_higher-order_model_checking"}}}}}