{"entities":{"Q853738":{"pageid":855586,"ns":120,"title":"Item:Q853738","lastrevid":64842567,"modified":"2026-04-11T22:36:15Z","type":"item","id":"Q853738","labels":{"en":{"language":"en","value":"Mechanising \\(\\lambda\\)-calculus using a classical first order theory of terms with permutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073693"}},"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":"Q853738$2EB98FD4-C465-442A-966F-2F11D9ED7A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ae66cd980004201c98c38382e725fd5fd05ccea","datavalue":{"value":{"text":"Mechanising \\(\\lambda\\)-calculus using a classical first order theory of terms with permutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853738$58FF3670-2E11-414D-A01F-C31C96DD5D9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fffd189b7f5d9eb8d770116469a07cfba7b5db","datavalue":{"value":"1105.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$E9CD472B-26C3-4BF0-A62D-752551E03501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$0481D3D3-F230-4877-ABB7-C417FFFECF45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$E3C8C5A3-A79B-438B-8874-5C4D501B9D33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-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":"Q853738$499FE410-C604-4551-841B-2A4F42F60428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$97BF684E-B1CF-4D2F-BD34-87F7F8748AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$D55C1891-9150-4E08-90F5-CD48B7C19B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$344622B8-56C2-438F-8325-F7EFFB1D9B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e851a6d76cf72ae46b0da36393c73eefa867d075","datavalue":{"value":"5073693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$F57C98B9-1E32-4644-A962-E6BE20DF2FA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932c78fe7b26ccaa4aa13c81d8cc6d1d878fb608","datavalue":{"value":"Barendregt variable convention","type":"string"},"datatype":"string"},"type":"statement","id":"Q853738$D708D1C3-4559-4AD2-8917-1B534A904E68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$A17710B6-75CA-4AE2-A288-C0D77328EE58","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":"Q853738$A38D8C69-CE9A-4ED4-847F-1F603CE47172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a711a4911effa38c934e2862a4dbe3c9e3d10940","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8745-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q853738$0AA85102-A77B-43E6-B28F-5A277293E63D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8acb5f63af7c72f8f18e22671e9cf05975a5d194","datavalue":{"value":"W1981019433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$2C7B5BA1-AA4B-4428-B1DD-A8A56DE29F74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff630e3c1b7657cd6a825eab62ba0fd151f65cf","datavalue":{"value":{"entity-type":"item","numeric-id":4484329,"id":"Q4484329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$203CC65D-28B5-4DE3-A104-995E5B0566DC","rank":"normal"},{"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":"Q853738$16931AC0-6CED-4DE9-BC40-1EDCC901FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dceaeb69355189fc068eb986132da2a3b9a2d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2703747,"id":"Q2703747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$8FE1D04C-73C6-41B5-B1A7-953B8EE8D5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfa03243a2054bd4f235a087a94a4a53de67e38","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$FDA6E50B-E660-46E6-B6CD-C4141E15475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c55f09c39173f168f9ee166ab49eb8e620c679","datavalue":{"value":{"entity-type":"item","numeric-id":5477651,"id":"Q5477651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$55C9D422-E8C8-4856-A88E-803ED4F48143","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":"Q853738$5649034F-217C-4A47-8764-40FE536F2EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2819bd996a82604201d8aab0900cbc265825a6b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369295,"id":"Q2369295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$FFD73D47-2968-4A9D-8093-102A010549B3","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":"Q853738$F9B65EBF-59D5-418E-B264-F10E9EB6798C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8d5484c75fe2a14b4f198a80db5c6efdf1db82","datavalue":{"value":{"entity-type":"item","numeric-id":5464650,"id":"Q5464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$0A3E4F75-A6EC-44B0-914F-B9FB83D76218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f3d1ae30c91383ada80e5423ca9f4c05b9f2dc","datavalue":{"value":{"entity-type":"item","numeric-id":5277759,"id":"Q5277759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$C78FC4B0-6103-4A70-829D-F7312381732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$DD6DD0C2-C046-4BC5-A938-BBCDA445D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e1365341732707db78e2f406f65b5550e9977e","datavalue":{"value":{"entity-type":"item","numeric-id":5477644,"id":"Q5477644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$13C95736-2B81-4558-ABE4-A4CB0D3B5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$E490F6B1-D620-408F-9334-D2000749D48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$787ED8D2-95B8-40CC-ACA0-16A59E3C225F","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":"Q853738$350AF3CC-B890-403E-986A-0A62F3404C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77123470f85647e0dd689e0abba63b0d33f9f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":2841232,"id":"Q2841232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853738$C0D945D7-38E5-4956-AE00-829865CD871B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0084b8b4fe37997971dcce4d165bee6866866fcd","datavalue":{"value":"10.1007/S10990-006-8745-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853738$96B630E7-32B8-4657-AD34-134D930B55F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbdc6542d2cf953da88e7f6b4554d455ec1735e","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f2d73e733ed1fe8d04b4cb41226cf6cafa1e65","datavalue":{"value":{"amount":"+0.9072","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":"Q853738$30810218-1630-47E9-91DF-A7F96D8195F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50650a7fc9d4335cb655ce99d0d89d15f67eda12","datavalue":{"value":{"entity-type":"item","numeric-id":2841231,"id":"Q2841231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c02fd65cb57403f4f2acef432b58c3387183efa","datavalue":{"value":{"amount":"+0.89530414","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":"Q853738$866BBFC7-4DF5-404D-828B-9321D118D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6695b68d6f12741250252b207a716da23834eecd","datavalue":{"value":{"amount":"+0.86170363","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":"Q853738$B6A06F37-350D-4697-B469-31BC231000E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67723b2a1ea63083a5b430791ed62b73ffec15b","datavalue":{"value":{"entity-type":"item","numeric-id":3599179,"id":"Q3599179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df28812ed85a83fd1d99453e15c0df80ee660932","datavalue":{"value":{"amount":"+0.8610593","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":"Q853738$6A5F4C86-D2F7-4CDC-897E-F64DCA6884FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a885762a0dea866ecaae8969db5ac5ec05192fc","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023b79f9b30e96956b854a015b8fbd72f2dc0e97","datavalue":{"value":{"amount":"+0.8601111","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":"Q853738$385CF5D3-D36D-465B-BC04-F9939F67DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a995a017df516f28c0efda64918b17dda41f69","datavalue":{"value":{"amount":"+0.8600155","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":"Q853738$9B8A5783-EFAC-448B-8AB2-1A9EF15F9190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c22c34cfae63b7ae2717e914adf68b2828b511","datavalue":{"value":{"amount":"+0.85875165","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":"Q853738$2C295834-2CAE-4C3F-87D4-DE0D9D8D122E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd36c4ef364df121f76ddcb51fef9f536c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aba73e7244ce9f59aa961b8ad338842b741a14b","datavalue":{"value":{"amount":"+0.85559845","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":"Q853738$D1088DC3-40D6-4F4F-8FE0-32FD35BD1FAD","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":"d3de405adaf7f9e02b8ae40f4185df591c57ae06","datavalue":{"value":{"amount":"+0.85475564","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":"Q853738$C7C4109C-032F-4CBA-AD1B-2F20DF9202F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b468d9befd0c796b3e5a7888f89b276f3ddf6ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5899101,"id":"Q5899101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f91681e3b4f8388d65ae9d072681c2e256d4b04","datavalue":{"value":{"amount":"+0.8522765","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":"Q853738$3FA2E711-5693-4685-88AD-0B2570A74A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanising \\(\\lambda\\)-calculus using a classical first order theory of terms with permutations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanising_%5C(%5Clambda%5C)-calculus_using_a_classical_first_order_theory_of_terms_with_permutations"}}}}}