{"entities":{"Q3615237":{"pageid":5645143,"ns":120,"title":"Item:Q3615237","lastrevid":87442178,"modified":"2026-06-04T11:41:33Z","type":"item","id":"Q3615237","labels":{"en":{"language":"en","value":"A note on Steinhorn's omitting types theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529993"}},"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":"Q3615237$3C5FF5CF-F2B2-4F9A-B000-BA1A78C534F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"015643596d01f0b155edf1aa44fdee5a31721084","datavalue":{"value":{"text":"A note on Steinhorn's omitting types theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3615237$AC0CD630-BD53-489E-B9AF-93D94F7056DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b3011c990e1efb71f072c337258513d5750fab9","datavalue":{"value":"1171.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$F81BDD79-3A40-42BB-BDC0-7EBC97536815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace7d35c48a276921b263ca7dc19018345e4b50e","datavalue":{"value":{"entity-type":"item","numeric-id":190289,"id":"Q190289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3615237$EC90C5CD-6777-4284-91F7-D1271A44B44B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3615237$012CEA6C-6366-4491-9314-5DA64D877608","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5c9d68fd5b8e3028e7276bccdda199508f1dfcb","datavalue":{"value":{"time":"+2009-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3615237$0279C374-EC39-4FE3-9F18-DC9C248BA6E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$DF670368-FDAC-4D9C-8F2B-E1790914ED79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$0A358CEF-3EE1-4E7A-ABE9-112911D8DBB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98b1a8ad8f9f68189f0e68594bbc12dd8d01ec21","datavalue":{"value":"5529993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$9A4AE601-CE96-4ABA-9334-17DFAC5DB958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3615237$20DE3A72-0A5B-4511-B4E9-4557CFF92A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820c99cfd4778df6a288714ecca6435f062f96e3","datavalue":{"value":"indiscernible sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3615237$865F7400-A89D-4BD3-AAEC-C393D1F7D27C","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":"Q3615237$52F85B8E-5253-40EC-9E0C-A69236D5BD2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99c1d5402be5d56dd1947127d797222bb909ece9","datavalue":{"value":"https://doi.org/10.4064/cm115-2-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3615237$FA307E70-B7D9-4559-8857-BBC4B11F82B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9cd5f417e1d905e6455f84a5cd54432fcfa1125","datavalue":{"value":"W2015634335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$0353F83D-6F27-45F4-995F-43FBD5900794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d9d7e20771f362b5375539c59d60754096c5808","datavalue":{"value":"10.4064/CM115-2-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3615237$2FD38287-F7C3-44D5-9979-44DC14709B29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3622b805f412785f6aeacc17833164ba6ad1fabc","datavalue":{"value":{"entity-type":"item","numeric-id":3808071,"id":"Q3808071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc1ca5d9024a13cf93837f2d7bbe97d1b7ef4df","datavalue":{"value":{"amount":"+0.8389264941215515","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":"Q3615237$05D989AE-5F95-4664-8897-2C244393CE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1e497766ac35c29f0e7e98cf3cc19efe47729e","datavalue":{"value":{"entity-type":"item","numeric-id":1182840,"id":"Q1182840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e69c06f82ca793c5b7515986e31b4d9f22e5cd","datavalue":{"value":{"amount":"+0.8107025623321533","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":"Q3615237$AED2E692-272C-4397-84B5-BB608DC676D5","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":"dd64666b563bfc6a9fa81b947af2b7c55030093f","datavalue":{"value":{"amount":"+0.809400737285614","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":"Q3615237$1D97D5F0-1C87-4EB9-807D-FAC97DE53D5B","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":"0f7524c3be96666e7efd7899aa86a608dc314a9d","datavalue":{"value":{"amount":"+0.787055492401123","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":"Q3615237$33CE1D04-67B4-46B3-B300-0B83FC35811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eec677c1f54cfdcf0cfd83c866b5f822d13905a","datavalue":{"value":{"entity-type":"item","numeric-id":3970345,"id":"Q3970345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118f600e39daa53904792dd5a0c754f20f1a093f","datavalue":{"value":{"amount":"+0.7716040015220642","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":"Q3615237$02A3944B-E983-4217-8590-B25B9FDBC96F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Steinhorn's omitting types theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Steinhorn%27s_omitting_types_theorem"}}}}}