{"entities":{"Q4457728":{"pageid":6487327,"ns":120,"title":"Item:Q4457728","lastrevid":48262540,"modified":"2026-01-04T04:00:55Z","type":"item","id":"Q4457728","labels":{"en":{"language":"en","value":"The Church-Rosser property in dual combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2061948"}},"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":"Q4457728$A2741E09-1467-4ED0-B5E2-979CD27E058F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26e48bdd8843cd0ca0120fb5ac97f594fcfb3267","datavalue":{"value":{"text":"The Church-Rosser property in dual combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457728$E37B2F41-5A78-408B-B9DD-F292B2284E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b661eeb0a002945e603ebd4b167c8e0f345649d6","datavalue":{"value":"1045.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457728$9B5E4172-8148-4426-99A2-AA951505A79C","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":"Q4457728$16A83ED5-3439-4547-99B6-2477326C8409","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":"Q4457728$CB0A87DC-CBF7-45DE-B3D1-66DA54BAF780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389b767007343732466af50d3ede33c114d8b0f3","datavalue":{"value":{"time":"+2004-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457728$25A627EC-FE5B-4CE1-A9FD-0994186C8964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457728$D9F6110F-C5CD-4873-A4D9-962F399D198C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ce2728c9dd7efeb4e44f4315e264f804cf3edf2","datavalue":{"value":"2061948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457728$DC13CDCC-698F-42C1-A8C6-465ECCECE7AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db599a54ee4377ddd57dba20105ed739773e8452","datavalue":{"value":"dual combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457728$C07276DC-B0CE-47D4-8DAC-D0D6830288CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457728$2FE5A6A2-3CD7-4BF3-A7BD-380BC768EAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457728$EFBE47F1-599E-4FC8-AA6B-7AA5DDC05261","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":"Q4457728$8612A976-7CB1-4174-8F93-CBF74B7CBA4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d81526fd9afd157c62fbc3b5490e482d21e43a8","datavalue":{"value":"https://doi.org/10.2178/jsl/1045861508","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457728$52CB4F51-5B67-4930-9D78-E632CB431775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2786c476b18bfe24b7cfc2d481ba020cee1be939","datavalue":{"value":"W2026765907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457728$379C999B-6BD3-4439-9D47-04FD055FE8FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a70c139089a2132580c4a82d76d6052b537cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457728$DF58B754-82F2-4E2F-B88E-318052D24095","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":"Q4457728$13A2DBEC-B4EC-49DF-8C58-D54E1B3445C2","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":"Q4457728$83B63873-8522-4D00-917A-E59C53688DF1","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":"Q4457728$AA16035F-1980-4CCF-9FEF-E00D1C1F8E4F","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":"Q4457728$47DA5F3A-8945-4A03-9E3C-DFE2A2531618","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":"Q4457728$5B7885EA-A687-49DD-9F5D-F242D90EA0F9","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":"Q4457728$8A84D345-5908-423C-AD5C-8294BC932E9B","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":"Q4457728$404F7200-1F71-4838-B1F6-D13539EF0643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4a98facc7c4ddf393bd71adc1431cca55ef1e8","datavalue":{"value":"10.2178/JSL/1045861508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457728$C3A62205-5752-4640-9481-0DDD2BA7EFA5","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":"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":"Q4457728$852373AE-B778-4F69-B6D0-B1DEA89695D3","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":"1b39febe178e4d46d5db4ec2dc90b6e1eeaa9ea8","datavalue":{"value":{"amount":"+0.8480468988418579","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":"Q4457728$CEB43D40-6040-4430-B11A-A87EB3F9F2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b39febe178e4d46d5db4ec2dc90b6e1eeaa9ea8","datavalue":{"value":{"amount":"+0.8480468988418579","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":"Q4457728$A5EF2D03-AC32-4EC8-AD4D-6C7AD0D84132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a2e66ee80a86ee09578422e25f092503e5dc99","datavalue":{"value":{"entity-type":"item","numeric-id":1826434,"id":"Q1826434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5c23650797746b2598c2de940ea12591444c32","datavalue":{"value":{"amount":"+0.7500926852226257","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":"Q4457728$A23DE269-8A73-4AB1-978D-1EFE869524CC","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":"72c1e2703e518e0e624962ffa8b47784a201ece0","datavalue":{"value":{"amount":"+0.7315605878829956","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":"Q4457728$177A68FC-313A-490F-80CD-B36EF133FF4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457728"}}}}}