{"entities":{"Q2303245":{"pageid":2313988,"ns":120,"title":"Item:Q2303245","lastrevid":71799000,"modified":"2026-04-14T00:37:01Z","type":"item","id":"Q2303245","labels":{"en":{"language":"en","value":"Limited second-order functionality in a first-order setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176603"}},"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":"Q2303245$17F340EE-A582-4083-8340-EEEA43A69ABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dfd3e7e58c6281eca60c20abe9aa4ac86314d2b","datavalue":{"value":{"text":"Limited second-order functionality in a first-order setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303245$F088950A-4EC1-4B4C-9A52-5E345BAC69D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48500b245f101a9dad20e8375938b94e9f04497d","datavalue":{"value":"1468.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$BCAE062F-8606-486B-B36A-3FEF90B9FE21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$473616F3-1520-488D-AC73-939CEAAF3499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$D7374CA6-474B-4D2F-97F9-D0010170F72D","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":"Q2303245$1DBD9478-AA29-4574-AC56-C6E344C6CAE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303245$3F3802FB-B2A7-4BED-8634-8A26D7AE88CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$AA85C88C-C16F-4423-AEB5-92FBFAF60D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$E920E211-8DBB-42F7-8DF8-75378497F136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$D5CF9F0A-F80E-43E6-9A47-8627D8AEA59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$1F7B4BF2-E4FE-47C2-9DAE-B482D9194212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7571b8e8f36b5f19721e9f425c6c105bc73c459e","datavalue":{"value":"7176603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$6E22FDD0-53BA-4D61-89BA-BC9ED06BF1CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303245$AD863200-916F-41FD-98E4-C70DCA367761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303245$95C7EBC7-D08B-4AB2-94CD-BEFC75F7AF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303245$EA950A8D-CB65-414C-9737-9D329302D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303245$1D3DAA97-3F93-40A1-A4D6-809106289EBC","rank":"normal"}],"P1463":[{"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":"Q2303245$7B98791A-6427-4A6D-A5C2-665E9E0A5B9B","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":"Q2303245$78A5120F-F026-46FC-95E7-40CED11AF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$6524E6AA-43B4-4827-913C-E581693D2BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$962142FA-F325-4E92-A920-E18B1CBE61C1","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":"Q2303245$26BC8129-DE39-4537-BACF-2DA36AC3A490","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":"Q2303245$035F9178-BD89-44EE-8678-472AC17A8437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$4C628EC9-5C9E-41DC-B9E6-29B7E26471E3","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":"Q2303245$46C54DF5-565A-45A2-9C7D-C25E9EF59188","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":"Q2303245$25CF3353-9D9A-4E6E-8195-864839608F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$3B1122E1-6DF1-4231-8264-4695A32502B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$07FF2599-917E-49C3-B349-916FD7C1D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$418CF009-102E-4651-9C34-AC0EB44782BB","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":"Q2303245$B8BE745F-C931-4880-8D42-CB7EAD0F0D88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71fef8fcc719bd2cc3b4187382a55a7c44583c44","datavalue":{"value":"https://doi.org/10.1007/s10817-018-09505-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303245$948309C9-271B-4A3D-A41B-E67E47E735DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73572f870e8f987fdcf46673b0a4cf348711d79e","datavalue":{"value":"W2904640154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$216EDD1B-E7CA-45AF-98E8-21BA1D14E2CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba4c761d0afd2b68b331890cbe715eaa366ee6","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$E331416D-926E-4DD6-B4FF-3E1E2087CA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$3A5AB19A-BCCD-4071-A3DC-BD98172E3876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$E6BFD583-E769-4E99-A669-A134AAC12ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df99d010c323d1ce4719d0c5115c3a289e30a204","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$013BE179-0F7D-4725-8A8F-4F8CA466E540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$823B14A9-7B53-43BF-82BE-C556B8B41938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef9697882082e6e930409ef288e750a5aff9e92","datavalue":{"value":{"entity-type":"item","numeric-id":928668,"id":"Q928668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$B46ADAE5-CD8C-4BE2-B09E-14F0F879AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$65940C34-03E0-4795-A840-1C7734DD4B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$66F8082E-818E-418C-930C-0836C0470A3C","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":"Q2303245$6B46FE60-2FEB-496E-8C76-F89557E41547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bb1ccd2c2d9635aec4ef9416ea5fe826fe553","datavalue":{"value":{"entity-type":"item","numeric-id":5437032,"id":"Q5437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$6246739C-D454-4C55-A5DC-84D8061454AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$490DE3D5-23D8-41CC-B7F5-63338E10840F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$4ECCD997-E07E-4086-819D-7E4890B3FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$5EEB698A-CEEF-431C-A492-19FF18297D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$6C1A5BB4-83A7-4871-909F-1DF4BB334467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$68477133-63B5-454F-A615-6083C5173394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303245$12F7A51C-502B-4628-8A06-5FA1CFA7B6B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17b37f7512c9832633cd697b2fadfffde4c8290a","datavalue":{"value":"Q128781428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$CEB78D31-9AF7-40D4-8872-2FD8CC0AFDB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79fb58b648f5717d05cc5b4d6ed0abbe6aa01cd6","datavalue":{"value":"10.1007/S10817-018-09505-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303245$192A7CC2-A9CA-4496-B2CB-26502C8D3CB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f0ffc9de80989a7f171a039436d7330a9fabc7","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12361e7770539c9b38d74c6dd29c2212f53098df","datavalue":{"value":{"amount":"+0.7567262649536133","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":"Q2303245$80D53309-875F-48C2-A2F9-7BCDFD4AA5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70899de666fe70ba9157c656eb454d7744f6c64","datavalue":{"value":{"entity-type":"item","numeric-id":4790668,"id":"Q4790668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1bd77d673734b95cf1a46e0defb095accdccf6","datavalue":{"value":{"amount":"+0.741754949092865","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":"Q2303245$5DFA28DA-030A-4930-A68F-463E1AACC05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec2888b669862d9830ecc1fd2cca6621c8ddc33","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc24e69266736b923069540fb4c3db9dea7481c","datavalue":{"value":{"amount":"+0.7263407707214355","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":"Q2303245$6A38AEC0-6EAD-4795-B1CA-32DFF488BE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee82472c9de90afb1beb1e5aea291d13d6fdd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4390746,"id":"Q4390746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8177362536e8144e8cbe7e0a4aa955b069ac4769","datavalue":{"value":{"amount":"+0.7247157096862793","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":"Q2303245$99736B37-0BB6-4932-88F1-73A1E45391F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab816ca20d777bf64b417cd94a39c25aff51b17","datavalue":{"value":{"entity-type":"item","numeric-id":4817211,"id":"Q4817211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a1954f5fc184494d005f166e66a9a2fb24339c","datavalue":{"value":{"amount":"+0.712527871131897","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":"Q2303245$C0384CB8-FC09-413E-BAB8-B14B60262B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Limited second-order functionality in a first-order setting","badges":[]}}}}}