{"entities":{"Q5222537":{"pageid":7252107,"ns":120,"title":"Item:Q5222537","lastrevid":58491768,"modified":"2026-04-05T11:07:40Z","type":"item","id":"Q5222537","labels":{"en":{"language":"en","value":"Spaces of types in positive model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186309"}},"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":"Q5222537$FAE761DA-9239-49FA-A7BD-C347D18BDBF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"910a71fcab8a801525a3094327118b775cf86b36","datavalue":{"value":{"text":"SPACES OF TYPES IN POSITIVE MODEL THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222537$DAC77553-F2FF-4FE3-8297-722805AFF1C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aa9b49f8dca781eb68d4c018d7ea4ee63949d51","datavalue":{"value":"1468.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$CEF44B88-3BF0-4344-B182-9D8D198163FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f75c525b59172aebefa7238ec92b0f7c1a80d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2022771,"id":"Q2022771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$9558FF0C-C658-44CA-9D32-B4FDF809CE38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222537$C37E00EA-5475-4827-93F0-6BC0759A0295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27b0c6cb807910f6b1b8b7534b633fdd52e43723","datavalue":{"value":"https://arxiv.org/abs/1711.05754","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222537$8CC96002-1B9D-4119-B5BB-33F07826AD12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$7FB0B629-6E11-4B61-A33C-46EFFA675D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$7A1F5086-6F1F-4CC1-8A6E-A05A788B536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$9E320C16-D610-40CC-8174-6FAD871DC468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c707cf82d23c1c53db25c6c2b05743f115549ad1","datavalue":{"value":"7186309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$8A39DA56-88AD-4D6E-BBA2-41F920B66BA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4826142ceaeb21de4e3bf2eb3ae576450e35f63e","datavalue":{"value":"positive model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222537$43184772-CA96-4015-8F69-FEE4E81719D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222537$7A253F47-E4D6-42F0-811E-D10EBB5A5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222537$57F74228-957D-4673-8D6A-C36AA31BDD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced3d410dc3811b144735d1800275d66b96c7bb3","datavalue":{"value":"atomic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222537$7D66B6B0-2E9B-40BB-854D-248DD3AE5F8A","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":"Q5222537$F0F2836E-BB96-4848-BB90-D3DFEBA4229E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5646def7f7b0699b10aecc45a6ecee73c45cced","datavalue":{"value":"W2768103053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$0DAF17DE-2736-4C97-B342-242C33B4805D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47091eb481507ee5434151a022d444cdd67780af","datavalue":{"value":{"entity-type":"item","numeric-id":2452678,"id":"Q2452678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$D2D8A072-246A-45AA-B402-965813233AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1003c3b824402da75d1eda2657089a22fd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$BF0E3AA0-B34F-4875-9127-A23821DF00C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eda127bb16973fc6d87de4b1da910dabc75a509","datavalue":{"value":{"entity-type":"item","numeric-id":5444691,"id":"Q5444691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$339A8E0D-CFCD-49A0-8994-2DF74B1B4080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff1a7d8cb713a95d4566ce6118a7a2ff0ad8c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5576276,"id":"Q5576276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$404170BE-9D79-4899-980C-6004CA70B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedadcb6b96cd2c929e3222c7cb41ead94410f62","datavalue":{"value":{"entity-type":"item","numeric-id":3686704,"id":"Q3686704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$2601EFDA-7EE3-4C78-B7AB-E8FEC9F876C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425c3283276511ec9c0ab2c00a47e3206beab3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853688,"id":"Q3853688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$F4CFD167-E95B-4564-8085-68148641B9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07da1279815a1474997aafcd3b4d0ba36a8383c5","datavalue":{"value":{"entity-type":"item","numeric-id":4067749,"id":"Q4067749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$CBF2C985-C0B3-4199-935C-019E8AFA1393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a2f9343d8c6a8daa53cd72d420223208ed2da0","datavalue":{"value":{"entity-type":"item","numeric-id":3993096,"id":"Q3993096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$2440580B-8F65-4063-83F9-63B29E7F325A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$D254A049-BA94-46C5-9863-9CBA5B007D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe07eb2c2a0a625b5b19b5ef8a02afb543e62b2","datavalue":{"value":{"entity-type":"item","numeric-id":4650297,"id":"Q4650297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$46F634C2-2D62-4D16-9F73-30799D332C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6be4a19a5f259e8475272083c0be0f20355fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":4063438,"id":"Q4063438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$9F32CE5E-1EA1-4F36-94D8-F486EF38D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254fe7abf7392c932be6d175e7f3d02d9a9cb12e","datavalue":{"value":{"entity-type":"item","numeric-id":2758394,"id":"Q2758394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$3A4EBCBB-E484-4561-B8EC-8E41EC3E6CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3d478f2b9ced4aec8bcef99066f55ee95ff6f5","datavalue":{"value":{"entity-type":"item","numeric-id":636321,"id":"Q636321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$29C44204-2247-4F1E-8A5D-20C77B9061B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcbc42e7ac4be6c3773dc1c880afa3ac84d24a9","datavalue":{"value":{"entity-type":"item","numeric-id":1653552,"id":"Q1653552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$7024B5C5-3404-40BA-98A3-7C8A985274C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fb458a8b1a8f33c11eb9fbae1f2fcbf844a643","datavalue":{"value":{"entity-type":"item","numeric-id":4132524,"id":"Q4132524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$C41CD0BA-E1C3-43B4-BFC6-E4B673CE3207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17523dc44008d0637dd8b270ca4624756fa2169","datavalue":{"value":{"entity-type":"item","numeric-id":4149755,"id":"Q4149755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$C6B1C002-F9FA-43C3-969A-BD8F48EF47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$28446E7F-7B27-46FE-93F4-99367F10D3CB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4006a3f7c1846777b14fb2ca43784d2b52ac5342","datavalue":{"value":"Q128546878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$9DE16DEC-0B4E-4C21-8E83-5032E367EA3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"247b8be3d6646f4c12d4cc51c1464485d12dcbf3","datavalue":{"value":"10.1017/JSL.2018.84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222537$2CACDBE3-C0BE-4545-8F86-45E855F0929F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222537$9A417894-19D0-4237-8A9A-B55CE826D488","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182327e469d1829f8a2779409dd926e32eade404","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6570efd9e40575006fec797dae4738832e6746db","datavalue":{"value":{"amount":"+0.7970489859580994","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":"Q5222537$FE675D11-AE12-4700-8A68-0D5EDF53F019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41f1edd09350e58c74928ee6b73e6100e8611c8","datavalue":{"value":{"entity-type":"item","numeric-id":2452678,"id":"Q2452678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cb4fed0a66fa24ff10b88c280868bbc4c90789","datavalue":{"value":{"amount":"+0.7564547657966614","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":"Q5222537$2359DD0F-E5C6-4CE6-8CFD-47D3E0E13E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f32b695f776a122ad91b985d6df57098b95036","datavalue":{"value":{"entity-type":"item","numeric-id":5444691,"id":"Q5444691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a681088b94fb545058b7128cfe935422e23fa929","datavalue":{"value":{"amount":"+0.7296440601348877","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":"Q5222537$BFD03709-B11D-4B24-BBF6-46A419E86280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48becbb9eccc57dcb022fc93f878d3a0914a8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3370626,"id":"Q3370626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3186f9772a911200eb1494c1f1bd51301a1dc8","datavalue":{"value":{"amount":"+0.7180899977684021","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":"Q5222537$913093CB-5144-4306-ADC4-502BE1BA862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8074560911877e7d70accaffb814415bc5829709","datavalue":{"value":{"entity-type":"item","numeric-id":3410683,"id":"Q3410683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9402fa1749356f76e35d6ffcec2a0f2362c20eed","datavalue":{"value":{"amount":"+0.7172417640686035","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":"Q5222537$17AF82F1-77F3-4C85-807E-B8C94262B2DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222537"}}}}}