{"entities":{"Q631758":{"pageid":633606,"ns":120,"title":"Item:Q631758","lastrevid":57106941,"modified":"2026-03-26T16:01:35Z","type":"item","id":"Q631758","labels":{"en":{"language":"en","value":"A short proof that adding some permutation rules to \\(\\beta \\) preserves SN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865587"}},"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":"Q631758$14F9A80B-7ED6-4F06-A6C9-0584309F31A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f8223d96e9823c86f0e6cd7dba4812ce3f38ddb","datavalue":{"value":{"text":"A short proof that adding some permutation rules to \\(\\beta \\) preserves SN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631758$33B0B93A-E7F9-42FD-A78F-98EAB4061D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b49d7d6131de338fb46858a77fc40f9634c51576","datavalue":{"value":"1211.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$F5821E2D-B077-48E6-8340-F0B9B34A2C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$DFB04E66-A05F-42BA-9BA2-EF3E17D142E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$B62D9AB3-1FCF-4B12-970E-51C2AF6EED3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631758$B5EE7CCB-5DC1-4B0B-AD38-3E9FB6E739F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b173397fa86997f079a357f4b435cc9d9d269f0","datavalue":{"value":"https://arxiv.org/abs/1011.1335","type":"string"},"datatype":"url"},"type":"statement","id":"Q631758$02A6C387-4561-48A1-96C0-5E377BEB3351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$D5281D8B-A5E6-4353-A541-8E26DE77A63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$60DD0043-B846-4987-976E-A1FD2FD98436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$D2F70BFF-BCF5-401E-B24C-CEB2C29C9FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59baee3d3945cc13b1f0d8a9ee528d4b8540ab96","datavalue":{"value":"5865587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$9E6DC025-5B05-4B70-8E2C-7A34635768A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q631758$6427E2E6-E180-4567-902B-612C893DA6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q631758$F75D314F-B27D-46B9-A2D5-74EE0A7E470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30189f2fbe224d7894b474f97660900d818db84d","datavalue":{"value":"permutation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q631758$3FFF40C1-8F90-4775-8B6D-C78BC0F7DF20","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":"Q631758$5E69644A-A3C1-44B5-A70C-6B1794D3320E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4ef0c0deebf0f7efa53424c7adc942cc88c7f01","datavalue":{"value":"W1763375386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$9F6A9A64-1B58-4BB5-AB31-CD5E3D8B99D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$471A422A-B0F2-4181-9D88-19F7E250695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ab1cfed77cc0d5be8922df711324ecf8a7e5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$2DF0550A-60A2-40ED-82CC-994ACE4A53C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a11b849382be2fefcc37617d89bb31e4a381ef","datavalue":{"value":{"entity-type":"item","numeric-id":4522334,"id":"Q4522334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$D2E10A18-2CE9-4027-8F92-4DC68CEB8A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$3BFAC989-9F36-4286-9D34-06F4BE615045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31bf245f35574061754de8dd3f3f3e03ec0fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$98FACCAB-3EA5-4D12-9BF4-5B49ECF50D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$B1DE86A3-5F75-4258-9013-A884DF8DE335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2c29cfc2f6cf69387661eb43317351b89ab5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5432340,"id":"Q5432340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631758$EEE4B582-A8DA-42C3-89F2-8666ED9B6551","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e82b339ad931afa1a5f41fdc6b5190957ee3af4","datavalue":{"value":"10.1016/J.TCS.2010.10.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631758$21F8CF33-EC1F-421A-8302-3EC0B38327A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee8524167afef8c04160f248cc881339fe6189c","datavalue":{"value":{"entity-type":"item","numeric-id":631760,"id":"Q631760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7e9efb8cdfb3d121bab1c26d524f84479aa678","datavalue":{"value":{"amount":"+0.802994430065155","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":"Q631758$55F65C97-7B88-4B73-AEBA-D6E386B4C7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36e28aaffccd77181de65819d119d01bea4586c","datavalue":{"value":{"amount":"+0.7751637101173401","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":"Q631758$9623C6BD-2E71-4433-ABA3-947D305A0B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a6d36976734bf2348405ecaa1b84400b5fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa5aa630bb6c2d230c96d087c12fc8fe1744bad","datavalue":{"value":{"amount":"+0.7690973877906799","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":"Q631758$1BCCC2D4-1E96-40A1-A3DB-6ED902FBBB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19095695d51e2717ea9a5b5b5543a588beae2a57","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70400c3b26ba64e2f90006c7918102fbb0dd95e9","datavalue":{"value":{"amount":"+0.7668280005455017","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":"Q631758$B161C0AD-E1C6-4EC2-A78D-D6B030309037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bead4f6050df255b4f4d79a4d16eac91c09ef9a4","datavalue":{"value":{"amount":"+0.7627460956573486","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":"Q631758$AE87F9C9-924B-4AAE-8306-5433500D99DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:631758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:631758"}}}}}