{"entities":{"Q2841232":{"pageid":2851952,"ns":120,"title":"Item:Q2841232","lastrevid":51779948,"modified":"2026-01-20T00:07:12Z","type":"item","id":"Q2841232","labels":{"en":{"language":"en","value":"The mechanisation of Barendregt-style equational proofs (the residual perspective)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190926"}},"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":"Q2841232$F199FDF5-FAD9-48FD-A100-34E02269A0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0893515c7ff456f9d56cdbb5ae1809400b71bc8e","datavalue":{"value":"1268.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841232$48663F41-336C-4314-8F8F-A9E2B0F0160A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84d4f83ef133b4aa7ce9ec0e2505a064b1cb036e","datavalue":{"value":"10.1016/S1571-0661(04)00277-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841232$8298C84B-D402-4702-9AC8-4648A783F651","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bd72a5e73758bd30e2ad91ff0a0a3698c24ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1045891,"id":"Q1045891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$55A1B9F8-9DD3-4BAB-900D-634D2D519337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$693C0984-34E5-44E9-A275-2BA0E521F3DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$B8868FF5-E59D-4CAB-BF1C-8C42AD1F564F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841232$1B35AE6F-5D39-426C-8703-98CE57013D79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841232$713DBDB5-7F6B-4DDF-81B1-78FA2607C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841232$7F9F21BF-AFB7-435D-ABB7-1C417AF81AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"957f2461106c2db69cbccf6d17725519994aca5b","datavalue":{"value":"6190926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841232$A939DEBA-3315-4A02-9395-B7FF5D887491","rank":"normal"}],"P1463":[{"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":"Q2841232$7C8E3331-D757-45CF-8638-1F8FFBD30F84","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":"Q2841232$64C0B520-A0D9-4769-9AE2-D88A91CB1A72","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":"Q2841232$974977F8-2BF7-4F7D-B2ED-D42547D0D37B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$C2F98B61-D265-4D29-A340-987F8E45A27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$53CBC7C6-0C21-48D5-9B41-88EA1B6D172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$EC77B30E-895D-4B93-A4F6-DBE70F62E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d610cd6a06b6c0401b04d6f90b219240e708af6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$2A7AC229-5929-4155-9423-DD0C353A8501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$15B1C131-9C76-48E7-9B0E-4342650CE654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbda4d5d2fa3599cf321b083730ba47f18179a2","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$80701886-7BBF-4AB3-AA63-15B52E0BF85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$8B7190AD-C561-4197-B02C-13EF3A78F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$33548168-816F-4E86-B557-7BFACBAD8439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$6B35E316-2F26-405F-9BFC-6C35D6C7E3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$BC8D0FA4-26B3-4407-8668-D27EEBECEB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$BFE09C16-5056-41EF-B3B5-0D693CC47613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$06FC409D-7D61-4A1A-B9CA-CF8D45DA3789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$AF1E2BC8-EFC7-40A4-B31D-7FA3EF9AEE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$9036856A-B496-4514-BD3C-AE6653F2B7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$E0634114-69D8-443C-AD7A-CD348C4F8D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038fe3d523d25b19ee4156c3ba003d8763564740","datavalue":{"value":{"entity-type":"item","numeric-id":2778886,"id":"Q2778886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$5A5BDA85-C48F-430C-A98B-964DCE934B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efac3d4750390c91832466c53b7195b315c1ed1f","datavalue":{"value":{"entity-type":"item","numeric-id":4518890,"id":"Q4518890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841232$33762C83-EB77-41E9-B217-DE92F09C485C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba2a7bc2db60930697420802de7a4d377bdf3fb2","datavalue":{"value":{"text":"The mechanisation of Barendregt-style equational proofs (the residual perspective)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841232$476A2AA0-9395-4010-AC85-7619EFC876A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbb218983d2f81330dc0466a32020cb97799b1b","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d260b41af381223b8951f0902fad412c37eb1b30","datavalue":{"value":{"amount":"+0.8157563209533691","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":"Q2841232$CACC4257-721C-4F2D-A256-186DCAF98151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d95eb8d46df09e1d483cb4bfe8c153b2222895","datavalue":{"value":{"entity-type":"item","numeric-id":2778886,"id":"Q2778886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49dedaefe07a77ebbee417188bfff7e0e6067fe","datavalue":{"value":{"amount":"+0.7777099609375","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":"Q2841232$97168A5D-41E3-4A15-9188-94EB73F64303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38634bd0c31460b1a33436b810a1cd6dd774560b","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bd0a4d6eef5654c802ac74a7183e91a83bee1c","datavalue":{"value":{"amount":"+0.7674700617790222","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":"Q2841232$D57397AF-B98C-438E-9F4F-47E16F6163CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b71899e612542e352d2274d778ce9d9212610c4","datavalue":{"value":{"amount":"+0.7668731212615967","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":"Q2841232$1D6755F3-1307-491B-9C37-B5193319C0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0b8486b933915947eb68693016c057a5e3c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4c21a2f9735a3fcc3b324f33aa10a31df88c49","datavalue":{"value":{"amount":"+0.7656514048576355","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":"Q2841232$6E811A29-5580-4332-8E2F-FD4461AA1878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841232"}}}}}