{"entities":{"Q751646":{"pageid":753495,"ns":120,"title":"Item:Q751646","lastrevid":64099338,"modified":"2026-04-11T17:37:57Z","type":"item","id":"Q751646","labels":{"en":{"language":"en","value":"Mechanical procedure for proof construction via closed terms in typed \\(\\lambda\\) calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177034"}},"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":"Q751646$01D54671-87D0-4C66-B66E-442C822DBBB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1d1d78671538cc4a752aa5b8e88d39d692e84e7","datavalue":{"value":{"text":"Mechanical procedure for proof construction via closed terms in typed \\(\\lambda\\) calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751646$7599323E-F418-400F-BA23-6F1228AE14C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"084dffb145d5a367f24dd2951ba3dda2c4302d6e","datavalue":{"value":"0715.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$A23456AB-11F6-47F2-B52E-C31A21860031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccdb72301f5fac771ce6a52c03a759e84cb32eb8","datavalue":{"value":"10.1007/BF00244393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$E1751686-1C93-4B4A-9803-24AA12B18290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751646$E8BF5FBF-68AB-43B6-ABAB-161DF174F313","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":"Q751646$9993FFE4-A7F6-4887-8B7A-43317003408B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q751646$52809A2E-627A-4B0E-8F8E-F3996C5AF364","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$45DF2024-7AD4-423F-9A8C-6D8AECCD7396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$285E16B5-8C6E-432D-905E-0481125CEC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$3F586FF7-49BA-4BF5-A5E1-265FE9B13395","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b8058a0d123dfd877fca02886dfeab362b92359","datavalue":{"value":"4177034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$82E383CE-6D64-4003-A2C8-ABDF724DDC45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q751646$4AC49B49-0812-4D35-A240-07DF68C0F30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9d0873acf6e278e08c9bc909154c7bd6cb9c50","datavalue":{"value":"natural deduction proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q751646$B63F3A8E-1017-445C-813A-FC62D22C43DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6030e259c9fe24b7ec8992bc5404d33e49ef0f8","datavalue":{"value":"typed \\(\\lambda \\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q751646$A7865781-D3D5-463A-A373-868A9B323FC2","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":"Q751646$0F23A24F-C432-4826-8631-93D786322243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e61c230718dcb05004d2c8f0de39862a5fb78c2","datavalue":{"value":"https://doi.org/10.1007/bf00244393","type":"string"},"datatype":"url"},"type":"statement","id":"Q751646$AA89BA72-8950-49A1-8DA3-6ED9D70FCD30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09ad0e9664e4b3846eddea6258614dd55104c762","datavalue":{"value":"W2078790484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751646$C6835FAC-899E-4DAC-9285-AAB59582CDBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2871b4c4c874fe2804121e802f4ed0e9a2feca1c","datavalue":{"value":{"amount":"+0.9084079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$B9DC3360-B872-4024-A8B6-DE0325B393E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ec5962389ea70c217d381c46c7932f3e263bcb","datavalue":{"value":{"amount":"+0.8960212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$340204E6-CA65-46BD-8F0A-6359C282E9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ad9b761e90089702a113a38f2a9717e02490b2","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dd21b89ad374dc8e81a9d314c187d8e09316f9","datavalue":{"value":{"amount":"+0.8954286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$FE1D57C7-C4F0-490D-9C56-F23EF92870D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c823de346a2b7d736753e957a1d38d0ebc577db","datavalue":{"value":{"entity-type":"item","numeric-id":2231698,"id":"Q2231698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c9d131223f58db449acddefc69ac42878adabb","datavalue":{"value":{"amount":"+0.89138424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$5412DCF7-5297-4976-A02D-7D4C1421E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3955d4a18f216a9a4a55d420e7f725d4bf97cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3795649,"id":"Q3795649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c3356635bc2d169b532e1fa6c2c0562f6700e4","datavalue":{"value":{"amount":"+0.8875741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$D3067A95-1CA0-4828-9E18-1ACED49A4638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5253d63068f0492e8edf6f9c1394dd180fa6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5327450,"id":"Q5327450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32551cded396a4b42c9b28d3f289308cbb38ca9e","datavalue":{"value":{"amount":"+0.8872701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$129C9D76-8E1D-42A5-AEC4-B995DFE5D88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c36bae1bb6603d3f79d85d3bc3cb03b5a55861b","datavalue":{"value":{"amount":"+0.8860349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$C91CC996-7DE4-4E09-8854-57BB55619AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1808051db42b14bb1fce2e5c2d793d40824a675","datavalue":{"value":{"amount":"+0.88112193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$FF5828A1-18C5-4B9C-9867-9973D66F3413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3eb91743ec83b041c7d0d037348ca1aee38dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4246947,"id":"Q4246947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dddacf15b4ffbf3feb7bd341245763e1740649","datavalue":{"value":{"amount":"+0.8776608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751646$2F2B9427-BE2D-469A-AA40-C68C4DD520BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical procedure for proof construction via closed terms in typed \\(\\lambda\\) calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_procedure_for_proof_construction_via_closed_terms_in_typed_%5C(%5Clambda%5C)_calculus"}}}}}