{"entities":{"Q6270448":{"pageid":13407148,"ns":120,"title":"Item:Q6270448","lastrevid":42186573,"modified":"2025-05-27T14:44:46Z","type":"item","id":"Q6270448","labels":{"en":{"language":"en","value":"A Coinductive Approach to Proof Search through Typed Lambda-Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6270448$27F06C4B-626F-439A-8623-C074C697757C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"141ea142494b5741ff89fef8f4924ad6ba537109","datavalue":{"value":{"time":"+2016-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6270448$3FB0CB67-11E0-40E0-8AF5-37279CD32030","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"541221ec163927bf1a2b6436ec737d6d2a4d0f95","datavalue":{"value":"1602.04382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$2FAA5308-E274-4E8C-A612-658E56092B53","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6270448$F33BDB55-F22F-41F3-B3C9-BF6CDAE0034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6270448$236E4393-5E5B-4970-8C4A-D4FC12E22F42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6270448$95E9C1D5-0C5C-48D1-A0C1-BFD75689385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6270448$F28F9C2C-065D-4F21-AEB3-445DE6BC3A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6270448$D903ACFC-0319-4FAF-A96F-4217FF0E4B8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$2D944D21-2C37-47DF-ADF7-FB8631612E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$F5180F7E-14A1-44A4-8E62-ADD38FBBDCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$DED0657C-1CEF-4FD8-A210-0AF7C64E0909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$250E95EE-6C0B-46AA-9AC0-E967BB62064E","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":"Q6270448$1D152A68-0AF1-4D0C-979A-D8F5DE111727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"839228d125c0c01e5e863abada6bf2410742f49a","datavalue":{"value":"10.1016/J.APAL.2021.103026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6270448$18CC3403-583B-472D-8740-8A312424FE49","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"2095b5b1d040ca652624bf557701065bbda5f913","datavalue":{"value":{"entity-type":"item","numeric-id":2231698,"id":"Q2231698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6270448$559A88F1-03DC-4DA6-BA03-5281C613F10F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6270448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6270448"}}}}}