{"entities":{"Q4562435":{"pageid":6592024,"ns":120,"title":"Item:Q4562435","lastrevid":89536262,"modified":"2026-06-04T17:37:14Z","type":"item","id":"Q4562435","labels":{"en":{"language":"en","value":"Omitting types in logic of metric structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996240"}},"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":"Q4562435$A9D19F54-FA07-4FEF-A3F3-9B239898A88E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b144871924d2a31ab63e11a05be5d2248408da0","datavalue":{"value":{"text":"Omitting types in logic of metric structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4562435$1A0EB0A1-D6F1-43FE-B4BE-BCD72EA64D2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa377f85173d58950bf2ced9ecbc30323bb58863","datavalue":{"value":"10.1142/S021906131850006X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4562435$1568D510-0D90-4C13-8DB4-E47213E39D07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20bc145c2e23b3488731abdda971f57890830ddb","datavalue":{"value":{"entity-type":"item","numeric-id":178602,"id":"Q178602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$1862D89A-6380-430E-B1C4-1451AB91F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16de316f302fba13aeaf995a5fa68cb2abb070f8","datavalue":{"value":{"entity-type":"item","numeric-id":225931,"id":"Q225931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$55BE8566-92CA-4027-A6F2-D47D0A8669FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$87904717-82EE-46E1-BFEE-00D52AA3216B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dcfa2f686a29b91337cf0e5bf2d36b7222040b6","datavalue":{"value":{"time":"+2018-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4562435$BF5A0D0B-A392-4C90-B470-0A6B93BF3F0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d6846ba225893b7566a1833c63aeae6185f2884","datavalue":{"value":"https://arxiv.org/abs/1411.2987","type":"string"},"datatype":"url"},"type":"statement","id":"Q4562435$F7343519-7BE3-48DC-A737-1A1A3146F104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4562435$917D6CF0-520E-4FBA-B29B-4D37B7448F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eabd7cd4106c15c06940ad449a8bb6744b288a08","datavalue":{"value":"6996240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4562435$3F73134A-2BD3-4A87-9549-C74E885C8181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0d80ac109b58df8f9e4b54f699f21ecd57cfbb","datavalue":{"value":"logic of metric structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4562435$C0160E3E-82C6-4A46-B5C4-A4ACDD895995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4562435$ABDDEF72-0481-4403-9F2D-2A2A932BD8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f249b6e1a48c35d4f5af3515d7d3f8e50995fddd","datavalue":{"value":"complete \\(\\Pi_1^1\\) sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4562435$B1C1AFC8-A53D-4642-A5E7-69DD7AB2690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0421a009a50987a59dcc7b8291ced5283a3ed6e","datavalue":{"value":"complete \\(\\Sigma_2^1\\) sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4562435$693F67C6-609F-4D23-9E56-10A20336BDD7","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":"Q4562435$15617C9B-F748-4B83-8B34-9C3A0B86FD87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9b1f7f0eb0df801475a74f85bee3de13449f98","datavalue":{"value":{"entity-type":"item","numeric-id":4931092,"id":"Q4931092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$40E0ECCD-B9EB-4471-BA3F-D7FABDC660A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$19933554-C828-4F1B-A238-571D2CF09109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd067e6920469fdfa2aca4f58bc5129534fe76c","datavalue":{"value":{"entity-type":"item","numeric-id":2401685,"id":"Q2401685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$CFA9B654-51D3-421E-A75B-C6838A216DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457e6cbf056234195982e31c486843bed60e6caf","datavalue":{"value":{"entity-type":"item","numeric-id":1012328,"id":"Q1012328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$50C903E0-1984-4DE3-914D-CD162900F4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$228B1CCE-D550-4E60-82DF-8D7F1805C15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3090e3d299461232d7226807c1400ebf9ca1c65a","datavalue":{"value":{"entity-type":"item","numeric-id":2572176,"id":"Q2572176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$5C58D10C-BFB9-4EE2-BD76-C5C179C61E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8f6f0c8b0a0411c29264e10a5e6012dcf9e24c","datavalue":{"value":{"entity-type":"item","numeric-id":2442152,"id":"Q2442152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$6FEB47B4-579F-48B0-8C6B-B4A42BA24C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9ce06585d530f4db215e35404449729384cbd8","datavalue":{"value":{"entity-type":"item","numeric-id":2436615,"id":"Q2436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$380C2ADC-0A5A-458C-894D-5647AF2832FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1322687d5f634c292ffb3c2522f4de7224655a36","datavalue":{"value":{"entity-type":"item","numeric-id":386155,"id":"Q386155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$7C2B8550-7A64-4A83-8C5D-6A99B300CED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd1e6d78d95fc927d227b4891629d38e140893","datavalue":{"value":{"entity-type":"item","numeric-id":284596,"id":"Q284596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$6E53B5F7-3F5B-4A8E-9D4F-FDDDEDA015E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bdf66015c9d61cc6b9a1a25ac6374a2a1ce30f","datavalue":{"value":{"entity-type":"item","numeric-id":2511484,"id":"Q2511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$8284891B-EB7F-45EF-BB8C-7E485F4C5066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c7436a1e6633654f2feca995da2fdbbe565aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3498864,"id":"Q3498864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$0A5D1747-AF9A-4E19-A93A-DC20EA0BC95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bff0f338d42337214321176396998a0866302c2","datavalue":{"value":{"entity-type":"item","numeric-id":5371224,"id":"Q5371224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$302460F2-0FC9-462D-BA73-26E220CB3D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcf039dfdee6b7e59e966492f5b90832ab7a318","datavalue":{"value":{"entity-type":"item","numeric-id":2804295,"id":"Q2804295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$BEC3C928-3491-4FBC-B264-F05C06EEC8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9020c6b424f4bdad0e9fc14fc2aa42a9c962e4e","datavalue":{"value":{"entity-type":"item","numeric-id":466085,"id":"Q466085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$410F619F-FE78-49E8-8B8A-289FEEE630C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a65cfe96abd5df217059f3d1e1df4f65b7e5b0c","datavalue":{"value":{"entity-type":"item","numeric-id":5250747,"id":"Q5250747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$DEF238DA-5BF9-4600-AFA2-8945BA01571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8d570b7ef2014b627a406b5151fddf8c53d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":2450173,"id":"Q2450173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$02AAC937-F586-476F-A618-4856358FBE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e6bb22288a4ad84d0337a65f22857f0153e939","datavalue":{"value":{"entity-type":"item","numeric-id":1670336,"id":"Q1670336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$9BD65602-380C-4428-BC7B-500B75119492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e63f8cd180df006343a4bf0d13ced47bc88523","datavalue":{"value":{"entity-type":"item","numeric-id":2344853,"id":"Q2344853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$129155DB-40F5-454F-B618-DAC2037F8206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e120e6fd78f15a141d7a4a4b210e0c8534f752f9","datavalue":{"value":{"entity-type":"item","numeric-id":4977153,"id":"Q4977153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$52AAE501-73E7-4E92-8BBB-09DDC3FBCC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288c1e2ec81ab79aa5798773a76606f35adc31d2","datavalue":{"value":{"entity-type":"item","numeric-id":2974049,"id":"Q2974049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$47E5DE05-F53E-49B5-B8EA-653313F5E7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03f6eb91fa77a00f0eee204fc95474cfd08d87e","datavalue":{"value":{"entity-type":"item","numeric-id":4933738,"id":"Q4933738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$7EF68440-E63C-4207-9E92-C0804433FB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2f3d4be511a3e15a693b8f45ddb0f1ba396af7","datavalue":{"value":{"entity-type":"item","numeric-id":3098780,"id":"Q3098780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$41BAF53D-5CCB-4F9C-AB16-EDF7F27E01A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$5CCA493A-D522-46AE-B40F-F9E689F9CCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39aa6e194bbbca6c5f4ae598b0a1d5e25e170f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2784782,"id":"Q2784782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$AD4A022C-B988-4D12-9A82-0EFD7463E5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6deea07576bf8332ec9f6abda7add3bca126811a","datavalue":{"value":{"entity-type":"item","numeric-id":4052109,"id":"Q4052109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$19A656F8-9C2F-46D8-84BB-D0D0E62A41B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$6C8FEBF5-9D02-44C7-B2DA-0FA37281DD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23674382ea5f8cb07bb55bc710b1de1e57133b","datavalue":{"value":{"entity-type":"item","numeric-id":894235,"id":"Q894235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$2F111EAF-6032-4A95-9AFA-7AA85E4DFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2735dedbeaebb029447246989c6d749359081f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2452710,"id":"Q2452710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4562435$1123BB13-63D0-414C-8175-B3B2DB6DF3BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7fd51148fe81fb2d05a09bdf98df6453e1ac9c","datavalue":{"value":"W2962677089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4562435$F6C59F6F-6B89-496A-9555-B68639B35888","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2db75a8d115414abf4a869a2e88057e77827a422","datavalue":{"value":"Q129774721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4562435$E641D453-D902-427C-897A-81D269B10D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d7fc9082fed9d401bcd0640b8b688bc9b08cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3380256,"id":"Q3380256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db247debf2a0d3e34d3e9028ad6117348122ffc","datavalue":{"value":{"amount":"+0.8020787835121155","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":"Q4562435$AD5644D1-6A59-45B5-92EF-600E2648BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4770c95abdcba0c31fda4a50b054041fc4c2ace5","datavalue":{"value":{"entity-type":"item","numeric-id":1049741,"id":"Q1049741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7272e81f603cc8c4f2e5b7fb69a19bd0cc708e9","datavalue":{"value":{"amount":"+0.7988858819007874","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":"Q4562435$FB5E5EC6-F2BD-46E5-A508-716DC0125BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd2f7ecff795f7191a0c83f17c70d51c88d81dc","datavalue":{"value":{"entity-type":"item","numeric-id":386155,"id":"Q386155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f3f6f0cc8533a52a2c37bc47d2839f3e1e05aa","datavalue":{"value":{"amount":"+0.7940394282341003","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":"Q4562435$A8E1FD30-1A2C-4A40-A0F9-0FBF5CE748AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"888ebfc3911aeaf729f7644dbbd1141865344418","datavalue":{"value":{"entity-type":"item","numeric-id":763970,"id":"Q763970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78858505c32ea4ac56dfc247de6588a334ac2b3d","datavalue":{"value":{"amount":"+0.7686982750892639","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":"Q4562435$C8391E07-70BB-4A4A-890E-F7107C04B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0487bf72bcaa7ac74e9574378d57bf826157640b","datavalue":{"value":{"entity-type":"item","numeric-id":2853715,"id":"Q2853715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b346eea0e1d8d64ec71316d84a6743a2ffff92c1","datavalue":{"value":{"amount":"+0.7680791616439819","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":"Q4562435$CCBF8140-2D98-49B2-9435-2D128EB3187C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Omitting types in logic of metric structures","badges":[]}}}}}