{"entities":{"Q2537972":{"pageid":2548715,"ns":120,"title":"Item:Q2537972","lastrevid":44300544,"modified":"2025-11-21T20:07:46Z","type":"item","id":"Q2537972","labels":{"en":{"language":"en","value":"The Church Rosser theorem for strong reduction in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3304063"}},"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":"Q2537972$5CEB0BE5-283E-4EEB-A426-63D3C2FD7606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7241789cba545feb261d78a5438334794dd3fef","datavalue":{"value":{"text":"The Church Rosser theorem for strong reduction in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2537972$2D11C4D9-8A37-469D-A591-7D8EA77D541F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9a08945f6e6b08c73611a4ad53adabab83e4dbf","datavalue":{"value":"0191.30803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537972$23358A6C-EE89-4D06-9E41-DB50B8F8F718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862ca92653282bd1aa2b20b0de09bfb9189db4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2537971,"id":"Q2537971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537972$BC32968C-41DB-4ABD-9C7A-51C8410D794D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537972$F1F694A8-76F1-42F9-B72B-ABBD602484E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q2537972$C06BD2D5-86EF-4FA8-B92A-AF2084032FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537972$97DA7FA1-C29D-4199-B083-38A9EA357ED4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ae575d8354b54f14ea049f9a662321f84106b3c","datavalue":{"value":"3304063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537972$7DA73DC7-2D1C-41C3-858D-342EDAAE7CE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537972$F1ED66C3-BB8E-4B06-B388-CCECD9DEBE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537972$234F44F3-E4F4-4BC7-B023-9D6F71981306","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":"Q2537972$AFE9D0A4-79D3-45E9-B496-FB4048712363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7100c71c4675135013011743877cc7afbc67fa3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893514","type":"string"},"datatype":"url"},"type":"statement","id":"Q2537972$392A322E-63B9-4A04-A7A6-960472E5AB23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"624d44a1f18f8c19ba107b567390cd396f27c00f","datavalue":{"value":"W2041732871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537972$D6F9EB06-5F1B-4CF0-99B1-FFE710C0C030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67bd76535a96236aaddb685fff0339c364226b05","datavalue":{"value":"10.1305/NDJFL/1093893514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537972$5F222C66-060B-4BD6-A40D-25F103C443F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973595157d4a9c973debdd266ea66471d4416593","datavalue":{"value":{"entity-type":"item","numeric-id":5718674,"id":"Q5718674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ae0e9e17832a00b45e11886e06756bfb90130e","datavalue":{"value":{"amount":"+0.9252604","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":"Q2537972$367B55F9-D7AD-4C49-BD25-63C74C50DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb66796ebb5d6fd026e0d576e50220ff0462de6","datavalue":{"value":{"entity-type":"item","numeric-id":4457728,"id":"Q4457728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401097962b238a5c391674d1e94bcb724741018b","datavalue":{"value":{"amount":"+0.9198166","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":"Q2537972$E8D6D29A-4FED-40F1-A28D-8F416D904185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d64687aa946c7fa90eaf824850c8ba0f9b9255","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af98c8c324045766210b74f3a719de6f35048352","datavalue":{"value":{"amount":"+0.9118742","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":"Q2537972$499AACCB-0099-4571-81F3-9FC9150CD99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1660678c46b292a1a0bc2b68c671ba6303ea2076","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db5f2925a3028be018238ee4dae6b10c16c0975","datavalue":{"value":{"amount":"+0.90850735","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":"Q2537972$C0CC91D2-2E4B-4C20-96F3-CCCE99CC814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a236635be5d58b1daaba90b0ae04d9f0b68760","datavalue":{"value":{"entity-type":"item","numeric-id":1119562,"id":"Q1119562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84739f3e36f3b4db08d75f1fb1d54896a881fea5","datavalue":{"value":{"amount":"+0.8944769","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":"Q2537972$07AD064C-098C-414B-AC75-773C110A0650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba6d27ac028dc305b8216dcfa65e5505b8e17d","datavalue":{"value":{"entity-type":"item","numeric-id":4415087,"id":"Q4415087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07d87040def41a9873411a924cd6c883dce9f47","datavalue":{"value":{"amount":"+0.89261556","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":"Q2537972$90A4D31D-A578-43D9-A5EE-E4B1EB6C4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4746182aa0cb64cd36ae8d16e16de315efe1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5532527,"id":"Q5532527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721bb8d959a9ab41e936ad869c462d593b0e5242","datavalue":{"value":{"amount":"+0.8904969","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":"Q2537972$7DCC1426-A82F-402E-939C-840314BB9F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c51c626c86149b4fbeddc5ecca32d8b9e0958fb","datavalue":{"value":{"entity-type":"item","numeric-id":2539218,"id":"Q2539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a841bae0ab085995984611cea24de9f1029dfc1c","datavalue":{"value":{"amount":"+0.8840039","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":"Q2537972$A3D95639-52C0-4197-80C9-C50DB7EB43F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e02b3cc24625cf87a05a31325a290f1582c935","datavalue":{"value":{"amount":"+0.8799567","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":"Q2537972$1D906AF9-A5C3-4429-B830-F2AB3D724D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf2fab5b363b105785b75a93ff3c3004c472786","datavalue":{"value":{"entity-type":"item","numeric-id":654911,"id":"Q654911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d497dd4ca3de4dcfa0885e768745aac43ac782c9","datavalue":{"value":{"amount":"+0.87132245","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":"Q2537972$D89EC85F-8128-464B-AA40-9CADF66A9973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2537972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2537972"}}}}}