{"entities":{"Q409322":{"pageid":411089,"ns":120,"title":"Item:Q409322","lastrevid":51446228,"modified":"2026-01-18T06:52:55Z","type":"item","id":"Q409322","labels":{"en":{"language":"en","value":"Algebraic proof theory for substructural logics: cut-elimination and completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023578"}},"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":"Q409322$53C340FA-2BA0-4C6E-82B8-38E73582D9BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9597a31655f6acbadc531a88ecf8fdb288ee9e98","datavalue":{"value":{"text":"Algebraic proof theory for substructural logics: cut-elimination and completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409322$A3F6B652-E027-4CE9-92E2-B0EDF89640D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f34e4e8d5642e1056a906f9be90adc915b4b34","datavalue":{"value":"1245.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$65B19BF6-FECC-40F8-9BF2-123170B317D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$310A364D-E890-4114-8799-DA3B3F2B8689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$5CC54931-46BF-488F-B905-8A3EF8692E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$3451D198-92DF-4BA9-AF26-A7F38E5E6014","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$B0EA5363-88BF-4104-AC1F-1D0FFE761C66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409322$6FC4B464-417E-4E26-B734-BA7782C8B21E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47ac06faa16e90181ddad83fb4b47a6f0b5c3d54","datavalue":{"value":"The authors propose a new research project, called algebraic proof theory, which aims at identifying the fundamental connections between algebraic and proof-theoretic approaches in logic by a uniform investigation based on the ideas of proof-theoretic treatment of algebraic equations and algebraization of proof-theoretic methods, so that not only the observations already established in each area, respectively, can be made use of commonly, but also some essential characteristics behind them may be understood more clearly. Along this line, this paper investigates the connection between cut elimination and completion in the setting of substructural logics and residuated lattices. The authors first classify logical axioms (algebraic equations) over full Lambek calculus FL by a hierarchy called substructural, which is introduced in a similar way as the arithmetic according to the notion of polarity coming from proof theory of linear logic, and then show that a stronger form of cut elimination for extensions of FL and the MacNeille completion for subvarieties of pointed residuated lattices coincide with respect to the axioms up to certain (rather low) level in the hierarchy, where there are provided also some negative results to indicate limitation of cut elimination and the MacNeille completion, as well as on the expressive power of structural sequent calculus rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$142D6F72-8B27-4026-A95F-749AC441E452","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$05F7CA43-C5AE-4EE9-B410-C47AD0F4F896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$F2B774AC-9C5B-4944-AFBC-B80AF94C8F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$0BDB1DE6-B070-47A6-A905-8604BC540884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$46B2E5DC-48D9-46EE-AC17-5C3697FB955C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fbe93012662c0c57d77dda646780be05bd34a71","datavalue":{"value":"6023578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$4BB4AD93-5C2F-4ECC-AA5E-3D409B211F8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$1580FCE3-B15C-4B63-BC33-F0A3AACFE69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$43145331-2A6B-47B7-AB90-90C0742457EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$F990F9D0-3556-45DB-A295-60EFD49A9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$04F5B8B8-52B8-4914-BCB3-876B7A910E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15011faae7edb68b93fe31d4f37013af98e2b570","datavalue":{"value":"strucural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$50172798-F0A2-4748-9194-80C5EB0BDC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$1375949A-DB24-4E60-8010-CC5B0FE30948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4cd1af3e8d9f97f91b2f129112b87db178ab27","datavalue":{"value":"substructural hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$18E8529F-49B8-4EC1-9AAA-39A013C66F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3986060d76682cc37708f99076365a4697a5e2cf","datavalue":{"value":"algebraic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q409322$63A83F5C-66D4-4454-96AE-A06085C85029","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$2348CE15-F3AD-4F1E-89D4-24CA0262AE4A","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":"Q409322$F3EDFA4B-ABD5-4682-867D-6DF474C623EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25ccbae14ca3e119fbb1f73e5f7baf5f1f715957","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q409322$F97BF49B-BB9C-42A7-BB20-F205884B563C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b54e17f48bb3ab65f7734afd6875f66dac939850","datavalue":{"value":"W2169981414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$9D1D6D6D-2116-4610-952F-790295667F55","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":"Q409322$1EBBDBD2-2118-43BC-B9E3-C6F627B36C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$93154A5F-EBC3-4D91-9557-8CBA360347A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6096cf583b76b4878eda247379f38feaf8747627","datavalue":{"value":{"entity-type":"item","numeric-id":3010359,"id":"Q3010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$50CE327C-5B61-4E23-8E0B-6AA2ABF61008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$D4F8CB03-1B23-418D-A689-6DC226E1A3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c05ae1941ca454108ce1afae0d431b2d0a5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":4742835,"id":"Q4742835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$AE7184AD-88D7-4783-9C1B-046F352960A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$D06B89CD-0F44-4D80-B2B2-60A89C1EABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$36FD3BDB-9B07-47FE-B966-F93650A76987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5299fc441123d2921218e6d6996e8af28826980","datavalue":{"value":{"entity-type":"item","numeric-id":5843041,"id":"Q5843041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$3D9D6055-F0DD-4422-A42D-A79BCAEDDCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$D5DDF07D-C4A0-413E-91CA-4C28A9547E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26e20436633d80dfa12ed029688059772b3d0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3644747,"id":"Q3644747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$76E3CCED-A04B-4474-ACCD-397134638574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$C19DF2E0-9CD4-41D9-BE72-1F38B5B3DE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$D7761A76-5F19-4B6C-9EF6-DEB91AF65169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$38BC1A4B-0CED-44E3-8539-0C73FFD04380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$A8B94060-7FCD-4D7A-AF99-64AC1E1D1020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$543FC6E4-C723-4F93-9A29-B8A466CE4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$399C543D-952C-422C-9D1B-8E62DFFCB560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$2DC66935-A9D4-44C3-B609-1F9D83890C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$55AD319A-9357-4481-A3B4-E5D722B342D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$596AFD30-9C74-4274-A0AD-1B286A312898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb552d82d874f5d37464ae5768e2173b717cc8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1770973,"id":"Q1770973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$F86E4FB5-932B-4C91-B562-13D9E51E32E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a6220475f5b5d37af9a5bce873d7a4a9785ea","datavalue":{"value":{"entity-type":"item","numeric-id":3509209,"id":"Q3509209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$F7150D81-3611-4DB5-B44D-027079D97EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$94B023A3-87D2-4CA0-AAC1-5F42DDBA642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$B8C8EDC4-4847-4A67-8B91-542DB11C4F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$87CA01D7-AF73-4F67-A08D-77F1848BF677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$1572365D-81BD-48EC-A539-0FA3168ABED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$3CADFC66-235C-4388-B8F8-A34CF22F0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$BFB1234C-E66B-4027-BC3C-081DAE7C4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$ED01C9F7-3BC3-4D9B-BB7D-1E126EA7ACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$2640F8FF-4BB0-4633-BD2D-30EA0D833791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c444c6ec3cb9757a686662251d3648e5a1703ba","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$BBA7676B-CB79-46E5-ADDF-AFC9AE724319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$BB5CF867-BEF2-41EE-89A4-616250ECE9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a1edb5d0f41a1e3c3a2fac7424dcfc28af114","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$C970C4CE-D6C8-40A4-9F9F-A133361C7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$E2C1F9B0-D5ED-4EA3-AF96-63C7B514EF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3b8d82bc878a09ecc2c39572bb475f9fe89984","datavalue":{"value":{"entity-type":"item","numeric-id":767570,"id":"Q767570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$873B9424-4BD2-42E3-9AC1-A27003B9FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbab2b7d1f3671e912aa877cbe2ba846e7989411","datavalue":{"value":{"entity-type":"item","numeric-id":3233196,"id":"Q3233196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$C83E5FDC-2A92-4BC9-BDD4-88EE6F80E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b180a8e8531cfbfff84c09c9661e83fc404d4","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$CD0E1D75-8F47-43AF-93C1-8CE284011784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$E72EE527-682F-4238-A171-40F450167E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49034912b3a103269437c6273cdcf4b27cbd29ae","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$5A037632-CA81-4772-888B-DC2D3705FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409322$595009E5-81F8-4186-B3B4-6052A743C806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0daee2acd9ef005ea37893134db942a0185993b1","datavalue":{"value":"10.1016/J.APAL.2011.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409322$8C3E9350-2CA7-4434-B001-D5A6C5C78B96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c20e258639004a3539c2d6b2a73196c6949f688","datavalue":{"value":{"entity-type":"item","numeric-id":730091,"id":"Q730091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5c60e9db956fa8938c146c2eb0dfc4d8049d38","datavalue":{"value":{"amount":"+0.8517311811447144","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":"Q409322$05CB96F9-DE60-484E-8289-1714FC461D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2ed59f9c82abca3f91f0e8daeb18df51bd2d6","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9aa0c3190f18bdec9bcce3401af63f1ac730500","datavalue":{"value":{"amount":"+0.8270648121833801","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":"Q409322$483730FC-C3B0-4D47-A259-CD007B536DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99036daa719d93976cc7bb308cce04a519d94da","datavalue":{"value":{"entity-type":"item","numeric-id":3644747,"id":"Q3644747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc69c5f5dae8f5c6ba547c97b62eecb049e7a03f","datavalue":{"value":{"amount":"+0.8219215273857117","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":"Q409322$1BE38B11-D8C0-46EF-872A-83C6C2B2077B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f9ef32b3bfa80c040aba6c03389bd6c8dc6303","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286924b8ef7112c55b2c2d6434a37e9fadec46a5","datavalue":{"value":{"amount":"+0.8146320581436157","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":"Q409322$7FC9FC0E-37C1-4FA5-BD0B-A17A2F1514A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1495db3025b6ed8a6e0d86958f8541a7cc49fad","datavalue":{"value":{"amount":"+0.8044202923774719","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":"Q409322$918E4E34-9CC6-4975-940E-A9D3FF53F382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:409322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:409322"}}}}}