{"entities":{"Q469363":{"pageid":471130,"ns":120,"title":"Item:Q469363","lastrevid":62148972,"modified":"2026-04-11T04:05:49Z","type":"item","id":"Q469363","labels":{"en":{"language":"en","value":"Automatic verification of reduction techniques in higher order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6367493"}},"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":"Q469363$0541B7A8-292C-46D3-B86A-E1E39AF7A445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1e32d5ebe592936bf2cb8fdc942edaaf7e3f87c","datavalue":{"value":{"text":"Automatic verification of reduction techniques in higher order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q469363$45F9A528-C031-47D2-BF1A-E5369CA659B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"513ee97c91a048008ea805bf4f191f50ad2de9b8","datavalue":{"value":"1298.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$A590E042-1647-4F99-B3B3-E5A5E4712A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d28b5cab285f73f255720f1c9df8c8916aa50519","datavalue":{"value":{"entity-type":"item","numeric-id":469361,"id":"Q469361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$76AF7048-D38F-4EA6-97DC-EC89F473AC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa16960c825fc0f9450ac8c3e3d6da9e3dcea04","datavalue":{"value":{"entity-type":"item","numeric-id":362270,"id":"Q362270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$D25D8356-481C-450B-9076-A657E970AF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fb3df86dd9a50bd27c3b5f7c92a97020441d72","datavalue":{"value":{"entity-type":"item","numeric-id":469362,"id":"Q469362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$911088C3-17BE-4D43-BE5D-8D498DA2F17F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$8BAE5DA9-2024-4B91-8BE5-B54FAB6D7CB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc33ed3b977d25c716db29b5ad1f5456ca00b73","datavalue":{"value":{"time":"+2014-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q469363$09284C7E-BD98-4C16-9A28-F4D509F6F48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$F4A7974E-AA8D-4A64-933F-B059FB1C1668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$83F87529-9B46-4CC8-B31E-754E557860AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$AC3BA658-F72E-457E-AFCE-F8330F2A69A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$1E73FEFA-F483-47EB-B506-3FE48A5CBC3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e811efe86473f9e2852a46a32946190d512f18c1","datavalue":{"value":"6367493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$E329C987-D014-449F-9ECE-C15FBF0D2F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a9a0ee15dbb4bfd89047300f0dab1f2cb4127","datavalue":{"value":"HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q469363$69BAACB6-3A28-411B-9730-D162A3710092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb74d0fc6a70c564084490f9500fe82d2d0ee61","datavalue":{"value":"multiway decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q469363$31185DDE-75F2-4F78-982E-8600B9F8BA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e623ec118f141e6eeb9168529b417dbeab970b78","datavalue":{"value":"reduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q469363$AED1FC1C-D82D-4B31-8EFF-AED778612B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q469363$341A30EB-7123-4B0F-9425-6CA4112817BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$4D3046FD-DEDB-490B-8A70-DADDEBF11FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce22f895e76b12ac07dcf9b0c5f6d704ee095f18","datavalue":{"value":{"entity-type":"item","numeric-id":23968,"id":"Q23968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$4A72255C-A501-45A6-B4B6-FAF70A138117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$6ED4B68A-A33B-4EDF-BC58-7B3500A3BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$3CC47455-00F3-42AC-842C-4A31A3F2959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$93BFDE89-A043-495F-B996-8453A6DF8526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f2a772cbce72c5f206f0c56c58af95e4a68d23d","datavalue":{"value":{"entity-type":"item","numeric-id":24060,"id":"Q24060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$201A6A6A-B9F9-4DD4-8C66-CAC953B0F100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$0AD91368-F2B1-4BBC-B68A-88F8A4FCA9C0","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":"Q469363$0E2A28AC-9D82-45A8-B7CF-19D1F6A5530A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dbcc4565ca6e93d880fe726e279d8795cb488dd","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0223-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q469363$C2D6AB69-5002-4EDC-8BFD-E690B4656351","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb6a38023a0fc9a8be6190938fd43f3667df1ab4","datavalue":{"value":"W2007666139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$F717FE08-BA7A-47CA-9BDB-2AECB4C3B27B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"038737483aa1c171779192773bfd003d1ec7373c","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$A4DDB9FC-5030-4729-9DC8-B7B6485E76E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a12eb6e705fe9726909be4d2a819d77d910f3f","datavalue":{"value":{"entity-type":"item","numeric-id":1399962,"id":"Q1399962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$AFDE0FD2-DDD3-4016-9D3C-43F8AF4857A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$7ED22315-4E03-4F51-90C4-0EEBC992DE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$0CCB88F9-1298-468B-89FA-F034556873D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc30ac9d1ad9edb0b35fbd37c857707994a7d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1332638,"id":"Q1332638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$15889A53-8D2A-416D-927A-08262586AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$CB2231D6-348A-45EF-949C-D7D5AE813C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08130d16cf93d7348bec4b002f7a4d864735e3","datavalue":{"value":{"entity-type":"item","numeric-id":4720771,"id":"Q4720771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$841F9A89-8422-4DCC-8747-06A5761B2B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$A2ED0E98-91C5-4160-856B-2F0C0CF304EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$D4823DB7-51E6-467C-8275-8D485C314A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$C2103084-776D-42F5-8D4D-14BEDB54D80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d11c5b37c507c393320d0f892c53947e7a43e890","datavalue":{"value":{"entity-type":"item","numeric-id":5179134,"id":"Q5179134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$94F17663-9D65-4C28-A4E0-FDDD558D1500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59decabc3c37b781048695737c26bf69de3d092","datavalue":{"value":{"entity-type":"item","numeric-id":4828448,"id":"Q4828448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$164ADB64-49B1-42FE-909B-64F5DFBF3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$F5B9F492-6B21-4BF3-83C4-0C07F7050229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$C50B715E-D58A-4D00-A147-5902282FD24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$609ACC7C-3AD0-4F30-B5FC-8C85099B15FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70efab4d3d82b39f07a48d15be341a102ff3fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2754105,"id":"Q2754105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$EC2823DA-FF02-4076-977F-2A9FAB25893C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$B4D2FF37-5087-4023-BF79-C38F9F4E05D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$947FEFA2-52AD-41B9-A823-CFFBCE4DC962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q469363$9CF18B72-5CFE-4ED5-91EA-EF743BA378C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f795d6fdcc6993728deb04b85dfb55dafb8d9672","datavalue":{"value":"10.1007/S00165-012-0223-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$4E79FCFE-C779-4A36-AB21-F8232B82310A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f719407d8bc80dedbf612370b6510d4ca6405c6","datavalue":{"value":"Q130888028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q469363$8E76E3E2-2E67-40EC-A57A-1D8E91C13AD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a222bf16251a8af35aa3c32835e189c02324c310","datavalue":{"value":{"entity-type":"item","numeric-id":1961915,"id":"Q1961915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fa97509cd97dd323bfd7f740e72ebb1ef19cae","datavalue":{"value":{"amount":"+0.7683531045913696","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":"Q469363$38C8BAE6-1E1C-4951-9222-BE522B74D03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944f8b5f51d0140452496064536a24330467f863","datavalue":{"value":{"amount":"+0.753204345703125","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":"Q469363$59254E4D-0B59-438A-A7C8-26321C022B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944f8b5f51d0140452496064536a24330467f863","datavalue":{"value":{"amount":"+0.753204345703125","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":"Q469363$A1A464F0-6740-47B7-B62C-00CA17296744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa4b589224a32084bf323fd2c2de3b31d0edd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5394196,"id":"Q5394196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e8c477ff4d2135d0b66a39b4df011a258bba64","datavalue":{"value":{"amount":"+0.73611980676651","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":"Q469363$4BA4E16B-4645-443B-A068-0AD4F5F17EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba094943f9c4e2e12edfbcd84f01525e71464de7","datavalue":{"value":{"amount":"+0.7347078323364258","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":"Q469363$68E49C29-0EB1-4D14-83D0-EC777F189DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of reduction techniques in higher order logic","badges":[]}}}}}