{"entities":{"Q953281":{"pageid":955129,"ns":120,"title":"Item:Q953281","lastrevid":65633589,"modified":"2026-04-12T03:56:26Z","type":"item","id":"Q953281","labels":{"en":{"language":"en","value":"\u0141\\(\\Pi\\) logic with fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5366795"}},"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":"Q953281$D38930CB-FC74-4D40-BA0B-80A34DDA040F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9e1089a4105f31bce1af99c39243aa3eeedf00f","datavalue":{"value":{"text":"\u0141\\(\\Pi\\) logic with fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953281$5809C97C-2B7E-4D75-A5F2-4EC7F69F9800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"556af0a3c400e46ca22d59d84716cb748e3e8d13","datavalue":{"value":"1179.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$134CF68C-D605-437B-BAA2-1C2A2CAB0412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc3bc455be4d7a265c7bd40eaa94127306c8719","datavalue":{"value":{"entity-type":"item","numeric-id":454390,"id":"Q454390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$8AFE8750-B4D0-40B1-A75F-8D5F71F2F04A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$86D9D6F8-FCDE-4AE3-9D90-FAEC69A34413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54d5fe4841e20b1eb34a0a7f54af1660622dae03","datavalue":{"value":{"time":"+2008-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953281$CCBC7C3E-8EC5-4DBB-81FA-B3D5A041EB26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d91b4c8c3b8b7e465929f03f83dc36403c1870c6","datavalue":{"value":"The paper investigates the extension of a many-valued logic with fixed points. The logic under consideration is \u0141\\(\\Pi\\), the most expressive known logic based on a continuous t-norm. The author uses novel methods: the existence of a proper semantics being hinged on the Brouwer Theorem rather than the usual Tarski Theorem. The main results of the paper include ``standard completeness'' for the introduced logic (\\(\\mu\\)\u0141\\(\\Pi\\)) and a categorical equivalence between its linearly ordered algebraic semantics and real closed fields. This equivalence is also extended to the full algebraic semantics of \\(\\mu\\)\u0141\\(\\Pi\\) and a class of structures which suitably generalise real closed fields to non-linearly ordered structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$4C9D4133-1CA8-440C-ADF2-E17B466B8A5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4d56bc73986ffdc27b39dcc29bafb4195a8e79b9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$6A48B09F-08A6-4F46-9A49-D29D5D36B002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$AC5A777F-F93F-4BFD-8C5F-5E5A15341408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$9D6526A4-F77C-4D8C-88A7-C554DB33754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$8AF61712-8D3F-47D0-97E1-89313465A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$7627B286-10DA-48A9-B7EC-B3EDCB80C013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea056f61d6cb054f24749321d457f810f96fa70","datavalue":{"value":"5366795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$3762AD1F-06BD-432C-A8FE-84A3410C93B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76666292f517272b741774af976c9ed59753f4be","datavalue":{"value":"\u0141\\(\\Pi\\) logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$BD4B04A1-014D-4D74-9D3E-50062D0C23F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$64B57690-812A-465F-A6A2-6D36D5C3F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$C47C1BA8-422E-4278-ADED-FEB3AFDC0F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da87a641cd4d38fac4c5b6302973038c1089d349","datavalue":{"value":"ordered algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$2E498B80-AB74-4E05-9863-384EC5EA4D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q953281$C0AA1E20-2A72-4DEC-9E03-42B4804D2AE1","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":"Q953281$4132BF77-5B45-44F6-BEBE-8644D6EC52DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0a06e276ba1ec4c42fe4fdecf7cfbdeb9cedcbc","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0105-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q953281$C89B4A25-5113-45EA-8B9A-42AD98B37890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d440a0eefb8dda5a8a78dc32ccd0ad4a2eb330c","datavalue":{"value":"W2048287546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$8A786BCD-93EC-44A4-AB6E-96202DCD44C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$9D8BA1CF-2DD8-4A07-9CD5-E8DB7183154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$3896F4E5-DB57-4A26-81BB-B6CA661176B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1edcb888e96f446a1331c09f2a0c09105dbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$FDDF2E42-03CD-4116-A6AC-7B88464DC20C","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":"Q953281$B6934B41-A5B6-443E-BB7F-72DA2D9A73E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba837f14bc26e3d159eb9fd5d913b2d3d208c52","datavalue":{"value":{"entity-type":"item","numeric-id":2576602,"id":"Q2576602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$476A5D30-C297-4BE8-A84F-A137F5A2B668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311eb0f6758b505863158aef2e213a62e05ad36","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$F9D1EA8F-5F1E-4778-91F8-A9BA314B7D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8ddf4c7a5839c26d4d89b5346f643ebb8c4702","datavalue":{"value":{"entity-type":"item","numeric-id":4485195,"id":"Q4485195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$ECF6AFE3-F72F-4FEC-AEDF-05AD8A07C050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a81a33d89661e3784a7af6ad0706b13c42e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":5928311,"id":"Q5928311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$AE8B5C19-181E-467C-BDBA-C3F490F7ED4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80867c7ec5886014b6288080cd15f577f6c27d17","datavalue":{"value":{"entity-type":"item","numeric-id":1766925,"id":"Q1766925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$3EDF576B-C88C-4726-AE09-4D33BA8BA0E5","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":"Q953281$75DC6F60-0D7C-4990-A373-65D0B7A9EC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$1918CAA8-3AAF-42C4-ADD7-2CB24C20DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$1BCCF92B-8521-476A-BB6A-0E0674DA2A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92154a17c862ad1eaa0eaa5a5cfc0eded8d36dd","datavalue":{"value":{"entity-type":"item","numeric-id":5432674,"id":"Q5432674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$88A799E8-3CC2-4BD1-93E7-50F70341BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$EB8A3EF6-AC24-4236-A7ED-AF550290C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$4BB18590-4C58-4CA4-8EC1-0EA8E90E6A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572e8490a78cd2d809768fb177c7ba8e6e7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":1971782,"id":"Q1971782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$C85D1E2E-B11F-4F02-A5CA-A697AF14B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$8B5B6ADA-0B2E-417F-BC89-2522F2FA4C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$1744CD87-FDED-4667-A1EA-88F385AF00A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467e97ea82ce705676dbd6f8835288114bf314db","datavalue":{"value":{"entity-type":"item","numeric-id":4452457,"id":"Q4452457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$2DFE42B4-BFD8-4DCF-B434-12CA9DAF02EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c7bdb11787634a49ea0c1e42f55c4d27577a22","datavalue":{"value":{"entity-type":"item","numeric-id":2574114,"id":"Q2574114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$106F90D6-1EAD-4BF9-8068-3AFB950E41DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69cf6e350090a83589b32b35f7400ebfe8dfd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$DE413B5A-53F7-4F01-B726-4A2C22BB5B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661c599dd5256d99b1c55541a3f3302a44b267","datavalue":{"value":{"entity-type":"item","numeric-id":1291066,"id":"Q1291066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$0FE13D02-EFD4-4708-8558-BE81839CD706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953281$C497094F-2834-450C-8D9D-607AD394DCAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"015d3ae288f749e83eabfad486ca6e41aa4057e5","datavalue":{"value":"10.1007/S00153-008-0105-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953281$CE2A2D03-1E1C-4423-B60F-29D73E4A9FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e39a04f806218e7b318fb7a4e5445bae03d951a","datavalue":{"value":{"entity-type":"item","numeric-id":2885174,"id":"Q2885174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec44f0d97075af674b544ed234ae428eef9f039","datavalue":{"value":{"amount":"+0.8738374710083008","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":"Q953281$3F65A4E2-BCA2-4A3B-8671-61E7B1353F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cb109d3389500ae60162a6dd43af345e4c751f","datavalue":{"value":{"entity-type":"item","numeric-id":835129,"id":"Q835129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb7b981c488f877961c1c66a6f2c8bde2661498","datavalue":{"value":{"amount":"+0.7829129695892334","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":"Q953281$250E1F07-4C5D-47F7-9EE1-54C8EE613949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4870bc4d1614bc53304c7e5001c4786f411f0561","datavalue":{"value":{"entity-type":"item","numeric-id":1699729,"id":"Q1699729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991e629d87091b2cdeaf75dbab9a3cd1bc42477c","datavalue":{"value":{"amount":"+0.7637180685997009","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":"Q953281$9B44F0C2-D404-4BA2-92C0-0994454316A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23949d9655412fc870d8190f085ee3026ca2c643","datavalue":{"value":{"entity-type":"item","numeric-id":5432674,"id":"Q5432674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe2e07828e88b9f41e5fac5fde9f468ba957d08","datavalue":{"value":{"amount":"+0.7498713135719299","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":"Q953281$DA45419D-F95D-4586-84EF-32BD6462E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4624abdd1540ec815598c93af0bc198b551ad9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5477455,"id":"Q5477455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faad5cc382a5e690add31230a3cafa63aff8733d","datavalue":{"value":{"amount":"+0.7415705919265747","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":"Q953281$B9B73C9E-98CF-4BB4-8D3D-C9314B0D90C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u0141\\(\\Pi\\) logic with fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C5%81%5C(%5CPi%5C)_logic_with_fixed_points"}}}}}