{"entities":{"Q4645240":{"pageid":6674821,"ns":120,"title":"Item:Q4645240","lastrevid":53315735,"modified":"2026-01-24T17:25:40Z","type":"item","id":"Q4645240","labels":{"en":{"language":"en","value":"Strong normalization for all-style \\(\\mathbf{LK}^\\mathrm{tq}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999523"}},"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":"Q4645240$1276FE7A-9DA5-4CEA-97C5-47C26661E20A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c495adcfe478c606da3b1f2bb3d9c353215d5459","datavalue":{"value":{"text":"Strong normalization for all-style LKtq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645240$DCA4C41A-7B85-4C0A-9D03-806FDD24B2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22809101f0e0918ba3133dce47b9ab1dd6224d2b","datavalue":{"value":"1415.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$EAD963EA-D404-44A6-BFC2-747DA75D8C38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeea6f33e279b8a173f78723cf0a2314adb4e3e1","datavalue":{"value":"10.1007/3-540-61208-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$E8796572-81EE-41A8-BCA7-4FFD37131DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4525c955b47badf335bb39d178a4075baf3a0250","datavalue":{"value":{"entity-type":"item","numeric-id":1345899,"id":"Q1345899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$A8FB4AB3-74EF-4D7A-B71C-014C30898571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991173f2ea22332135ad6abd3f0c984815ecedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1345900,"id":"Q1345900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$E090417C-4580-4890-8CB4-BD0D862A9666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$FAFBBD3D-068C-4666-ADF2-812B2345DD77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$571E65EA-B608-415E-8CD1-A1316E983416","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-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":"Q4645240$78A48389-4B43-4C96-B727-0E6176420EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$BDEACAA0-4916-49CF-802C-322883DEF883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$1F6C776E-B4E0-4272-9122-F521D868C28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$72C58039-CB69-4781-8E1C-FCEB0FA0A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$0DAFCDD8-A9C3-4527-909E-AEE8ADB669D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c472bebe105b930e54e4f499a9954666fe5ad47f","datavalue":{"value":"6999523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$98FB6A46-AC15-4AD4-B6D2-7CD98E648986","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68baf9217a6f6cf4b0595a14d2c6394c177cc51","datavalue":{"value":"logical reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645240$077DE99D-323C-4718-BFEC-C5D111DD8CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645240$C11FCCAF-91A8-4F0A-9E47-E6FB5EA7878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efea7d2feb0d6bf816b853705634850e9f34244","datavalue":{"value":"logical rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645240$4CF123A6-7A50-475A-83A6-27DFDEF48E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f16a3b59de3a903fa7124333da485e11cec18ea","datavalue":{"value":"structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645240$DA7BFA12-C122-44AD-8453-3AA54F400E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645240$8CD87FCE-C7BC-433F-A690-6B4589768FD4","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":"Q4645240$8E554E25-7FD7-4CF3-9F0E-672018394A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7edeeed059dda79cfd25a53b1c99c64684df3f5f","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645240$076323D5-ADCB-4410-A97B-510FA7FF4982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1daced919a5b9940241fa179297b1d35726e2bf2","datavalue":{"value":"W1597971736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645240$C80C553B-D3E8-4EEA-BEF9-00381407020E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$5F633893-BB00-4A97-AEC9-4BE229F7A778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$22206AB6-903C-4184-8CBD-5C4E07C2FCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$E7DFF158-8B36-492E-9FEA-FCC1F47D5466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$762CB539-EF04-4F0C-83D7-5AD28BB21D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$A148ED04-9F05-46A7-BEDE-70433309F5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$B26E8C8C-4815-4D8F-9D05-CBAE3677801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f148de05de98f52f121398c20edb4b8bf5cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645240$1B342370-314B-4746-B0CE-B99851CD5920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081b228bb65bc6f21844102b9c9d5b6cef0e8ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4532608,"id":"Q4532608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2243f72d989caa784d7a0d984b1dbb46e2987e5","datavalue":{"value":{"amount":"+0.7989231944084167","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":"Q4645240$7B0C2016-6A13-40FE-953D-6BDA9E617608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc4dedada6f66a77d0712a84d89f05552284d83","datavalue":{"value":{"amount":"+0.7981454133987427","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":"Q4645240$17073C7F-7B66-40E2-ABA6-7E2CAFE0B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13fc6f3ff9d5b9bdc89066b74c4c45bd1ccffb8","datavalue":{"value":{"amount":"+0.7899191379547119","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":"Q4645240$2F6426C3-AFCB-4FE0-997C-EF599A19031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9c1d8f82b0fdec69d87bc99ebfb2fea9b90bf9","datavalue":{"value":{"amount":"+0.7726965546607971","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":"Q4645240$50121893-9E83-415C-8A2C-16FB48D75E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9c1d8f82b0fdec69d87bc99ebfb2fea9b90bf9","datavalue":{"value":{"amount":"+0.7726965546607971","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":"Q4645240$24A3F70C-B55E-4E70-9852-1CB581ABD834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645240"}}}}}