{"entities":{"Q4522334":{"pageid":6551926,"ns":120,"title":"Item:Q4522334","lastrevid":47551084,"modified":"2026-01-02T01:33:41Z","type":"item","id":"Q4522334","labels":{"en":{"language":"en","value":"Postponement, conservation and preservation of strong normalization for generalized reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546636"}},"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":"Q4522334$5FB33330-0DAC-448F-9399-015AADD70DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a65903721293316ce6b26166a920b2e120d8cf0","datavalue":{"value":{"text":"Postponement, conservation and preservation of strong normalization for generalized reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4522334$25B38282-D112-4581-9360-8F2653A27575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f84746028a35b5bc92b4c28d5e55f01f86b322dc","datavalue":{"value":"0969.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522334$E4EE59C1-0059-4104-8C78-B9126C189F74","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":"Q4522334$AE3DFE44-90D3-4926-9FA7-98E8029CB176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59ea4949cd195538d36d37b7bd4b8aeca2efcfa4","datavalue":{"value":{"time":"+2001-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4522334$CDF96DAA-6673-4F8C-BA0E-58EECAC6FE91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f49075991046107afb84bcd273754cce8dc98539","datavalue":{"value":"https://semanticscholar.org/paper/e67db16d56f7a1eb13d55c1e620197fc0ba971b3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4522334$E3406DC6-A639-4152-A0D3-C03C659CA8D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522334$DA14BDC2-4A53-41D0-A2C3-2282EF81560E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"742d0ed815a25290cdcbcc37a4ca0db434a78e39","datavalue":{"value":"1546636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522334$890B2BBB-5CA4-4FF3-B641-642355B6C03A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c8f1eda86299f99b8a6d3547bb3137918d39ab","datavalue":{"value":"generalized \\(\\beta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522334$516DAAA1-80C6-4BC2-A6B5-0BB0A3D0A436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df5660582fff9032b867cc705e591e476204df7","datavalue":{"value":"postponement of \\(K\\)-contractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522334$C4E426A7-A8B8-4A65-9F8D-AEFE70B5E6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4218afa830e4f70937dd7913f07043e3a000807","datavalue":{"value":"generalized conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522334$27E52422-EE3E-4339-ABE7-E79233C96E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d01b0e4e71738a021bbde6bed5a9b0eb653e99","datavalue":{"value":"preservation of strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522334$40299B54-DA6D-4A95-BF3A-3D7F98403242","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":"Q4522334$287D9666-7795-45FD-B450-1A9BBB1A729B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f61b8f7e19f9a51d2cce6348a7512dc74f64e05a","datavalue":{"value":"W2091852848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522334$DA13059B-2C93-452C-AFED-7DED7DD7C8CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a939a89362a57b84b1c889f3ebd3ca98c792ce","datavalue":{"value":"10.1093/LOGCOM/10.5.721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522334$EB25160C-47A2-40A7-A2CC-89B7ABF2005D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4522334$C0F4CA49-3D6E-4CC7-8A5C-0B04E19B5E80","rank":"normal"}],"P1643":[{"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":"ee26137f3cd1d720f4d110896003bae8fcb9f768","datavalue":{"value":{"amount":"+0.8103638291358948","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":"Q4522334$EAE03E13-631B-486B-A603-01C125626728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f0e308167f5a5d8e61569130d0c278f23c162c","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020622c7f2f66a76e6544d1e5e467b77ce650e36","datavalue":{"value":{"amount":"+0.8022240996360779","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":"Q4522334$53960ED5-109A-439A-BF80-91E71C4E8928","rank":"normal"},{"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":"0da593e499e2283cfb564ea23a9ae8f8ba1d22ea","datavalue":{"value":{"amount":"+0.7857598662376404","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":"Q4522334$32358E43-DB37-4393-805A-73B3278102D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95f93fd90cad66d67d245ce96649add6270b51f","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0e73205b4bcd4996b5ece20b97900ed4cf148e","datavalue":{"value":{"amount":"+0.7831811308860779","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":"Q4522334$8DAF842D-FB17-4E67-BD7E-2FFE6FD96ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0626f20add17fdea5dc5e35ec46be30f2c6aaa76","datavalue":{"value":{"amount":"+0.7576776146888733","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":"Q4522334$6FDFF237-9C4F-4554-9D59-50FB2EEEFD30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4522334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4522334"}}}}}