{"entities":{"Q2471742":{"pageid":2482485,"ns":120,"title":"Item:Q2471742","lastrevid":72731445,"modified":"2026-04-14T07:11:35Z","type":"item","id":"Q2471742","labels":{"en":{"language":"en","value":"Translating higher-order clauses to first-order clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5236602"}},"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":"Q2471742$CD059CCA-4797-4D49-BF2D-84329254A321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02b9dc14aa929aa84c0ab807f113af130fb88521","datavalue":{"value":{"text":"Translating higher-order clauses to first-order clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2471742$87CFB9B9-BEE1-453B-BBC8-0BE220C495AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7566ed3bb21e7fc6cdfc4164330c7cc94d27175","datavalue":{"value":"1203.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$9BFA4C42-EF36-4DFF-8FD3-8C7D9811EE1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeec0819ffed3ff77ea39bfc122f96488e0242d8","datavalue":{"value":{"entity-type":"item","numeric-id":1006730,"id":"Q1006730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$A92514F9-2371-42FE-9E2C-40064F0BA18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$196E6996-4F8B-4F62-AB04-E84963536600","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":"Q2471742$4713735C-58AE-4DAB-BDB8-C357D1D5B075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118eb39459fbba91acbfa1c46ee7e29cd76ebdf5","datavalue":{"value":{"time":"+2008-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2471742$DDE3B609-3A2B-4F13-9B16-76998A6B7ABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$105EBC6D-B1FD-4BFD-84D9-BA6714E4978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$194EFBC4-04EA-4801-A33B-A509DA6044E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$D56AAE84-B796-408A-B221-2CCA36A1061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$47253DD4-F259-4CD7-AE3D-397F58C2FF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6ebcfbdebf536997e49b4fd3c0069fda79996f8","datavalue":{"value":"5236602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$7B36B36A-3B88-42A0-A9E0-6631BD51CD27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc0d60ac5379ca4a91c28184969cb182e162858","datavalue":{"value":"Interactive theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471742$27E80036-12EF-4D5F-86A4-140B9CC28409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e7754691816f964bba3f2c0ee4707f88b8f5c9","datavalue":{"value":"Higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471742$B664653E-CDE9-4CE0-98FD-83D0109053FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0f501697f0dc8196354285954a7915634bfb5d","datavalue":{"value":"First-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471742$61B7341F-FE52-4EEC-ADBD-9DD37FEAF5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac688648a3329c0088cf3dd68f3059b698835051","datavalue":{"value":"Clause translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471742$65554343-9B54-4E78-A528-480C60E4A996","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$E9235D24-794A-473F-B463-8D9765C44F41","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":"Q2471742$DD8B01F9-F043-4947-BB42-482417D53C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$62420DFD-93D3-4E6A-99F1-EAD9B49FC7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$D8475E1C-9869-42AE-9BF7-586A00B956E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$FA36CDE7-EDA8-45D2-81F4-062C9D128FE7","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":"Q2471742$3DFAF64D-E186-49E6-86CD-A1FBF8AE00FC","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":"Q2471742$D6AB1CCF-9D40-4928-865B-10936551FD36","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":"Q2471742$A40DCDA8-DBC9-4B3A-B6E9-936EB5EAB255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$660BABD0-D290-4EF5-8D4D-95398DFBC1DC","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":"Q2471742$48ADB69F-83C3-4ED5-B9AD-3FC3F6920F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$406484A1-6C3E-4817-804C-72D55F1E27CB","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":"Q2471742$A6A11734-6D49-45BF-88CB-3C7BB6893CB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d590a80c4a0c0bff741ef78def4a8163ba65d41","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9085-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2471742$9F29CE5A-6617-4944-BD14-0B38F902A12F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"150dd2cd88aee095d71e555e3c7a586a8fb8f243","datavalue":{"value":"W1979623128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$716CD94B-F026-4F13-90B2-34165F1DF045","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"71607be19b78964a320e7e0413098f9de5e81be8","datavalue":{"value":"Q57382631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$EF8DBB48-FB8F-41C0-95BA-25662FD0F4AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4ec34970699a60fee9b67f04e9456c847a6819","datavalue":{"value":{"entity-type":"item","numeric-id":861715,"id":"Q861715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$06D6D0B1-0669-4C75-82E1-48D1AD27951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727d5c52088188578de403f14f1e57776d987f10","datavalue":{"value":{"entity-type":"item","numeric-id":5705938,"id":"Q5705938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$1787C8F6-99F4-470E-86F4-23F24BA5756F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65580a37f1a15e222036995b50e2d2433afd75","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$20DC22AF-BFEB-48B3-8BCA-8E6B392D24EA","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":"Q2471742$CAFFCD83-04F6-495D-BB10-E5CB9996B2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a693c10013eb7bffb7ffbc0c1890644cc6a21fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4809048,"id":"Q4809048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$5BBB1B76-5CE7-4249-9261-B5A0EA6CEB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb8be7de89f20d22f4ee8d1d86958f7a15e915","datavalue":{"value":{"entity-type":"item","numeric-id":3823125,"id":"Q3823125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$633243A2-3E9C-4FDA-8E47-D1A9D97A497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$1712B1BB-0539-493C-B03A-94B1D8280B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$EEAE803C-FBC7-4E4B-A7D7-26608F6ACAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$81131B03-14FF-4AA1-88C4-7AE68F67F740","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":"Q2471742$C3E1EFD0-4659-493D-AD31-56FA101F869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$D68C25D9-1359-4D9F-9E90-C9AB37916490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$6F36DF57-3BEC-4B7B-9F3A-2154A06B08B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$F580BAD5-760A-4BEC-9E24-C91774B53E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c061dab185fe1bef51da7d9346e274bd625a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539622,"id":"Q4539622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$7E7DD6BC-20CC-44D2-8C1B-B6B890A0AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$CDA290DA-B77B-4859-A2EA-688799DDF7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccd1fbbe7b06f5a2e523bc6b279f22309b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":5307082,"id":"Q5307082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$7BC70F01-74A8-43BC-AE74-CA29424951B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$9413AA39-8E50-4F16-8E82-9F2518841FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$EAD0B045-FD3E-40E7-8C90-C4D1B46BD199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471742$C172A976-1EAB-4A65-91AD-9CF716380BB1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"835062c0a43dcb1031ffc2935d238fe27e20cd87","datavalue":{"value":"journals/jar/MengP08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$A3F86803-D0BB-4ED9-B810-DBC08A3EB528","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b562f8a9f747c71b018de8e5ece216ac7dc5970b","datavalue":{"value":"10.1007/S10817-007-9085-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471742$12CB037E-6089-4D45-AE4A-2A17F13FAABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2288b5ce42f9f8618bd8052f04fbb57c1744a376","datavalue":{"value":{"entity-type":"item","numeric-id":4228072,"id":"Q4228072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e6477cdde99a9efe646a269e642e7d772685ca","datavalue":{"value":{"amount":"+0.7507584095001221","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":"Q2471742$0873E252-B8A8-42DA-B03F-0DDDA2E16B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db5f6f879711fee2556071b86a425c26dd16b51","datavalue":{"value":{"entity-type":"item","numeric-id":3523181,"id":"Q3523181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a5af16b68be1f3ef879bb7e2c43b7bcafc8dc9","datavalue":{"value":{"amount":"+0.7254217267036438","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":"Q2471742$64F7B0CF-0CF8-4AB0-8EBE-9BDE8E8B67B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3500b3005bfd2fbb9acfe6096ff978acf0315a4","datavalue":{"value":{"entity-type":"item","numeric-id":4411849,"id":"Q4411849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1bb3c49babaaacac30f91b632afc31aeb701a4","datavalue":{"value":{"amount":"+0.7100192308425903","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":"Q2471742$09140535-0675-443E-A774-1B0F43E22C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e8235d89565408f7478a422db725c519ad02fe","datavalue":{"value":{"entity-type":"item","numeric-id":5236549,"id":"Q5236549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb639a5c753464c184ad88ed6f43333cd4dc82a2","datavalue":{"value":{"amount":"+0.706406831741333","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":"Q2471742$29DB5F9A-7ED5-4667-BCF8-8A86D3313926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b6f5f0ca85edeee446ec0c09180658cfcac311","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835ba49295387ac6d4e4cd61d5806a6dd4ab9238","datavalue":{"value":{"amount":"+0.7049057483673096","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":"Q2471742$A7143321-5DED-4989-9A52-7520E3271245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translating higher-order clauses to first-order clauses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translating_higher-order_clauses_to_first-order_clauses"}}}}}