{"entities":{"Q5718674":{"pageid":7748228,"ns":120,"title":"Item:Q5718674","lastrevid":101639399,"modified":"2026-06-06T01:53:46Z","type":"item","id":"Q5718674","labels":{"en":{"language":"en","value":"The Church-Rosser property in symmetric combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247426"}},"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":"Q5718674$44C83A74-CAD7-4B0A-B763-C80B98A1D0CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d52e19e6cf7892d432afd1f3ee6006b03e7f173","datavalue":{"value":{"text":"The Church-Rosser property in symmetric combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718674$FDAF22FA-7850-4AAF-AAB5-53C51706ED98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d9e7a8093ff87b8a811332b1279512576ff9658","datavalue":{"value":"1090.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$D79430B0-BC21-45D9-9251-2EAFCC0465B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$AF51BE64-4114-43CB-8D56-81EE8330302A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$A98633E1-8D5D-458C-BB9D-D619DE54E00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718674$133C3D35-4031-4951-8BC8-1279A41DF019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$A18A54F5-6A3D-410F-A16B-69AAC3295FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$515793C4-3E81-4354-B57A-8399B58C6012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dbbd407c49922730cadbeda39d9821c96e6800c","datavalue":{"value":"2247426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$6539D234-2607-4375-A1E7-9BE48306C15E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9d08dc79fb12821b14f8546ad5279acca7680c","datavalue":{"value":"symmetric combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718674$AD94BB07-7D11-430C-80CC-D6ACDCC9C9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718674$A9ABE3DD-1B0E-43C8-9C64-A470199D094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae05d8a8a795da0161392a31ef807624cd5487ef","datavalue":{"value":"dual combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718674$D4B41C0A-7F38-43DB-8656-B946A53DDF03","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":"Q5718674$25D95A44-F7FA-479E-9E2C-EADFE248D69B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b87fc0b86147c3c8c68b6851c7d649364d415111","datavalue":{"value":"https://doi.org/10.2178/jsl/1120224727","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718674$EB968FE8-CC9C-40AB-8AA2-8DF39E3545BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fc8feb671bbae0a20898ee038443b6444740778","datavalue":{"value":"W2153418127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$F8373BD3-9640-47CB-94F8-DE38F830CB3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4c78aa704e79822baadd5dd331a7e3f4735a85","datavalue":{"value":{"entity-type":"item","numeric-id":1826434,"id":"Q1826434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$C686EB6D-C407-4F38-B046-DF5C8296CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836293abb8e1c53c40d7df3928747846cca7a705","datavalue":{"value":{"entity-type":"item","numeric-id":1595916,"id":"Q1595916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$2D7D0BF8-A3CF-467F-AA9D-27E5EEC25E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$6DD8E074-33C3-4194-B9EA-789081E4A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2f4e81c47be984cfa5fad230c50c81abfd3586","datavalue":{"value":{"entity-type":"item","numeric-id":4309515,"id":"Q4309515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$9DA9241A-6D7E-4142-A59B-8078EA3B9BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$2B88F963-950E-4397-99CF-B3DF26283FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb0f4970713af3a07240b638894a0fea91a446","datavalue":{"value":{"entity-type":"item","numeric-id":1840145,"id":"Q1840145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$B120762C-15DD-420E-BC74-D113B10432E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c964cc87f4cfb7b3c59df0140fa3c325afe73c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5590805,"id":"Q5590805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$9BCEB39B-AB16-46D7-9274-F19F3F2023DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$3E06741C-83B5-4BDC-8445-BE54F7F25869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$E40B94A0-48BD-485B-B0DF-364AC5C3D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718674$75015CAE-D94D-4348-8954-141FC1C860F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3e3c1ab2fd69fe24bec40c20a2a5187fd154c3","datavalue":{"value":"10.2178/JSL/1120224727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718674$34866CA8-E470-4C5A-B715-B77E3F6C8FB1","rank":"normal"}],"P1643":[{"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":"0d68b0956ac4b55ed0884f08da464ec9589b06c9","datavalue":{"value":{"amount":"+0.8678167462348938","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":"Q5718674$1AC62A19-795A-429B-823C-771646AB5E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c3871766fcb337d96f56acb6a568f83d6123d4","datavalue":{"value":{"entity-type":"item","numeric-id":1595916,"id":"Q1595916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218cf6171f264f2f95e5d7a55e0d684544a1a4d6","datavalue":{"value":{"amount":"+0.7951102256774902","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":"Q5718674$65D994DC-DD78-4EBB-AFA0-3C5FE83BBF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02871bdca13c10a889d09f63b1518ab563361267","datavalue":{"value":{"entity-type":"item","numeric-id":4884898,"id":"Q4884898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218cf6171f264f2f95e5d7a55e0d684544a1a4d6","datavalue":{"value":{"amount":"+0.7951102256774902","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":"Q5718674$6CD12255-936E-4CBF-80F9-25A2235DE115","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":"e470afd45579051095128591fdf8595e497017db","datavalue":{"value":{"amount":"+0.7758387923240662","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":"Q5718674$27F93672-CC93-4354-A6C9-A6FBF87C437A","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":"7294b85ad87edf04d4c580599b9d7501fae22b1c","datavalue":{"value":{"amount":"+0.7677373886108398","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":"Q5718674$D748151E-1E39-4C5A-B8AE-09AFFB452EC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Church-Rosser property in symmetric combinatory logic","badges":[]}}}}}