{"entities":{"Q1861541":{"pageid":1872283,"ns":120,"title":"Item:Q1861541","lastrevid":69141714,"modified":"2026-04-13T05:03:03Z","type":"item","id":"Q1861541","labels":{"en":{"language":"en","value":"Church-Rosser property of a simple reduction for full first-order classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1878506"}},"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":"Q1861541$8562FDD9-1177-42BB-B32A-41949CE1EDA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa5074ab19843a6c2914f1cdaf6d7e67f2b0c2fa","datavalue":{"value":{"text":"Church-Rosser property of a simple reduction for full first-order classical natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861541$F254901B-567E-49DF-8B9C-B9B6AD1DFB36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a268c19097f173d18ce3f85f3e47fefd4243fddf","datavalue":{"value":"1016.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$DBFA0706-E4E6-4DF7-ACFE-5195077968F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca46e13aa37e0d4f33ba18a27500137cf8e5ce6d","datavalue":{"value":"10.1016/S0168-0072(02)00051-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$844FEDC2-5D4E-4D22-B664-86BAD383FA84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0189c5c52ed855eb5208c5fdd37be5c78438d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1861540,"id":"Q1861540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$742FA10D-8B59-4F33-B6E5-4B05ADBD4D5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$074D8F10-CE77-4B73-BEFD-D12F6500C888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2585b4e1d731a09b5096d8b68316982ce988f7","datavalue":{"value":{"time":"+2003-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1861541$78ACFC47-F142-4072-9CE1-55B64422D6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$1ADCD4B5-C28C-49FA-B8F8-ABEDDCB7709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$A7928417-053D-4A41-BB9B-07C74696ED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$6E7734F4-FFDE-4029-B5E9-90826431D44B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57a3a694cb8585c439cbab5af9d58ea8ba51497","datavalue":{"value":"1878506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861541$72FECA73-5CC9-4150-91F6-729CB544FE25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92515333597fb2686ad23fd04c82bea6c2c67024","datavalue":{"value":"classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861541$A80085F6-0CBA-43DC-B645-C098408CE9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861541$976152FA-66A6-43AB-B3F1-EA5B18222265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f116b4bf156ca0273689fa9cb22ef1958b00b","datavalue":{"value":"parallel reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861541$33DF6435-DF71-4937-9359-476F3FA548B0","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":"Q1861541$684C5A2D-048E-4593-A4CE-098236C97655","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cadbbe9dbc04b1a29d3c16afd66252c0bbc9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$731FA6DF-C4E2-46E4-9CF0-01C8CCB6951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115adf875681b76e6e24dffcf58a246bfd7b0a90","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$0F936D2E-938E-459C-BA9E-F2806EBAF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$8DACA6AB-54E9-46A1-B88E-25218ECEE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32a72cda6b1d0bdf3cc028fa60c1186ae20d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4938597,"id":"Q4938597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$63871DC1-F640-4AE6-83E9-419AA62EAA23","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":"Q1861541$C476E7AD-2BCF-4496-9BDE-4933686E4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$DCD98E68-1165-4F13-898A-180D6E74090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$92D39355-3F8D-447E-9480-8FC926155994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$94761FF7-31FE-4F83-9522-8F0C63115E29","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":"Q1861541$E33CFB7E-D882-4BC0-8D62-4EA2A2C0A221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$4821F681-F205-404B-A0F9-84AADEE87694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$D32513C4-8EC9-4C03-8907-93221C904A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861541$7BDD3E9C-8D7D-4868-B2EC-F4C81C40C764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b171dde0423d3f48718f03aab437cafacf114a3","datavalue":{"value":{"entity-type":"item","numeric-id":2537972,"id":"Q2537972"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$4487E823-2791-4E96-B429-920F409AA6E5","rank":"normal"},{"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":"c617d3dba3cf3f1bb2946f7186d8d9b7e022ba18","datavalue":{"value":{"amount":"+0.88808376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$C136266E-D77C-4461-9487-484484B8317C","rank":"normal"},{"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":"ddfb8852fe13e6b5b9797982ce8a9cd153c401da","datavalue":{"value":{"amount":"+0.88680863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$E977C1FE-24E9-4C8B-9181-E4DD7740F931","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":"d36cd5fcc8ae215305fd52378816653f23543581","datavalue":{"value":{"amount":"+0.88632524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$80AF411C-C5FA-4720-8FC0-77C5C06B7D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9939204a1859bf5538848b20d41c5cc623c9d8e4","datavalue":{"value":{"amount":"+0.8658695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$0B1FFF12-7AE4-4862-8918-4CCE3C5691A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d7c54942570d756d05305083ac6b2a1778a47b","datavalue":{"value":{"entity-type":"item","numeric-id":2782478,"id":"Q2782478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68763e27758abbbc54184e928026d1aa97fbf2a","datavalue":{"value":{"amount":"+0.861975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$A8A0B8BE-AB7F-4BFD-BD4D-C71B477D1EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0acf1f80397b88ba2f1432551df93f4f216819","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14668e826a55430298371cc61731f34de991f9d6","datavalue":{"value":{"amount":"+0.8581058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$9B757EAB-56D1-440A-986E-EC7047B5DE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28069bf629f24e37acb80b97f6ba07029d5decc5","datavalue":{"value":{"entity-type":"item","numeric-id":1884882,"id":"Q1884882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d70c587ac718c98b0de5ebfdddcbb400df7cb54","datavalue":{"value":{"amount":"+0.8559745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$2BCF6CA2-6F9F-487B-868D-7FF36D87020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f2ccb4a20af1553a5189ad56d5ccf590903a4","datavalue":{"value":{"entity-type":"item","numeric-id":4031104,"id":"Q4031104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ef56d175b63dbe2dc8c5c4608427fb2eeb3417","datavalue":{"value":{"amount":"+0.8540626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$0EE8872D-7E73-4D48-BDAE-8E5B1A7E9B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa27baf8d0cd56a5108e879ab1d690c5932be8a","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c6a67d3ae6e6418508dcfab33bb6149a2ec5db","datavalue":{"value":{"amount":"+0.8528892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1861541$457B9654-D3AD-40B2-B5EC-4AA6C0D06535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church-Rosser property of a simple reduction for full first-order classical natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Church-Rosser_property_of_a_simple_reduction_for_full_first-order_classical_natural_deduction"}}}}}