{"entities":{"Q2301323":{"pageid":2312066,"ns":120,"title":"Item:Q2301323","lastrevid":53674277,"modified":"2026-01-25T13:09:26Z","type":"item","id":"Q2301323","labels":{"en":{"language":"en","value":"Substitution contradiction, its resolution and the Church-Rosser theorem in TIL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7173014"}},"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":"Q2301323$3A501A09-AB4D-4B84-B794-C5F8142AFE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4819b593ca5a8576d7406efcdc912b3e95d9b29","datavalue":{"value":{"text":"Substitution contradiction, its resolution and the Church-Rosser theorem in TIL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2301323$B385AFCC-3740-4EDE-B0EA-33E6D2C93002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eafdcfcd320930e751ac8025f1c66501a68ef063","datavalue":{"value":"1484.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$B4C58A18-A344-41BD-88BA-AB8DB905C2BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac30012c24a290ba2a92d8df048639f74ded2b50","datavalue":{"value":{"entity-type":"item","numeric-id":1708961,"id":"Q1708961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$921EB6DE-1CFA-4774-800F-69328902AD37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$18543457-A98A-4476-81DB-5341507C7883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-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":"Q2301323$50B7EA73-F260-4287-A4F6-8A14EF58A837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$D11AE4B4-1366-4435-8ED8-77AC5BFE3DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$6D68B727-D785-4F3E-8A4F-1E01FC0F75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$D3521838-9F8F-4711-A3B4-0297606B7EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d08ef1b6bd16fa19cb72319143966a4f6fb8d27f","datavalue":{"value":"7173014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$EED85550-0D15-429B-9882-DA19965B7857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1c39e3c9f758021badef5506af203316a1d980","datavalue":{"value":"collision-less substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301323$47076181-CB3F-474A-92EB-32DBBD954175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bfb37ff3de3d96eec33fdcfc738d75b0f474c4","datavalue":{"value":"free occurrence of a variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301323$3BB24993-8940-4255-996E-42BD7A1BC6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb95de7587684cd023c177e048a5b25fa3b31ec","datavalue":{"value":"double execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301323$46C93357-449D-4B68-87CA-68439018AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dcee8e748daaf066266484b09343eb3cbf6cfd","datavalue":{"value":"\\(\\beta\\)-reduction by name","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301323$51D08993-B7B4-46CB-B9F2-A1F16AF9066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301323$B50CF3B5-BC58-4619-9607-31F40E1140B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$6CB8292A-32A2-4071-AFEC-64D5257A61F2","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":"Q2301323$DFDF4827-8C31-403C-A92B-8D9AEBD71690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"167a6849c3cdbbcae2ffac59eefa2b5b8a839228","datavalue":{"value":"https://doi.org/10.1007/s10992-019-09514-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2301323$47F5443E-CBC7-4021-B0BF-317CDC1546AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a1a3e4bb872163c5e90ea6d503dc84fa6fef3b3","datavalue":{"value":"W2946267073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$D5E71174-BB48-4110-9A02-E32FB647E52A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$5514C1D7-1BB9-4335-B05D-E4E4880C1385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$85B98DF0-4514-4412-9FB5-AF14EF80DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9c621289145389be4c5216ec9442d6665b7d8c","datavalue":{"value":{"entity-type":"item","numeric-id":600847,"id":"Q600847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$3CB12323-1ACD-44EE-A221-C141D0CCB613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4188e4adc39d938f7f753a7d31f5eaa4e9c4651f","datavalue":{"value":{"entity-type":"item","numeric-id":967450,"id":"Q967450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$99FD30FD-30F6-40A0-B5D6-2C6DA3606DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4464aba44aa6bb418fb6a101d460f063a4bb474","datavalue":{"value":{"entity-type":"item","numeric-id":3224007,"id":"Q3224007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$55AA06E4-88DB-487D-A193-766599FA9D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f252e8b0507d410a9feb3ea3dca1e928a7edfb","datavalue":{"value":{"entity-type":"item","numeric-id":4925174,"id":"Q4925174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$47EF3ECA-7B2B-4EA7-A1FB-1034628DED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d727263ffbf047fb7ae695aafedc923be847548f","datavalue":{"value":{"entity-type":"item","numeric-id":514087,"id":"Q514087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$C0AC617A-20EB-4675-9170-2B365246A374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78692a43ddc5134e5c6a93c5909f2b09fe6b52c2","datavalue":{"value":{"entity-type":"item","numeric-id":2052189,"id":"Q2052189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$111B95DB-181D-4956-A866-68F6A0FD4AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952f863c9c47e2c1f44749c184ef069ae16df7","datavalue":{"value":{"entity-type":"item","numeric-id":1150588,"id":"Q1150588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$C89A5FAC-AC34-4481-BB80-5E7650D76514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$4F1864E3-4AFA-4363-AEBF-66CAA7A505FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22852da944badc422321bbc2cb81277f3c187e14","datavalue":{"value":{"entity-type":"item","numeric-id":2377053,"id":"Q2377053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$ABFE3D45-B273-496A-87E1-405057E3820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41f6b568e1e3c9643a597df16358ef9cb639cad","datavalue":{"value":{"entity-type":"item","numeric-id":1708962,"id":"Q1708962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$E61AA55D-024A-4405-A71E-BC3C6C689C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341e3dd61395d2136440bc1f67db82e8f2feda78","datavalue":{"value":{"entity-type":"item","numeric-id":2301323,"id":"Q2301323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$3A96F544-D895-4B31-B97C-98FF450D1DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abd41d747ddb3dbe2ccb9ebc7b621dd443fa071","datavalue":{"value":{"entity-type":"item","numeric-id":3992728,"id":"Q3992728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301323$DCC46F44-5BFA-41E2-9B60-CBE1B6F7470A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e9bc21f06541086504abaf24953f885bd6be21a","datavalue":{"value":"Q127874056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$CD353D30-80D5-4572-9BD0-662BEAA21E96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e7950c67913fe9f6680a599d929391a72a1f019","datavalue":{"value":"10.1007/S10992-019-09514-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301323$E4075B01-B6F1-4588-BAED-57D3C05FDC55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f7b91791c249dd87af97880224fbe16b0a3165","datavalue":{"value":{"entity-type":"item","numeric-id":5862004,"id":"Q5862004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40911cef9ab23dc4559a283ccf09486575b98c5f","datavalue":{"value":{"amount":"+0.8015047311782837","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":"Q2301323$6B9C45E6-E95F-41CD-8A7A-84EE06CED523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62ce3e0e60e95da3ea23371f684b44ec8f6e1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5117597,"id":"Q5117597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103582a6fc3989a718cbaf9446f99e2d8eb0cc5a","datavalue":{"value":{"amount":"+0.7076123356819153","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":"Q2301323$CF69287B-F3CA-4E0E-AF24-E6A706AB3800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fd7a6e6a4ef285f2df704c31b602c368b157fa","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be75f41dbd2491e87013a9c09c7c093932d3e94b","datavalue":{"value":{"amount":"+0.6891211271286011","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":"Q2301323$034D7865-9977-469A-8A10-A2EA0E59A22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726f54955a136ebc9bcf3b5400a3a5302d90f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4888331,"id":"Q4888331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27961c0be8e59a261a9eec90a9176ac4d011649e","datavalue":{"value":{"amount":"+0.6882208585739136","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":"Q2301323$FA4207AE-3BEB-4390-9F5A-EFFE88084BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b6e4c2e9442a734a8121844fa3b7b07483581c","datavalue":{"value":{"amount":"+0.684480607509613","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":"Q2301323$DC612838-C692-4632-85A1-809B703B2E39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2301323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2301323"}}}}}