{"entities":{"Q5178963":{"pageid":7208535,"ns":120,"title":"Item:Q5178963","lastrevid":52227113,"modified":"2026-01-21T05:05:17Z","type":"item","id":"Q5178963","labels":{"en":{"language":"en","value":"Simplified reducibility proofs of Church-Rosser for \\({\\beta}\\)- and \\({\\beta}{\\eta}\\)-reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416475"}},"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":"Q5178963$0C48C29D-E899-4DDF-8DE0-D89F86B0B305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e61d8591ac339477250aa7889f4097e5ecb27243","datavalue":{"value":{"text":"Simplified Reducibility Proofs of Church-Rosser for \u03b2- and \u03b2\u03b7-reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178963$457781C6-7128-4F20-A427-8C283416E4CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4decc4517784114de70185bf1685811a3368117f","datavalue":{"value":"1311.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178963$C1D1CA46-9E46-4BC3-AFBF-5E0C365CB1BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$BD167C49-AC22-4A66-BC5F-48F85A95E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e04c8c2512ac0b5c5096b1f636df023ddd07c2","datavalue":{"value":{"entity-type":"item","numeric-id":507362,"id":"Q507362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$30C67A17-80BA-4209-8A78-0DEB844F8029","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$9C52A03D-FE56-4C86-96E4-CEA576405940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178963$90C797EA-A0D7-4969-8656-86270DDAFE35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178963$5CD270FD-14CE-464A-B666-400817A3653C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e23519951b0b04239b037467916f3bc296749571","datavalue":{"value":"6416475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178963$8CAE1B48-4DC4-4C7E-8493-F4824BFC2116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178963$D3A38C08-35A9-4C5E-B510-52246B4A86ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178963$E42084EA-3478-466E-8AF3-6365B07F958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc51b4108db4d75afa89533cac62adf690c1421e","datavalue":{"value":"parallel reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178963$B4A77B78-1ED9-469F-9DDF-3B554F17FD66","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":"Q5178963$B7AC689F-888E-451F-9977-B384D2F75F41","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":"Q5178963$ACE272E6-1F2E-40E1-BBFA-894D3B3AA42F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fca9b29318e9cff4bd1dc12173f4720393f5559","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178963$CF0FA93C-A489-432F-9E7A-C25EFD47722B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96e47890b8c429e51fcbb43a9548494d86dc551f","datavalue":{"value":"W2145099604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178963$A7627B7F-1BCA-4193-90A0-72B674DCF910","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1660b7d13bb5eb3a6258d8b6b50beb2ab5a3654","datavalue":{"value":{"entity-type":"item","numeric-id":4182476,"id":"Q4182476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$B5589723-83B5-4DD7-9166-F9F544BEC423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$DE5C7339-35A4-4113-A575-55055D7651AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b55ad4ae884873664dba1bb8bdf04743ad4259","datavalue":{"value":{"entity-type":"item","numeric-id":4038654,"id":"Q4038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$27012F34-8B73-46CC-99CF-A073C1096036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$C290CECB-B54A-40B9-98EA-C27725438EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$AE796AC0-021F-4404-BA67-CB78A2E226AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c0573cdbc9ef2165dbf33729c74dabc644629b","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$5195587B-4B97-403C-835E-10205023A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a80d1e65c61c7146b7cc0db8785b867f59c04","datavalue":{"value":{"entity-type":"item","numeric-id":4168908,"id":"Q4168908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$7FB2E4E8-C34C-4F07-8259-A46E7B481702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ef52d638e0fc0e9bc4e9919bada5277d9225c2","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$B640A712-0D74-4BC9-911D-DE4DAB7CA3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$1EB4054D-42E0-4946-941C-8563CBDFF992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa3906478d71e95059766c5ac8c419b28304833","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$53BF7A0A-B62E-4A52-962A-6DEFD791B843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513f87833b0816a92a5735b739fb15f6b026e20c","datavalue":{"value":{"entity-type":"item","numeric-id":3629238,"id":"Q3629238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$CE6F84CF-A77F-48A7-B7CB-0EA67F44C9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$4CF2DEF4-9FDB-45E6-9C5C-D1A631100224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$040401B0-6549-4F16-94BE-0789799A2399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$2436AD17-6FE2-4455-9302-ED91B5877963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e8926cf4c76489d22094514896f7168cc77887","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178963$A32049BE-CDB2-4944-8D4F-31B2FD08D533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5acfbddc97a68a4deaf0cf6bc6e1fa7d925a6e6","datavalue":{"value":"10.1016/J.ENTCS.2009.07.050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178963$CB9FB275-4BCB-453E-8498-A8A3A2F94214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfa543974e8a53e61b420d9463a9b977e04b868","datavalue":{"value":{"amount":"+0.8250873684883118","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":"Q5178963$37885FE7-7727-45ED-9CA2-966B1A263BAA","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":"660702b5719d91001c59e5d267aeba0cb85a47f3","datavalue":{"value":{"amount":"+0.8142150044441223","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":"Q5178963$B78DF12F-B75D-4299-8CEB-587C2B580173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0190520fa2743f61ff31ee964056053f299867","datavalue":{"value":{"amount":"+0.8137984275817871","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":"Q5178963$CEBAB4B2-4590-4CD0-AD65-90DFD91B7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81bce5a2e732ce4597f77ee4cd8a8ee5be58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a30e98d4ce28cc83d3e954971e3b53e06ae7e96","datavalue":{"value":{"amount":"+0.8112161755561829","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":"Q5178963$5EE972A4-0FD7-4E8B-829E-5C2B6787DC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7618e6f66afcf96a1e28494fa6a03f1bb69c1306","datavalue":{"value":{"entity-type":"item","numeric-id":3629238,"id":"Q3629238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303d88585250d63700dc102b8e20f990184f2847","datavalue":{"value":{"amount":"+0.8042922616004944","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":"Q5178963$2D1719EE-08A6-4B7D-AD2E-57DEC04E319C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178963"}}}}}