{"entities":{"Q541832":{"pageid":543599,"ns":120,"title":"Item:Q541832","lastrevid":62617605,"modified":"2026-04-11T07:18:27Z","type":"item","id":"Q541832","labels":{"en":{"language":"en","value":"Partial and unsharp quantum logics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5905179"}},"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":"Q541832$05D7B8A1-DEEA-4448-B89A-B894334AE9B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc8892855c312785c235d44609da4048d4b65086","datavalue":{"value":{"text":"Partial and unsharp quantum logics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541832$32DD706E-42A9-4803-96C2-E67CB658690A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"564add30967464782ec529b66fb71789dc36ff54","datavalue":{"value":"1213.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$DB5F0D94-C732-4E7A-A17F-78FBA4592227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4acc9d66933df37ee13764a56278bebcb2455879","datavalue":{"value":"10.1007/BF02057862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$236A0C66-A1C9-4DFE-BEBC-DE7FBFFABB7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe58715664be7ce9a6022835750a93e6dc2405f5","datavalue":{"value":{"entity-type":"item","numeric-id":179667,"id":"Q179667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$1C71EA14-F94E-4D00-A078-305E2E65CE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42db704747debd04a097adb1c20e61b3890e7d09","datavalue":{"value":{"entity-type":"item","numeric-id":429938,"id":"Q429938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$836F71CB-A187-4FD0-8D2E-46206724D7BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ebe6797fcdd2919d41fedff5ab4f43cad64aa8e","datavalue":{"value":{"entity-type":"item","numeric-id":257033,"id":"Q257033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$73E5A05E-6756-4344-B8CE-669388A24AC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f210fb0c18d99dec30391458ff9c941405bbc2d","datavalue":{"value":{"time":"+2011-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q541832$D2ECA4D7-9121-48DE-975B-8255708D28F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$EB2E45C1-DE22-490D-8515-05FB99B63455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$EDCB71CA-7319-4780-8635-A00849E4B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$23AE4323-FE3C-422B-8C4D-B0ABF79364AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$15AB1ACD-C5C6-4E9D-9A09-29EF66D9D6A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73ae4d94d2655847adf505a09be2bbde6e3c316c","datavalue":{"value":"5905179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$27EE6472-5A9D-481D-A33E-36A25BBC9137","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43fcfad9fe25a8326b128a047dc3f53f81408f9e","datavalue":{"value":"Q21999127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541832$B23A9D43-E7A7-4333-B981-184A8CBEBE16","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":"Q541832$6E277A20-F2FC-4F4D-92A4-B6513043A765","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1ae5bf53aaaf7bbfd664608a48e017027f86c8","datavalue":{"value":{"entity-type":"item","numeric-id":4888388,"id":"Q4888388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$598E2AAC-3DEC-4E73-9B4E-09C8BEAD16BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$2DC68A29-4B24-47B0-826C-F95F489FE44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$8405467F-F535-4E6A-A2B5-0CEAC9D6A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466773ea1e493d98f40790dd60e7f1a05f8191fe","datavalue":{"value":{"entity-type":"item","numeric-id":1227737,"id":"Q1227737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$E403C49C-9FBD-4FDA-BB9B-35803565C9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74457de1370629884cec8b289b6d5a25cbf010d1","datavalue":{"value":{"entity-type":"item","numeric-id":4342085,"id":"Q4342085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$D8C1CD8D-80DF-4F84-A723-DA70CB118975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8865ab6dc2d806f3272b57fe29ee729560009a","datavalue":{"value":{"entity-type":"item","numeric-id":1896751,"id":"Q1896751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$6A50EA79-3E8D-4D7D-A9E3-AA4659A98CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7840f32953c0f18c846cf44da4b61df77b60c1","datavalue":{"value":{"entity-type":"item","numeric-id":4721099,"id":"Q4721099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$382112BE-09FE-4ABD-986C-623AA23C26DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be92fdd103c01b93cf84bef3ede37f947770970","datavalue":{"value":{"entity-type":"item","numeric-id":3292590,"id":"Q3292590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$59C73D22-AC31-4167-B2D0-3EE6D40A02FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ec69a062a43b44276fc58b310d7eddc1f0f70","datavalue":{"value":{"entity-type":"item","numeric-id":1200425,"id":"Q1200425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$CD4FA16F-A207-402F-B8DB-1C47F4AA7F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd95e557741ba586ac34d14868e59397276de51","datavalue":{"value":{"entity-type":"item","numeric-id":3958461,"id":"Q3958461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$2A155235-7B69-4AE2-9F77-23329B2079D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$C2DDF0F7-A70B-4184-AD0B-CD8A59D6766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a115e20e990790560d496abf088dfce805bd9e","datavalue":{"value":{"entity-type":"item","numeric-id":1075324,"id":"Q1075324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$CF780890-BD16-49EE-8084-93FB027FB897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fa5722375b540c0c1c5202bf5d99dc9ad566f","datavalue":{"value":{"entity-type":"item","numeric-id":5534907,"id":"Q5534907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$51B3BE34-7086-4F6A-813A-4CA056A304AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52894fe7e468ba96dc2d6c8b007d0496ffd6d66f","datavalue":{"value":{"entity-type":"item","numeric-id":4747069,"id":"Q4747069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$FCD512FC-B698-4871-B8CA-7D6E0E60BD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55998ebae34b6a4d79c05b6e8d578cc344c8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5181342,"id":"Q5181342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$639C7B95-9287-433D-A60C-8BDCECEE79DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf178a24382e999f4d53ad9f3171e61e18cf494","datavalue":{"value":{"entity-type":"item","numeric-id":5516132,"id":"Q5516132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$E06469EC-9044-45BB-9688-E62BEDBE0DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$38CCD27B-D4F7-4530-85C2-1B8291CEDDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$420C9B56-0693-46D4-80E4-808398F03061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413e8b9931cb397a9f9185a9134b6b363cc7167e","datavalue":{"value":{"entity-type":"item","numeric-id":5342416,"id":"Q5342416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541832$31A10654-095E-426F-8AC7-5C0EA912B180","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba3ab5d14b7856378a5e0a37245a5f48357d826","datavalue":{"value":{"entity-type":"item","numeric-id":3086368,"id":"Q3086368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c2242c4a552bf3c44e4cfb92193f77e91231ab","datavalue":{"value":{"amount":"+0.944757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$B97F2FC5-9952-48AC-89C6-93ACAD3AA8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5102e68353cdab56e798df36d704548213a4f573","datavalue":{"value":{"entity-type":"item","numeric-id":1907556,"id":"Q1907556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96eaf73941c085712a0c988c7a56df1870c372cc","datavalue":{"value":{"amount":"+0.9435984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$52FFCC22-76CF-421D-9200-0E72284C5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afc46cb95c40dc2d94e66ec243cc7839cbda9e0","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4b3aa8e485ac568fbb57cb228384a34160a34c","datavalue":{"value":{"amount":"+0.9400102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$A20AEF5C-E176-4B12-8F7B-37D9DA0A6ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4caed0e0407f601f63a8050789acc5a9887891","datavalue":{"value":{"entity-type":"item","numeric-id":1768735,"id":"Q1768735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16e32d91a4d7197c9e590db00c6d679f155052c","datavalue":{"value":{"amount":"+0.9322444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$AD872350-2F86-49A5-9078-D872E6A9AEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79607c826f8e405d25428838f652d2ca31135e","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c719e4fc128e8e969b7f8de157f08c5f35f989","datavalue":{"value":{"amount":"+0.927181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$2953A4E0-9046-4BB8-AAAA-02EBEA7DC523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d9e50efa0bfadb50d957b0bb8469ee628ee0c","datavalue":{"value":{"entity-type":"item","numeric-id":1604802,"id":"Q1604802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3269a6b67412d6ddac97604e007068e954487efe","datavalue":{"value":{"amount":"+0.91307414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$D79CAD20-0854-4F1A-9FF2-7B7808B2E831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4f7609d38aee4d8f65463c0190699a427af76d","datavalue":{"value":{"entity-type":"item","numeric-id":2851798,"id":"Q2851798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937451e655dd40857e45d0af7a42b1c90391b7db","datavalue":{"value":{"amount":"+0.90647817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$1520AFCE-4D1E-4A45-91D6-6525CE78AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25c81c85c5dcac3b6b6fcaec7258afa0ccaebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1096629,"id":"Q1096629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b95457b8e920cd20f5b2faf4f18ed011101087","datavalue":{"value":{"amount":"+0.90232176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$2AD8402E-7764-4562-A0EC-E43CD0818D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024c645e328cc7aaefe72e9fe810a4323680cb88","datavalue":{"value":{"entity-type":"item","numeric-id":616819,"id":"Q616819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6d94e023faad1bc5582268e3dbab6a981b756c","datavalue":{"value":{"amount":"+0.90033543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$D46D261B-96EB-4CF6-915D-C6AAFDEE93A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af61ac75b6fa2bc8bdd8a7bf0313c5ee26182d96","datavalue":{"value":{"entity-type":"item","numeric-id":5696621,"id":"Q5696621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372edb26546ab21913270cb3e781478899e3a3ef","datavalue":{"value":{"amount":"+0.89965796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541832$76504FDB-C287-432A-B23B-177F18612CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial and unsharp quantum logics.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_and_unsharp_quantum_logics."}}}}}