{"entities":{"Q1987218":{"pageid":1997960,"ns":120,"title":"Item:Q1987218","lastrevid":57535473,"modified":"2026-03-31T07:40:52Z","type":"item","id":"Q1987218","labels":{"en":{"language":"en","value":"Herbrand's theorem as higher order recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7189164"}},"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":"Q1987218$967E5710-8A37-4918-A4AE-6521193E6A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f742e19e02c9796c1b8682d2e0133a868880bd37","datavalue":{"value":{"text":"Herbrand's theorem as higher order recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1987218$E8D97A54-1C72-45CC-B4DB-895A46AB275A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7556cda45a9918c380ca41aef02fda3b8859663","datavalue":{"value":"1464.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$552CF5AC-E0C6-4D65-A3FC-77F365C10455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$2EE13F69-F353-4131-8444-31DE69D79C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$55A02374-C2C9-4427-AC39-9E98E4057078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$A224DBBC-C203-443D-95F2-3E62C6E771C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$23EABD1F-7FB6-4C73-A6A4-347BFE03E68B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63f928dd391550bd44524caa419e363e3d095f1e","datavalue":{"value":{"time":"+2020-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1987218$380AA8CA-B5C4-4D69-903A-5B8E5A865782","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f23aca7f160ca73ac70058f36228a967661c489","datavalue":{"value":"The article presents a method for computing Herbrand expansions from derivations in a standard classical sequent calculus for predicate logic through recursion schemes. The aim of the authors is of creating a method for extracting computational content without first requiring cut elimination. Other methods for this include Hilbert's \\(\\epsilon\\)-calculus, variants of G\u00f6del's functional interpretation, and so on. The follow-up questions of the authors are; (1) which Herbrand expansions can be computed from a derivation without eliminating cut, and (2) what is the minimal amount of information needed to describe these expansions? The answer is given through a definition of higher-order recursion schemes. The authors describe the higher order recursion schemes presented in Section 3.2 as ``a generalisation of regular and context-free grammars to the simple type hierarchy''.  The article's main result is Theorem 1.1 that proves a bound for the size of the language of the Herbrand expansions. A comparison of the bound to similar results such as [\\textit{P. Gerhardy} and \\textit{U. Kohlenbach}, Arch. Math. Log. 44, No 5, 633--644 (2005; Zbl 1082.03056); \\textit{S. Buss}, in: Gentzen's centenary. The quest for consistency. Cham: Springer. 245--277 (2015; Zbl 1380.03062)] is found in Section 8. The article also contains an application of the method in Section 5: a case study that analyses the Herbrand expansions for a proof of the pigeonhole principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$B3479DE1-7790-41F2-88FC-E07D4692D07F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4c3bf1f68faacb3686e363b11483d45d0338454b","datavalue":{"value":{"entity-type":"item","numeric-id":1734261,"id":"Q1734261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$470485CD-AD34-4D5D-B5E2-204ABE75A97D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$2B3AE8CD-8445-4CD9-B8EE-2FF6A8085F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$603C9EAE-F057-490D-8C94-30760A0D06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$A577535F-F750-453F-84F4-EE40BB598534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$25B0AB09-DFCC-44CB-BAF0-E13E0496BA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eefd67882d52a6a876152427a2892810649cbff3","datavalue":{"value":"7189164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$EF02B0C3-A135-4398-B440-AF11E17D68B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$A4963B0F-F959-4474-ADFC-0606CC023C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$6CB7F80F-CE36-4519-8E1C-E71A6E8C90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$E76329F5-F08F-4929-BC36-3C237EA924B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$ABBBD652-2420-4A91-8774-976B53DDB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f7fac8324c6ac945fcbe3570af48d82a2920e1","datavalue":{"value":"computational content","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987218$6F64AC39-2D0C-4320-98C5-D500B51100E2","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":"Q1987218$3E501D60-ABB6-415A-99D7-516279B9BC10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"445a2bce6f989fb066a8ab24149d3bf9d703b120","datavalue":{"value":"https://doi.org/10.1016/j.apal.2020.102792","type":"string"},"datatype":"url"},"type":"statement","id":"Q1987218$FD232C17-2090-405F-94F3-7D188759F6E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b66e792515ffdfc1db889df2999c038b9a1393f2","datavalue":{"value":"W2800852260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$65FFE22B-D3EB-436C-8222-BDECDA4B6070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a619054176bb024343449373f66fed907b2038","datavalue":{"value":{"entity-type":"item","numeric-id":5277826,"id":"Q5277826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$C70BC72A-E95A-4BC7-8C54-828AFDC31E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e2ff241fe611f2209be2bf150404f9b5177933","datavalue":{"value":{"entity-type":"item","numeric-id":5221602,"id":"Q5221602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$0A205811-D8F5-46FF-9AE3-F56EB2A3ED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efe3073ff4a0f00b0a8bcc533e47be023ca11c4","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$BD0E7DC2-C48D-4905-912A-EC22B914881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$31BB0648-DD5F-4A09-926A-F2DDFDFE484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7036e2e52e329387c8e99d6ca2df1fc1f19b7e1","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$AF2B4068-2DDA-48E8-A65F-83E5B4E2044E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$88A523AB-1BC3-42FE-A51A-4574053D8D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$E7FCF3A6-9356-47B2-8E8F-69DF7EEB3E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2a0b049eb1ebb0465045b11ef2f6f37430408f","datavalue":{"value":{"entity-type":"item","numeric-id":4364394,"id":"Q4364394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$3493495F-A241-4E03-BB18-DBDFE37C1EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$FA5A8CDD-80DA-4C84-99FC-3FF63A0A71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0f503d5e0d78741a6213b9b56da035996d5ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$DC52C192-21F3-428E-8404-EAAF754C81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$C31DF644-E593-4055-A411-91763EA70B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837bc1385595a868f157ad00f8e53f97083cfd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$0AC41284-FFB9-46A1-98FE-7ED936007A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$CF58C740-DD64-440A-B7A0-FD447D94E62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebd8070024d6244f551fde9bd0753f8070da97a","datavalue":{"value":{"entity-type":"item","numeric-id":819711,"id":"Q819711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$EE86E537-CD0D-4B17-9CC1-31BFE9E38F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$4C6BF2B4-2838-4BAD-A3D8-C409A84CF080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$5E58D8F4-4864-4624-86F9-2FA36B20E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$3B9F0540-39B8-454D-B486-D252D8613B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf243fe51a5105a571b8345fa16c56b8d53f4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2890201,"id":"Q2890201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$A4087021-45C0-4A98-9516-9EECB0D9B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f13df5cb8c288351ffbc9325a719efa2227a0","datavalue":{"value":{"entity-type":"item","numeric-id":3192194,"id":"Q3192194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$83E1336B-22EE-4540-86ED-96CD81C1447B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd59f3b5cc711e02e1b8b90021028e3c7e8cbb4","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$7CD463BB-75E6-4B9A-B36A-30162D8D2734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a288c1fc3762803ff6256e61dcebf3f413e8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$50E99F17-0076-4146-952D-7150848CD749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$5795324D-BF18-40EE-BFDE-630481DC7E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$8E8EDCB0-9B38-4E8E-97B5-BB721BEB36CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41c1146e545f732e96fac694b2d8ad93b1839dc","datavalue":{"value":{"entity-type":"item","numeric-id":1680562,"id":"Q1680562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$0FA0F3A2-3B96-415B-9814-B9447C98DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$4A3982A6-0280-483F-89DE-8F059FFB045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$9C5F20A1-46D7-42C3-82EE-EC29B5646F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$71AE3B07-AF45-40B9-9EB5-7DDEB1AE4875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$B65D39D3-9D2E-4210-9211-E130B1E139D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1225ff923dc2e8273ff2f1bc217d3abb63ece63","datavalue":{"value":{"entity-type":"item","numeric-id":4910438,"id":"Q4910438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$25429DA1-2401-4169-B05B-B54CE0D0CCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ec644d1895229fb9a0063bc11fc1d9a36f9be","datavalue":{"value":{"entity-type":"item","numeric-id":2882563,"id":"Q2882563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$0A229E1E-1599-4977-B25C-489B30567444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886dee40f42def471a97967ad48c04c047f9b17d","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$11486EB6-8CD4-4367-9A56-72FA1E2629D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6428c4cdf39c49636a72e8d219cd294de7df3a27","datavalue":{"value":{"entity-type":"item","numeric-id":4552751,"id":"Q4552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$3B58C802-8EDA-43FB-AD82-8EAC4F4DE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852df03aed0eca0768b9308a9553b27c39fad827","datavalue":{"value":{"entity-type":"item","numeric-id":2711810,"id":"Q2711810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$CA64B150-C663-4F74-B2B0-2862416D7A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bec9637dba5e8307ef3ad4b6a5c2e0405240f9","datavalue":{"value":{"entity-type":"item","numeric-id":3437042,"id":"Q3437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$4EBDE326-6DFB-4CD2-B1A5-966D0560E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$7572AC4C-DD5D-4C66-9E01-2615CDA09383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cd8c3d036d50a1cda3f8b978fe5417c5836e03b","datavalue":{"value":"10.1016/J.APAL.2020.102792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987218$AE95857F-5E62-4515-8081-6E7447AF2A4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2c04384adbd209ef49f5338411c302d346a16d","datavalue":{"value":{"amount":"+0.7922068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$8CB28FC3-88F2-4F73-8041-65779E55601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7e589fa8a9da353b626f8ef7109afa41008901","datavalue":{"value":{"amount":"+0.77592975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$0187E077-835B-4DCB-8C3F-63F4E0081761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7c000d2f394279b04ae858f6859677cf84ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3eb5a4dedad50bcf00b366769fe6ee0b1c5efb6","datavalue":{"value":{"amount":"+0.77445924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$012FF63F-DCDA-47EA-AFAD-7AD33BECC785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6306e49215b17ba90b8cab980a1c1edbe51bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4276169,"id":"Q4276169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e7f0451cd543124063b8277f005db4af2b1b9c","datavalue":{"value":{"amount":"+0.77206933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$6F5CB091-47A0-48D4-8615-5985709B0B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fe5cd015949a11b0b04527034b88861c10a710","datavalue":{"value":{"entity-type":"item","numeric-id":5140324,"id":"Q5140324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef98fbe9ff58f078e76b244ffd26489ce3920d5","datavalue":{"value":{"amount":"+0.77007365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$6CCCA1BA-F156-4FA2-B21E-E4230C3399DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ebbf210dee7754cb6e0f702cb00fc1dbe61808","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab759653cb771ede8dd520284175c4bb2c5ee06","datavalue":{"value":{"amount":"+0.7692934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$C77F3C75-1574-4ACB-B10F-A5E7E1DBB2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da54ae133285ee684666e264230488075015855e","datavalue":{"value":{"entity-type":"item","numeric-id":4288052,"id":"Q4288052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4675ba9faccb68af338f3d1d5d6c48237eed562c","datavalue":{"value":{"amount":"+0.7658234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$7EC29A71-D20B-464A-9EF2-6C34D3C86B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73d28562eb7da4d49051d080abe4925b24b95fc","datavalue":{"value":{"entity-type":"item","numeric-id":3617380,"id":"Q3617380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31db085cab6e9093ec93f062c98e2630ab86d639","datavalue":{"value":{"amount":"+0.7655295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$BE2C5111-3869-4FE9-A04B-03ABBB244FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a2bd3981c2770d193704243de6debaa8a5cc0","datavalue":{"value":{"entity-type":"item","numeric-id":3363695,"id":"Q3363695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe234061d83ac9a96d9746c7ca48a7aed3ed2427","datavalue":{"value":{"amount":"+0.7618906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$056B3E1F-E1BD-404F-8E5A-E9F8A52EE428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc05750b2b9fe37017c68a5f0806b78fdf53423","datavalue":{"value":{"entity-type":"item","numeric-id":5505525,"id":"Q5505525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e9dfa78fee100da2e18ab51f0710f61a52053e","datavalue":{"value":{"amount":"+0.7584064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1987218$EB7D9875-B7BE-41ED-B3E8-F2E4CAADE85E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987218$936293B8-CD3B-4F8A-8D53-28472C82DD42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1987218","badges":[]}}}}}