{"entities":{"Q287277":{"pageid":289044,"ns":120,"title":"Item:Q287277","lastrevid":60718341,"modified":"2026-04-10T18:42:47Z","type":"item","id":"Q287277","labels":{"en":{"language":"en","value":"The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585565"}},"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":"Q287277$CAF5A110-C302-4028-A561-42E16BF5435E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6066b785cc6ff77a34488edcc8b07387f08358d4","datavalue":{"value":{"text":"The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287277$7464CF06-9009-4086-99CD-A307F1AC6699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1442cb8da881ec5b9b23e9dd2879716f25a8abce","datavalue":{"value":"1357.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$B702A756-7206-459A-8B75-320DB8B37ABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$0A12D8BA-A8AE-4D2D-B71A-845B78317BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$CDFD7D90-2B40-48A1-89A1-7FA5779822DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$EF57435E-C931-450A-B695-0F5F72360BC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$23F685B1-2F40-4501-87E9-8FA6F2E8A1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287277$F9C21E91-C6A4-4E02-B832-9EC2E64BE0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$423C2F19-A6E3-415C-915A-8F1749D91540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$66EC04AC-DF6D-4FAD-86D2-D9BA380769E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf94370a56a0a2c41cd940d1896ea1e1998b5508","datavalue":{"value":"6585565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$4F108625-D60A-4E65-8436-08DF9E7C08B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q287277$8D8FD38C-BEF2-418E-9D21-AB151773DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q287277$DE49282B-7853-4BD0-8C9F-15C04A294D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q287277$92FCCEC5-2AB3-4DCB-A1BF-4790B30B3AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a3ae76578a4d5d88a56c0f8805a0ae043ff05e","datavalue":{"value":"benchmarks","type":"string"},"datatype":"string"},"type":"statement","id":"Q287277$9553363B-E231-4008-8C7E-890E454E8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0cfb42d56c6dfc795192bc7afe2cd52dd0fcf1","datavalue":{"value":"context reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q287277$B440E2D6-B4F2-4647-82E1-8DFD8EBB9DA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$3C211321-0632-4485-8089-973748534365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$E6003B6A-44BC-48D4-8F08-26A378367FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$9E6288C2-ED70-4873-A50E-17CCED4DA824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$D047221B-ACF6-4751-9B1F-F056CFE2A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$B605A341-7F3E-4748-9151-D42969C46E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$9299EBE5-B969-4F23-B53B-7BBC3DAF850B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$C651B3E7-D0A0-467A-A747-2D1D219344BB","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":"Q287277$96980378-8403-401C-B741-009C8B8A286E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4db5b8b5da0f1fa27f0afa153a9569e07a01030b","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9327-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q287277$69A6C243-6868-40C1-878C-88FA51548A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c14ec03423faa118f73d331655764df37a55735b","datavalue":{"value":"W1551936078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$3DB54CBE-8944-4BDC-8392-BBD113C5F4F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3127df92e823928db9943d2b21122cc061b2a1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4916060,"id":"Q4916060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$A9DD80C8-A60E-4A24-BB07-72E4D72767C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$29B3F0EA-BDFA-4C53-A89A-B08DAF0B3AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$7DFB9E91-96A5-4B2B-8CA3-9EDE948B91F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea84eb24d2bab74831d30a1afff94ea8fad8cbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2804937,"id":"Q2804937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$5CBAD95C-6C9C-476B-B87F-082B261F86BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980a374515067d1c5c237a6fd0ede01b4ba94ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012875,"id":"Q4012875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$0BE8CC12-612F-4916-B113-098B7DF5AAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffc3b635e0b710a41e4683a9aca6fd2462e605c","datavalue":{"value":{"entity-type":"item","numeric-id":3612436,"id":"Q3612436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$F0C1C583-798B-4FC5-A64F-3888D409135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228e40236d38aec5a149d907ee03718626a60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$5AACCAD9-28D3-4754-AEC7-F62B78A3EAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$E67AB40A-BACB-4351-8366-3BE128C9A21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85cc2b388aa36b9f222a46a5545ecce05e0f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":2804940,"id":"Q2804940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$7911CD19-2361-425F-B100-4BF9D3324E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dac70721402a09d65f93017a3ee67f0fd9d1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2804942,"id":"Q2804942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$003F593A-2274-49FA-B8F2-2BFACB4B253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd90ba3b3c5e17240dddef25d5b236eea01d9de","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$F6065AC2-1E66-4939-BB26-337876CBD676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220258143b7834917a988322b64d98bf65ffe70a","datavalue":{"value":{"entity-type":"item","numeric-id":4484341,"id":"Q4484341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$F1C85FCD-DF1E-4085-958C-5BA91EEC3F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$0273E6F8-0993-4529-98E7-D83E429E097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$9646D963-C2FF-4783-9BC4-1F142EC14227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$F61AD2A7-581C-4BF8-9F57-248945622B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$824F526F-E61F-472D-9D32-C6545FF6CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$33B1B426-A633-40EA-ABC8-5C056721597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$A709F397-5416-45C7-812E-5BBEF6AE2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441ab522372dbc56337549e9359e4e2646de59a9","datavalue":{"value":{"entity-type":"item","numeric-id":850496,"id":"Q850496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$E8D40486-C259-43E0-B663-254558819DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$EF1FEEFE-D39F-445A-9340-EB2573A1F9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$85CC65E5-696B-441B-906A-93A255E41FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c732fbd529c96b900ffef046072d0570c63aff","datavalue":{"value":{"entity-type":"item","numeric-id":4417871,"id":"Q4417871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$B09C57C7-65C3-4114-80D5-D725BFD9CD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197d74f5936655045aac39c4e29d461e14c3e18b","datavalue":{"value":{"entity-type":"item","numeric-id":2844810,"id":"Q2844810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$1E1A3AEB-777D-4EF5-A811-5635C2CDCE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb811ffb310e4f60d472ad49ae363ee7f6ba0c8","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$B434F88E-0542-4ADE-BF65-EEC0DAAB2C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$5530EFD3-9706-46D6-9784-EBAB8F625816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$AB131860-381B-4FEA-9A26-BD18D7C24048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe767ed9aa281af8dcc558b60fda726c37153cf","datavalue":{"value":{"entity-type":"item","numeric-id":3058448,"id":"Q3058448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$92619C6C-3579-4715-BFBF-F49B27B3CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db64b11464b9db48e2a389bd15fbba45af72595f","datavalue":{"value":{"entity-type":"item","numeric-id":5277845,"id":"Q5277845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$23D494B5-53D2-4F87-BE06-513D08C216C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$96FBEF9B-A296-46E2-A58F-CB22D0B172D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8995610696de6f75b854cd93b7ba9a971f10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3183521,"id":"Q3183521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$7634461E-CC62-4BD5-AA3A-30B38BF29233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ac79800dce37cf467ac64d04aa31f90a31f403","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$EC6334F1-1200-4486-A580-CECFE83C7387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8cf2dc492019f717e5e3e0a386be0e43cff24e","datavalue":{"value":{"entity-type":"item","numeric-id":3559763,"id":"Q3559763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$6EC06664-27A5-42B3-8C4C-C92C8401A428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287277$05AC1FAE-AB55-435E-B5E5-730942AB3495","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"276fb45bfcd0f729ebdbe628deee67b530170593","datavalue":{"value":"10.1007/S10817-015-9327-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287277$690064A0-4788-4CEE-90AA-11739B40E789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66668ed7158b07726d83fc60cbfbe89a17acc37b","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a313c6fd221cb7f3293a93314aed477500f79a49","datavalue":{"value":{"amount":"+0.8175243139266968","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":"Q287277$5AF0518E-E348-4AE1-A371-BA2BDF625E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01440ea277965da5d581ffe22876ea4d78c39930","datavalue":{"value":{"entity-type":"item","numeric-id":4691183,"id":"Q4691183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321efda264a958ce4393b0d46d57c20b0eaa0ceb","datavalue":{"value":{"amount":"+0.7772496342658997","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":"Q287277$8306D97B-76E2-47A5-AFE9-91A7F5B93573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3cafb7f8125a862eebe6cef92f9bc01b077d7e","datavalue":{"value":{"amount":"+0.7555108666419983","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":"Q287277$405B6CA6-3FB9-4649-B3E7-B317C518709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49e8faf4fe3121fa0f30303597bc67bfb868ac","datavalue":{"value":{"entity-type":"item","numeric-id":4484341,"id":"Q4484341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e5f5b87c83c54cc881f46395d97cad0feb6bab","datavalue":{"value":{"amount":"+0.7404736876487732","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":"Q287277$F6C62D7D-C65C-4BE9-ACA5-3A9A631F9337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a10e40f5dbcc1db2f6650f8bd4083a9ec263da4","datavalue":{"value":{"entity-type":"item","numeric-id":4417871,"id":"Q4417871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2138f546d180ada4eb2b48644b238c6d3ce509f6","datavalue":{"value":{"amount":"+0.7362020015716553","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":"Q287277$3985A6FC-B5CE-4DB9-BEEF-4A2BB1DB2D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_next_700_challenge_problems_for_reasoning_with_higher-order_abstract_syntax_representations._II:_A_survey"}}}}}