{"entities":{"Q438569":{"pageid":440336,"ns":120,"title":"Item:Q438569","lastrevid":61924689,"modified":"2026-04-11T02:35:16Z","type":"item","id":"Q438569","labels":{"en":{"language":"en","value":"Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062061"}},"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":"Q438569$0C1A0962-AD58-4608-A930-C1D5F9B3744E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19ace9d1d554d408a05dc57766c8e2f8af0164de","datavalue":{"value":{"text":"Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438569$78C79540-89F3-4D86-B9FC-765FE281C4F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0275ccc28db040d1c4183f8dddf87088d741c24","datavalue":{"value":"1252.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$93024CBD-C456-482B-A3F2-4D5DF584EC0C","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":"Q438569$FD5F2FE5-B67E-4A1A-91EE-D4957260A9EE","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":"Q438569$D99741F2-3E5F-411A-ADBA-A2F95B158639","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":"Q438569$1E7C2A18-2014-41C0-8B73-8ACC28BD32C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-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":"Q438569$AD6170F1-5532-44EC-B8FF-4560F5D417F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$540940B0-0CDB-4902-9824-6AD4670D82C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$9A2D3FF0-6458-4132-9EB6-A21EA853B3DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03861e0357e18bbbb6e40c7eea02f824de5d07b","datavalue":{"value":"6062061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$D8C53279-0B94-4D45-89AD-9456738FE9C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$62043055-BF4A-4D2B-B855-7ABE379E0A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$3215176B-0299-4F11-9DC1-1BBDE83004D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$C99DE74C-AD49-4995-B812-D7A405D1CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$802C2578-42C5-4082-8718-ADCBFEA79878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$BC84DDE0-CA3C-4D92-942B-BD9DC13F97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$CCC58541-BAE8-4A4C-9B6A-02EC53C71A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q438569$C1A9DF0E-ED51-4273-BF37-B5264CAAF832","rank":"normal"}],"P1463":[{"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":"Q438569$54F66E33-C1D7-4208-80D3-6AA6188DC59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$664CEB1E-6300-4B08-BD6D-54A98A1ED9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$46E749D0-4638-4589-9966-71488E31C060","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":"Q438569$0D246558-07F8-4195-A235-16503EBECDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$54BE10DE-B7C5-40EA-BB86-F1EF3296B9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$FCDDB401-5805-472F-87CE-55FF65FE3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$8F03980F-84B3-4E6A-ABA9-2438E431D105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$49266B56-C83A-444A-8D8E-6B5FC6EEE7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$7CE9A410-A8CB-4352-BC43-E71D4F74C55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$5E5462EE-8A70-4473-92F9-73A9AC70BBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$8DB116E6-BD19-4ACB-9EB5-9E5BEE512086","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":"Q438569$BB96EB12-81C2-40AF-97E6-36BA88895F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$FB1B3C00-C5F2-40E0-9F88-27265EA6FCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$A25A1956-348A-49AC-B6F2-DFE3CBF69380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$E18D649F-1CFD-40D0-9D25-F6FBDFE90A4A","rank":"normal"},{"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":"Q438569$D6B2B28C-528D-4AB9-892E-E0EE95041AC7","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":"Q438569$1E140F74-99F5-4CF1-BDBA-9695CBF5C82F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"068fe7d38f58af9851545152059271f3b8daa546","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9194-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q438569$1516FABA-80C0-45ED-AB7B-9FF86FA45164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"199209c2a2db89c42fad7e0aff5b6df24690a619","datavalue":{"value":"W2140849218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$EB37E366-172A-4CEB-BFFA-6A1CCB2668B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$09F42E56-2650-4FFA-A517-87A7D47E9F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff630e3c1b7657cd6a825eab62ba0fd151f65cf","datavalue":{"value":{"entity-type":"item","numeric-id":4484329,"id":"Q4484329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$6F62EC2F-392E-4784-B3DC-AD4FB43F16E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$E8884854-B81F-40E2-A7C6-25EC0791F605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$E6E68488-2938-477A-8C98-C11F6B4302F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$9B7796B8-A485-4CD0-A026-BFD54C8C0E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4cb046e7e6d1eac10022f3d396c57882b72a6","datavalue":{"value":{"entity-type":"item","numeric-id":2754030,"id":"Q2754030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$C0A438C0-0F1D-4391-910B-B6AA770648A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$409F7F3F-F77B-4AD5-92FC-0AE15D8C0B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$D06AF454-8F52-4BEA-B418-B07248222991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2f872f7b124497811cc27de7d8d98a7f30bb1f","datavalue":{"value":{"entity-type":"item","numeric-id":3656423,"id":"Q3656423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$CCECAD42-D002-4E65-B413-0FFDF4477BBF","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":"Q438569$8FE024C1-1E84-4A4D-B509-ED013BDB7314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$CD190589-131B-4A5B-A077-20CC3379DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1574dbadbb9dc0fd3fd330687abf1f03b9066e81","datavalue":{"value":{"entity-type":"item","numeric-id":5705899,"id":"Q5705899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$708F1A0C-9D90-41B7-ABA2-DB763DCFF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$AB90A91A-395A-42A9-8C8B-D60008130C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$1EF10A9F-8592-4F23-B745-BED19395B069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2f4029f0c13517fe63c3c9a74f9fb32403ffda","datavalue":{"value":{"entity-type":"item","numeric-id":2642466,"id":"Q2642466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$8B21BEA3-A35F-4557-B569-C833F2C8F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8e4a60e0bea89561b0c662e3c6c540c318b08","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$B1342D30-F7BE-4537-B6C4-123FF977889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb99815e52b0ddbf311db25f8253ec9a93bf2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$473FD649-C514-4890-BE26-B973ECD4F2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425bcd800f76b8ccd9806e2f2ea56b43a697148","datavalue":{"value":{"entity-type":"item","numeric-id":5491909,"id":"Q5491909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$A6D5D2E9-67B2-4E61-B3A0-5EBA2CD5C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5206796f49e6fbfbdbbe276867b5487481a6b30","datavalue":{"value":{"entity-type":"item","numeric-id":4499196,"id":"Q4499196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$8DF20FB6-6D79-46AF-8345-5E40A97DD323","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":"Q438569$F8B93497-3D78-440F-938D-AA48C06A00DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$D92B96BD-28F5-4AC8-900E-4FEF54A2E262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e562363d6c50c36da4d7df14973a6988ef92f724","datavalue":{"value":{"entity-type":"item","numeric-id":4506397,"id":"Q4506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$2AE18125-DB82-4E6D-A5B1-4A9448F67991","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":"Q438569$97B119F4-3375-40C9-8A13-708C86631529","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":"Q438569$2EDBB44E-0148-4A69-A530-C9F58BD3A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8061bdff8d9877d2f27aa012efd61f9a2baf74","datavalue":{"value":{"entity-type":"item","numeric-id":1426872,"id":"Q1426872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$B3E5DCD8-05EB-451C-AC8A-5309B365A86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$39FE513A-89D5-47D3-AFD7-965AB6A025D6","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":"Q438569$E65F1DF5-6523-4546-8FE1-67B67040D068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31701e0774145535b911ac9cba93997b05afa3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2723440,"id":"Q2723440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$ECCD5054-D090-4BBC-B6E2-C0361363F8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$7D4D87BC-5456-4F17-B8B9-D4DC9D8E79D8","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":"Q438569$B2D727F3-3AEE-4FA4-BD06-33DA156AA1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b104af02c01f101c62cceb944e5bc82d5a81f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":5501464,"id":"Q5501464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$6C848804-7862-4202-8EBD-E847A2E560A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbde4877b5ea99a4485f54665d4828d619e5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4391450,"id":"Q4391450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$3C81949A-0582-4636-AEAD-912D8AE946A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$426062B8-35DC-4E7F-907E-4A014E25FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$A792D745-4E1E-4748-8D40-456A74530EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$C9D97249-7AA4-4D61-A7CC-D36459435453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$33EF6419-5F91-4FB3-AC27-F1805141E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412697b27bc0e191017d5a3e9cbfafa45de8e608","datavalue":{"value":{"entity-type":"item","numeric-id":2566223,"id":"Q2566223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$7657FEE8-FE77-46FD-A6A5-2FE7FC9500FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$A7173109-9B3B-4FB4-BBA0-318F5220F539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fbf94b729f109d7385449e285b46324367154c","datavalue":{"value":{"entity-type":"item","numeric-id":2871843,"id":"Q2871843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$06DB6D50-4094-461E-B0B0-A7D0297762B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$48168D2D-914C-4A28-A3A7-80825BC60163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$1DAB1348-DCF1-42FC-A661-BDDB297D6D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa3c9ce4c0d41dddd221b190748ad64d2579cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$4293E776-F0C3-46B0-A92B-99531305D317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$87512413-33A3-4F4D-B5B1-193702DA06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b71a77385562e154fc0f421bcaa2b0bd75e97","datavalue":{"value":{"entity-type":"item","numeric-id":4650578,"id":"Q4650578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$28DA6AC9-2378-4DE1-B707-0FD4CAD6ACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$C7698EC4-1717-4273-9487-B927D1721359","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":"Q438569$2CA317FA-CD69-4D66-B079-69DE803447C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$B0B90680-75F5-45D7-ACC4-6640FD2DD797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$432FCBEC-A992-4B75-BF14-A8F8C1D326E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8d5484c75fe2a14b4f198a80db5c6efdf1db82","datavalue":{"value":{"entity-type":"item","numeric-id":5464650,"id":"Q5464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$1FF9DFA1-C055-4814-AA51-09CC9D88F1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$667D530D-B6C6-4AB3-9624-CCD8557AD917","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":"Q438569$C3D926F2-952C-4D4B-9F74-FAE1D089E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$52282AD4-39EF-4CB9-AB8D-066F843FE314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$DD517FC9-D0E6-4DF1-8E10-E70B733430E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8926ae4ee5d5c67b7f44708b218909c73e427f6a","datavalue":{"value":{"entity-type":"item","numeric-id":2763630,"id":"Q2763630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$26456521-C77A-4CDA-ADAB-9827EB35A89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8bbe6f871fdce084b35bf0c2b9e81e63527746","datavalue":{"value":{"entity-type":"item","numeric-id":5488612,"id":"Q5488612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$FEDDA51B-6FE5-42D0-B406-711490D3CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3388d42285fbea14d22b8580fcd0d30392780d71","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$4D6D5A92-0C45-4403-A39B-3F52D2526654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5529fc59fde090e80519f64caa2fc1f892f31635","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$DBAB9A58-49C8-4819-B704-73184242AECD","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":"Q438569$E4FD8E51-C7CA-4696-AC90-41C2D07E0194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7880cbdf3ea521643b7d84261ecfa14d69020d","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$FF1AA6FF-76B4-4626-99D2-DE2879870C7B","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":"Q438569$4F97EA79-DA97-4235-9D94-8209B9E292DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8555a6bafcb34b8174bf396d396dfe3981f39355","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$BE58403A-3BF3-46B8-90AB-0FC718B648AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec88c2663747bf3533fc5bf0eb353d891e25d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$A882A938-DC57-4CBD-B798-F768A26DF129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939be0771ea627d569d52a0b8c1f463c5ec167f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613430,"id":"Q3613430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$B967B509-4F93-4938-AF77-66F8DF4FDF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$67ECA0B9-0D86-4E80-A805-D841A11D23CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$E9435FD4-7DDE-4506-8675-F731C8DB967B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afbcec84147e50865ab29f586d0e0b3ee612def","datavalue":{"value":{"entity-type":"item","numeric-id":5437034,"id":"Q5437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$44370AB8-BCB6-4F28-8411-8844E90507B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438569$DFA9CCC0-0326-416E-9E13-4BC6F499846E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23829a6d1051135a8ab9eae9f24c093274ee1c73","datavalue":{"value":"10.1007/S10817-010-9194-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438569$D0BE6764-818B-4B3B-9E4D-DBDBBF7C16C3","rank":"normal"}],"P1643":[{"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":"fc22bbdeaa3db7842b88d88a05ae0a166708104d","datavalue":{"value":{"amount":"+0.944105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$8A00A764-B398-44FB-BC0E-4E6111A39A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0ffcacb7b7e5a0834ba0b3bb0780f55772b134","datavalue":{"value":{"entity-type":"item","numeric-id":5458386,"id":"Q5458386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c38d7396d6ffb89a26af070d8ce687b5c5b3b5d","datavalue":{"value":{"amount":"+0.8815013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$12EA74A3-C6E1-4E63-8970-7B5484FB084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159b5595d1efbd342e3e22c350813fec89c6c163","datavalue":{"value":{"entity-type":"item","numeric-id":2867945,"id":"Q2867945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aa5dd7a28aaab1994784856909ac409073fdea","datavalue":{"value":{"amount":"+0.87376064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$2D787FAF-09E3-4705-8D3B-52CDA9AEEAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7971f34eb1c2a0d5b6dd9a4d516ac368aa8547c2","datavalue":{"value":{"amount":"+0.8623357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$BFFBFC8F-57BB-4774-B0F6-6DC6E0080569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461c3bc70874d21568d134512394852a584e9671","datavalue":{"value":{"amount":"+0.86054355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$83F5497B-7837-43DD-9CE4-11C3FC707075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b4336f8b01bfca3f4b51d129e7099220676385","datavalue":{"value":{"entity-type":"item","numeric-id":4917077,"id":"Q4917077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cb410c04187e3b6dd91dc995efdb783b14396e","datavalue":{"value":{"amount":"+0.85986376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$3EDAFC55-482E-47A1-9E36-0E9FA926D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5192c11a84b1bb159598fe3626b66b7184c971f","datavalue":{"value":{"amount":"+0.85976917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$F0881C2B-81E7-4F98-9410-3F8F48718439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094638c95d193ac81f9e78b35ae3c2560d0841d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899091,"id":"Q5899091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e389264903e321aee040b8f9ba2e2534a8529b1","datavalue":{"value":{"amount":"+0.8553032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$7DD7F298-90A7-4812-889B-321E123BAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa82f6ea9d03fdd24c361260d49086ca921bba7","datavalue":{"value":{"entity-type":"item","numeric-id":2643331,"id":"Q2643331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e389264903e321aee040b8f9ba2e2534a8529b1","datavalue":{"value":{"amount":"+0.8553032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$44FDE863-85B8-495F-88E9-89C8154B2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db59bcb16e35e33978dfe6c2029f1a9d47f0e680","datavalue":{"value":{"entity-type":"item","numeric-id":2787338,"id":"Q2787338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e91581b8042291f09f08da6fae0b34c37dd21d3","datavalue":{"value":{"amount":"+0.8533792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q438569$91B5C277-3516-423C-A30E-F9E7D2CF9F2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid._A_definitional_two-level_approach_to_reasoning_with_higher-order_abstract_syntax"}}}}}