{"entities":{"Q6899256":{"pageid":20893864,"ns":120,"title":"Item:Q6899256","lastrevid":84180086,"modified":"2026-05-13T04:31:20Z","type":"item","id":"Q6899256","labels":{"en":{"language":"en","value":"From proof-objects to grounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8122458"}},"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":"Q6899256$25E228E2-E0D0-43B9-9933-FBBAEC1BFFB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afe52f52dcb76de207a21cf20130b73d465cb5ea","datavalue":{"value":{"text":"From proof-objects to grounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6899256$32054F60-9A14-476A-BD21-4D0A58F391AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e49ddff4fe9bc373d64fb5ee97de463e7f646c5b","datavalue":{"value":"10.1007/978-3-031-51406-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899256$2C9C6334-D4A0-473A-9D46-E5E2DB4C3AF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ca18aef5f3a0b942f1184e70acb16defb6b036","datavalue":{"value":{"entity-type":"item","numeric-id":2080592,"id":"Q2080592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$BAEEEB72-FE31-4FE7-8CC3-4828D18FD20C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f652ec88ec3e1fe6ec4cd63a853e8f8dcb5fd2bd","datavalue":{"value":{"time":"+2025-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6899256$6F2997AB-B3D5-4CBB-9BF4-60C008CD6849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899256$B9C6A057-63EF-463B-A974-034126FE5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899256$1ACD5C8C-EEB2-44A8-8155-D6B5A93875FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5594f3a77743883f80e527492e6ee0c8b19cfba4","datavalue":{"value":"8122458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6899256$9D18B0B3-C214-472E-AFC6-A8456856D32E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899256$EBA2D632-A499-4CFB-8AE8-F8F2242BFCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fabfa692a027bb6f4efe5153c1beaeb331decb1","datavalue":{"value":"curry-howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899256$62B40BF0-7E77-401B-833B-C99A2A4187F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1578b046684d426f88f5e40e62bb7f0ec0371edd","datavalue":{"value":"ground","type":"string"},"datatype":"string"},"type":"statement","id":"Q6899256$37213316-3907-4DDB-A70A-EF21A675A2A3","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":"Q6899256$88BD57AA-E1EE-4088-B6D9-C66D82CCA9BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02867d9c94447c135a9b8c2054507c5dbe54894f","datavalue":{"value":{"entity-type":"item","numeric-id":5213607,"id":"Q5213607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$AC07978C-CAD8-4FE1-AA1B-EAB4E9EEA73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f095e740ddb9ab5d9cec61297ab28aac2addb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":2288272,"id":"Q2288272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$71B1D0DB-FFB2-4872-A4C1-2BEE03069B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$5C63423D-51CC-4549-8914-EE5B001E32C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720cc4df07b96540c864498e86d60e0ef925f7af","datavalue":{"value":{"entity-type":"item","numeric-id":5354803,"id":"Q5354803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$07AA6872-4529-4E5D-AA54-D233B6ED978B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$DC525EE2-FF7A-4AEA-9031-C7AA60EF5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$A779076D-5A4F-496E-9B8A-B863D4F58401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$E70A85E5-4E23-4448-8C18-30C927100754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$3424CBDF-9F0B-4E67-84C2-DB3B11D756D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d753b3586e27fec011357b37e30e997cfa5d4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4674788,"id":"Q4674788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$31974CD0-9F6A-453E-9FD9-3D896171F353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a43568adfd1975c4c851b4b98d44b92ecbf567","datavalue":{"value":{"entity-type":"item","numeric-id":4903807,"id":"Q4903807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$F24AAFED-CEA7-48F1-9321-8C85CBC2AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffa98531f7120ef9f8c079ec9d6d1d744a2fd33","datavalue":{"value":{"entity-type":"item","numeric-id":383064,"id":"Q383064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$2628EE2C-FE89-44E6-9D4F-BE4ED222B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$6BE6A1C9-AEA3-43ED-9638-54DF1F1F820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e8c7a15d5dc4db135280acf79d63e0e77abb99","datavalue":{"value":{"entity-type":"item","numeric-id":5864195,"id":"Q5864195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$D25BFC59-CA53-4FD4-9DC5-5D13E5B37CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5285e17a8f862772911f87efaf009aa7a7936c2","datavalue":{"value":{"entity-type":"item","numeric-id":2631642,"id":"Q2631642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$2A12AC6C-161C-4F24-A306-5EC643508CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$831B535F-3013-4F5A-9359-D45C47274422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f9fe92c669c2b14017a84b741b61ab743fe3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1357674,"id":"Q1357674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$7A31CDC4-981D-4DAB-A265-F398F71127B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec600da85d43fdf6e3a8cb4556c7bef1b8b1c9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3005996,"id":"Q3005996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$3D80BA62-3062-4805-B791-C482D652CBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462102038b0eb74508c2054c78ea9d8330d39fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2915886,"id":"Q2915886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6899256$61A9AD0C-0CAF-49D1-AB6D-3A79AA995303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From proof-objects to grounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_proof-objects_to_grounds"}}}}}