{"entities":{"Q534700":{"pageid":536467,"ns":120,"title":"Item:Q534700","lastrevid":62615682,"modified":"2026-04-11T07:17:53Z","type":"item","id":"Q534700","labels":{"en":{"language":"en","value":"Strong normalization from an unusual point of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886380"}},"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":"Q534700$8058A0B6-EF60-44AA-B541-594DF7BFEBBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4393dcd41aba684c0e4c14347a15de3fe66654d0","datavalue":{"value":{"text":"Strong normalization from an unusual point of view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534700$1547A290-A6B1-4460-8B69-3010A351EEBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1853c330be66ea94158d5abe8ad4e8f7d0f4d34","datavalue":{"value":"1222.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$B69F291A-A40F-44E9-8B58-4BB6EE691597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$8EC5F4AA-46B5-4631-9C84-0F29A2527C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$77A04846-C6A5-472F-94D6-8D26BC4A8F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$B86F06DD-B4A5-4B20-B123-1C83CFB805D1","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":"Q534700$178A5530-FB66-4138-AE36-1A77F07E6525","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534700$B671A67E-5B5C-4FAB-9353-109FA09FB0D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$022DBC23-A5C6-4B65-A8F5-3B455327C7FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"924abccb82f4e42d71c16f7cb783e0b7b38b1e52","datavalue":{"value":"5886380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$C54906A9-2F29-49CE-9484-7CEFE9932455","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q534700$11E6E04F-8BF2-45CB-B27D-E5AFFDE022F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q534700$8746843B-DC14-48C4-97B9-CE23F7D2D6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbeea41853ffaf7f58d9cc61e9042fd9f95ad40","datavalue":{"value":"parametric lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q534700$3E4CD482-8C65-4933-9F0B-5C86C1D390C4","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":"Q534700$0037D049-070C-4422-9A4C-FC1CCC37102E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95435ef53e2befae9122de1f1c13b848791fc97c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q534700$2B97639B-6E78-4272-9357-19D5A8758ECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec4d07ccb5272069571a6c705c0dfbefc39c59d","datavalue":{"value":"W2014545693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$6FE54E03-B302-4AFE-8E9B-5A02BA1BAD56","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90530173cf5b9d0ac67d68bd4e8888c6b21733ab","datavalue":{"value":"Q57722170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$09FC873D-FD34-46B8-BB6E-FB006C460559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$E0CFAB38-E446-40B9-B864-FC60E16AD0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$1FD4554B-7E72-49E0-8D7A-B1C8D3F8B5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$C183FD1B-7DDF-4825-A66F-DDFBA5CBCE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$1A6B9552-20B1-468D-8A9C-73E67BCF7F0B","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":"Q534700$B30F57E4-9CE9-42DD-9C3D-3B67F742D465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c3b0365271069021f3546ebb78862590a57a62","datavalue":{"value":{"entity-type":"item","numeric-id":5781187,"id":"Q5781187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$B184E3A3-519C-43CE-9F9D-5632E7AE61C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$BDB3EC46-1E9E-4D4D-85A7-AB1F1B1BD2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$E3CACD26-B755-467A-94B4-40EA0F3BB399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$B5049B3D-7875-40E1-8873-DA6B8E0A52B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$F5E488C4-BB70-431C-B774-D1A4D43A35DD","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":"Q534700$2D52F09D-F8EB-4B3E-8F29-2AA519DF6A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492af1952d0ffd5bd199421472b3fcb03e44aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5224488,"id":"Q5224488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$3C933461-3B4C-44BE-8533-304DB9E2411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0225f033d46261505e426bc2e285ba677ea904","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$A6282B78-CA0D-46CE-AFC5-C8486E9DAD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261109d22283aa609f05caa89a99c93ee0c9238d","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$DF257CFD-3795-4E96-AC3B-629A438EB965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7d3620959852614462222c3f79cf8fa97f3113","datavalue":{"value":{"entity-type":"item","numeric-id":2851088,"id":"Q2851088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$9B4C0CDF-14D4-46AD-9B4C-EFC677AD0A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa56ee55ee08ce37d14abf355cc8adb74cee1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$A4C8E0B3-174C-4CC2-9210-0F04FD805887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad8af0c65e8ea1de6491aa160a44c9a8c63546a","datavalue":{"value":{"entity-type":"item","numeric-id":5899100,"id":"Q5899100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$F11E477C-BBDA-470B-9DA9-891945051540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$27CF5F35-2911-4B2A-89E8-2AD505EBC082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$AFE5436F-6CC9-4CA7-8CBE-994D65E21230","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":"Q534700$97729F6F-5427-416B-ADE5-B43A45EA7A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f28484c241b47f4144f4cd8c091ef5a301cc648","datavalue":{"value":{"entity-type":"item","numeric-id":4405686,"id":"Q4405686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$3A729C32-D3D1-4181-8708-03554493A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534700$0ACEC17C-C50F-4C00-8EE0-680A7D9F2215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"479379a89eff4891f049ad7238b83ea44f3c75b2","datavalue":{"value":"10.1016/J.TCS.2010.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534700$626D6E49-2567-4AB7-8BE8-B2E5A9D268F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e7bc76d1489984235dc1ba9e4161c864841a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899100,"id":"Q5899100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ed02616a92f38252dd986fcd334dd633df743b","datavalue":{"value":{"amount":"+0.8069539666175842","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":"Q534700$CE0B47CE-D00B-4D56-B9A0-2E99D816952F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3342e0e6d4f72a6146a7ad5db4f1f693c06c952a","datavalue":{"value":{"entity-type":"item","numeric-id":2851088,"id":"Q2851088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9e622229ac06feca55374cc1db2f62d7365f3c","datavalue":{"value":{"amount":"+0.8040266633033752","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":"Q534700$B24EBFA5-7682-4037-81A0-F464400EC73F","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":"fc2dec32629d6436aa47cca74421a57b45aae072","datavalue":{"value":{"amount":"+0.791835367679596","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":"Q534700$7A29DB35-A8C1-4F3B-8F5C-820B5B33C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1c4de318c7943536a47d3f703138bb9f3cb43e","datavalue":{"value":{"amount":"+0.7862311005592346","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":"Q534700$B3325B53-8758-43E0-B412-23DAC00ACB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfe380f2deb9c2643220ab9107d8ef8ddf18a2e","datavalue":{"value":{"amount":"+0.7824923992156982","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":"Q534700$1649D31F-BC63-4DF1-A6F3-E592CB1A921C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization from an unusual point of view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_from_an_unusual_point_of_view"}}}}}