{"entities":{"Q3201045":{"pageid":3211753,"ns":120,"title":"Item:Q3201045","lastrevid":49440556,"modified":"2026-01-07T04:04:54Z","type":"item","id":"Q3201045","labels":{"en":{"language":"en","value":"Remarks on the Church-Rosser Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177050"}},"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":"Q3201045$5A0225DE-321D-47B8-8F38-A818DD21EC0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5f012eb90f0afefcb236b8ed090c939c720cd53","datavalue":{"value":{"text":"Remarks on the Church-Rosser Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3201045$86245777-C7DE-420F-AA13-C77416703904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8f90b3891117876692c6c59ab2f2f682d94bc41","datavalue":{"value":"0715.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$9F496EA8-7B15-4286-86DD-A2D989CEB6CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1cd82ed9f1fa9dc271f9e2c18c6dcbbdade196","datavalue":{"value":"10.2307/2274957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$5FECCEFE-A411-4EF6-B149-A1850CFDC82B","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":"Q3201045$DD89F067-A02C-4216-ACE4-B603799C6FFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3201045$66B4362E-F109-46BE-ACC9-D4B5FE5896A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$4EBEF775-31C8-4881-AF05-3F5801492E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$2F5AA3B6-825C-47A5-94E7-8EE578BE1812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$A8F4242F-53D0-49FB-9082-F5B90EDF77BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6617e9329add4c7601aaa329779e5132109df45","datavalue":{"value":"4177050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$0DF829CC-F28D-4C82-9649-82CD5CC28C06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$0C768098-F993-4441-9CC9-A21E9CC4B08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$9931B1D3-A38F-422C-B7D8-B315EB275EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e97d3f3919ae0fd5debcf4a9d7b48881cd0a457","datavalue":{"value":"reduction algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$2FB4B12A-03EA-4BDD-A02D-868F55F7448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908ade79e36bdc0537413b837bcdff211778cdc3","datavalue":{"value":"Church-Rosser Property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$AAA244A3-CAB7-4B2B-8D1D-1B3359C61D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8552ed5ef57af9d1df77d607a7e2d14211b92f94","datavalue":{"value":"semi-computable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$447BA004-59CA-421E-9D8A-04018EA7B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12825458117fb2498097ac7b1d9fd97d7acbb0fd","datavalue":{"value":"strong normalization theorem for the impredicative second-order intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$37BF8E3E-C16F-4369-A488-6E1F95FE985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201045$B1529583-7B4B-4541-AFF6-B261C98AFBA7","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":"Q3201045$787662CF-FB33-478E-8DAD-E830D1B86353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"401126a29a6aa8eb5c22ba9bc38e0b461a0debec","datavalue":{"value":"https://doi.org/10.2307/2274957","type":"string"},"datatype":"url"},"type":"statement","id":"Q3201045$AA732469-7D4D-4ACF-A67C-163955B541C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bda83cb3b6133606ca6fd05f5fabedd192e8d2a2","datavalue":{"value":"W1971586424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201045$C2C85D0B-6440-45CD-8F0A-FF8531A3ACD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201045$1042766C-4D36-4D8D-8C72-F11F850C162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201045$01646001-BAC3-44A1-B9A4-065DD7055272","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c5abe198bfffc2e27965724acf237116b2d052","datavalue":{"value":{"entity-type":"item","numeric-id":3365447,"id":"Q3365447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56600f3ee444569357672d5b541c68ef185a1f5b","datavalue":{"value":{"amount":"+0.8241069316864014","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":"Q3201045$785CBE8B-890C-4AEF-A852-AB0515A7D62D","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":"ca2fc3eb557e7b4a5e46b71c1c8506ffc24d16e5","datavalue":{"value":{"amount":"+0.8014004230499268","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":"Q3201045$EF8B5F64-C56E-4B7B-B71E-3DD23B74B949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f29af4044ceb1ddebebc183cb78a28de1c32e5","datavalue":{"value":{"entity-type":"item","numeric-id":3478392,"id":"Q3478392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1da5a37f3fd6e9a9de76b45ed576651059447b7","datavalue":{"value":{"amount":"+0.7974689602851868","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":"Q3201045$2EA3FAB8-0863-4B98-803A-7F39CE39912E","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":"49c8166ad43b742d3dee2308235acefd6b7480ac","datavalue":{"value":{"amount":"+0.7926715016365051","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":"Q3201045$AC048355-4ADB-4D5D-AF16-3A38DB88D3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993d637a754732a387d0cc84a2ad3fa0628279b6","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f548a38d847807ef646e8605984b14526737203","datavalue":{"value":{"amount":"+0.789797842502594","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":"Q3201045$1B968963-E369-4F52-AD78-811F3C774009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201045"}}}}}