{"entities":{"Q5935997":{"pageid":8112799,"ns":120,"title":"Item:Q5935997","lastrevid":47630509,"modified":"2026-01-02T06:35:37Z","type":"item","id":"Q5935997","labels":{"en":{"language":"en","value":"An omitting types theorem for positive bounded formulas in normed spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1612857"}},"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":"Q5935997$F31AFECA-9ED5-4D8F-9E46-954CE23A247A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca006165e0a95899b7675b752279455e36b94c3","datavalue":{"value":{"text":"An omitting types theorem for positive bounded formulas in normed spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935997$BDCA8397-C985-435C-B44F-F44F9DB2E129","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c46fbcf0cbeed76cc9d1d0a9c6c2a1bb4f21910","datavalue":{"value":"0989.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$56D9D2B0-E351-4544-8315-C5B0106F3205","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf3f27f2ea60a0b7e129412d964c65f084d0389","datavalue":{"value":"10.1016/S0168-0072(00)00052-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$8667590F-0895-4C89-BCE5-62B2406F44A4","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":"Q5935997$993ACC0E-01FB-4D47-9163-76135552421E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66810b26c53348422cf67dd032df27ab202f42ea","datavalue":{"value":{"time":"+2001-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935997$F2A7C07E-AD7F-4EDD-A1E8-2D828C89F662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$77612F8F-E63F-4069-9544-F5E3F89D8E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab4f17f4414e5d0850354fd0de3dcd90c1a3b6c8","datavalue":{"value":"46B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$0EC64A25-0AF0-4A88-9316-CB43FC43DB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$62058B18-B0B4-43BA-8D96-10D6F7A33786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$B9D05078-97AB-43FB-9534-ECFB5748A10F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da9587cf911dc100c1ee15c78f51bcb3cdcc5c1a","datavalue":{"value":"1612857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935997$BFE35656-F61A-4E89-ABAE-4944F1C198DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0798ad3398c5835ffa25e31d5c613eb935f4eb53","datavalue":{"value":"nonstandard hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$AA2EB8B9-FD88-469C-AB59-B1B0341EF0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$E7A7C54C-F0B1-4A24-B50D-B34825990D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80af4e53481f116288ac0395efff21091ed6c836","datavalue":{"value":"normed space structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$93DA878B-EF4C-404B-BCB5-A193C4B867B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb64c1fe2febfd6863728657faa3c42adbf45d9d","datavalue":{"value":"Tsirelson space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$CDD5D6F8-E790-4F0D-BE0B-52FC32755146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d59ba8022ca9c582070254f13d48e7395ddbc27","datavalue":{"value":"approximate truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$A7DD92DF-6BD6-4182-A92B-A9F6A4F8B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935997$75D8DBDC-A8DA-4B8B-AF24-9E758F9C8C79","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":"Q5935997$E07D06FE-D3FB-4887-91B5-E2D883D98444","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"174c6ba37126575fb2c7b18cd93f088e4028babf","datavalue":{"value":{"entity-type":"item","numeric-id":4056541,"id":"Q4056541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$237F78AD-E5A0-4D56-8F49-844896259137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ab3854b9aab09289af55a60347dcb8709add93","datavalue":{"value":{"entity-type":"item","numeric-id":3142077,"id":"Q3142077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$1681B2FB-51B7-4EE8-A809-CE23D35ED91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e1c14b96ad58af4a75efb6486a2c7261512a95","datavalue":{"value":{"entity-type":"item","numeric-id":4866041,"id":"Q4866041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$782A14BB-E60A-4A7B-B754-961D73030448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9855b901b110c39d331b9bff155eb3b96937bb08","datavalue":{"value":{"entity-type":"item","numeric-id":1220695,"id":"Q1220695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$16C8D0EF-EEBD-4575-8054-4CE286A8DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925138c8e342b7d781495abbd96f7a91c7f0c63","datavalue":{"value":{"entity-type":"item","numeric-id":1234461,"id":"Q1234461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$EDF8A7FA-B7B5-43DC-87FF-EDD8E823732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f793a945156c8476f826747073c8bc4a95c728","datavalue":{"value":{"entity-type":"item","numeric-id":4411217,"id":"Q4411217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$3556DCA1-DCB9-48CA-9FEB-8FCCF5F29495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81775769972780a5ad76071f46da50a46170c98f","datavalue":{"value":{"entity-type":"item","numeric-id":1248928,"id":"Q1248928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$87D78B40-5B99-4BCB-8DC9-A947EDCD5AE5","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":"Q5935997$CB904CE1-9B5A-4E88-B6D5-9A0B9C60759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7388b2a15a212bcde55d68fca8ac00e7f40db","datavalue":{"value":{"entity-type":"item","numeric-id":4136031,"id":"Q4136031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$FF879C21-2BE8-4880-ABC5-957711B7F5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947872855bc900fcf8be81bf465b188076e677e0","datavalue":{"value":{"entity-type":"item","numeric-id":4942863,"id":"Q4942863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$0B6294FC-5976-4C55-B36F-04C656260C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7480e9be61f601e4309aa41b22f5419a672fa451","datavalue":{"value":{"entity-type":"item","numeric-id":1343834,"id":"Q1343834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$F61BC97D-6713-424C-B5EF-84288209D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534661a8f07e5e0833f037e35370e7987690d934","datavalue":{"value":{"entity-type":"item","numeric-id":1213606,"id":"Q1213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$F6147BC7-53A9-49F2-B45F-A8A2F6F31DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55b7889c5e461fd9856117a11acf73e8d9441dda","datavalue":{"value":{"entity-type":"item","numeric-id":6193663,"id":"Q6193663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935997$BC90BB55-D305-41BC-93EC-8A16CC25230F","rank":"normal"}],"P1643":[{"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":"cca3e97d7e3a689f59b534676ad4605999683b16","datavalue":{"value":{"amount":"+0.729459285736084","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":"Q5935997$20BF355B-D320-4ADC-88A3-09D058ABEB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52da9cbc6a57c640d8baa7d4d6e1271ecac59830","datavalue":{"value":{"entity-type":"item","numeric-id":3435232,"id":"Q3435232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcabb26872850643a6efb7b3802cf3aeccd28e56","datavalue":{"value":{"amount":"+0.714880108833313","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":"Q5935997$BF390861-11CB-480A-AED2-5925FAE1073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c0249c7f646ee4d6a39b92d692f6294082011","datavalue":{"value":{"entity-type":"item","numeric-id":3775532,"id":"Q3775532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2545c371b76d01e5039bb782ac4e2d1f8a6a068f","datavalue":{"value":{"amount":"+0.7079817652702332","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":"Q5935997$643F6A39-B447-44BF-B7DE-FBCB57D52B23","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":"7cd39c4b0624015e8eb063408e59c7f2d25284c9","datavalue":{"value":{"amount":"+0.6956804394721985","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":"Q5935997$1673597F-17B9-4D12-A73C-B1CC36D16306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b139450a1fcab6deccb5d391d2a5f2b494ad6f30","datavalue":{"value":{"entity-type":"item","numeric-id":688799,"id":"Q688799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8f5933e2a60714f844713d9be0f39c3d25818c","datavalue":{"value":{"amount":"+0.6940458416938782","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":"Q5935997$CA445BBF-E9FD-4E77-A365-20360F42241F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5935997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5935997"}}}}}