{"entities":{"Q5738205":{"pageid":7767758,"ns":120,"title":"Item:Q5738205","lastrevid":58597773,"modified":"2026-04-05T22:38:28Z","type":"item","id":"Q5738205","labels":{"en":{"language":"en","value":"Definable and invariant types in enrichments of NIP theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725068"}},"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":"Q5738205$2FAD2A97-BB44-4FD4-96BD-5A3B20E5EE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0d34925b4538b75be21f77dcc42e8153bac6116","datavalue":{"value":{"text":"DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738205$48C073DF-9A35-476F-A34E-CA474C1CEA25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12b4622b9b99bee0638563de2f8801baf76068ae","datavalue":{"value":"1383.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$A5A415F5-ECF5-4E99-A7EC-FB78FE87E718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6c55bfbcc6a0f0b39f31cac8f911506549e059d","datavalue":{"value":{"entity-type":"item","numeric-id":1741613,"id":"Q1741613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$A005BEC1-83A5-4FFD-9A19-40598C29D78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab41c88f1c0d13d481bd105e9d460bc074a8bfb","datavalue":{"value":{"entity-type":"item","numeric-id":522324,"id":"Q522324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$91CE2D0B-25D1-45DC-87CC-6B37C836FB43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738205$48382705-6C48-460B-B6A9-A9444BC7B9F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e85405cda757a34c9233520dd0a0c8dc8b333d0","datavalue":{"value":"https://arxiv.org/abs/1507.06863","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738205$98BF30C5-8995-423A-9B77-A5E79A433AB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$9B4C8A6A-5E2B-4244-B3F4-31306AA8DA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$D647CC43-892C-4BA0-A46B-1D0930C45EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$F91DF87D-20C0-4F48-8507-B5752DC09A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$0597A38E-324D-4009-9FB8-22BD13712AD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed8f6943f158c1dcfcb5f435efabc7efc042538","datavalue":{"value":"6725068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$611EF697-E4BC-4DC3-9E0F-D2E935BF33DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87223784b68785a029fce54a924c0b0a8720f66","datavalue":{"value":"NIP theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738205$FCD55F91-C6CE-4B78-B884-935575DFC686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c71c53761b5f5fe1c2b5238d0317d3e555459","datavalue":{"value":"definable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738205$57A1481D-4963-426C-8107-3349CF5A1306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa5c6de25bee60021c16e4c321deef0ae8a36cdb","datavalue":{"value":"invariant types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738205$75B6706B-3A1F-4DAF-9027-B85FEE458FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a4137cec8781711c568cdd66c15b894b3430ef","datavalue":{"value":"reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738205$E25E834B-BA1F-439C-BD96-B9FBFCE4DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c652f70a3ff77cc8df30bd9a5682d3afa8870ae","datavalue":{"value":"valued fields with a contractive derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738205$7534E7A9-1C2C-4983-A280-3D883D10A722","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":"Q5738205$CA17B7CD-8F12-4358-9BAB-77E73A938CC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ddfdf80aca57208e3c535c367d88fc2e13f4353","datavalue":{"value":"W2964218573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$B3CA46A2-2B99-4F2A-BFC6-EFEAEAF48370","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98354319c417a2450fe6e98dcd2154a36fcc766e","datavalue":{"value":{"entity-type":"item","numeric-id":3413792,"id":"Q3413792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$8F2B89D3-B47B-49A3-98D9-10C052E38809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$45C7813D-9D5C-4720-82FB-2E93300868A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6e62b8817c473ff82720b67ee7cc9d4841f89a","datavalue":{"value":{"entity-type":"item","numeric-id":1880214,"id":"Q1880214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$16B34CFF-6F4C-4F8E-A1A2-BF9A60CC348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d3669e4bcf876e6db3775df1c34e4a18a68355","datavalue":{"value":{"entity-type":"item","numeric-id":2710606,"id":"Q2710606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$0FB5CE55-9EEF-4378-8EBF-14308DC62B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$46E50120-DC35-4A04-8538-1ADF093DEA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494d99ab28ddc17262371ad62df1801d6d2ec64b","datavalue":{"value":{"entity-type":"item","numeric-id":5744319,"id":"Q5744319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738205$A965D8DA-14AB-4F0A-B6BF-1D9BDC1EE4F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f64f44ce463d70fe5496a088c4a83f76ad57a0","datavalue":{"value":"10.1017/JSL.2016.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738205$118F9CB0-A818-42B8-B16D-9E4C04230098","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":"Q5738205$667E58F3-CF60-4D1C-816C-44E156C09A45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c468155731fe9066fabb306b5f7ca857b7aaebe","datavalue":{"value":{"entity-type":"item","numeric-id":5744319,"id":"Q5744319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b1d0a64999259e25b7d8ea1c91d314ba36b4db","datavalue":{"value":{"amount":"+0.8102981448173523","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":"Q5738205$48270442-788B-470F-995A-41C422B1C4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dd24182a7fcd43f9b6f22c9484b87e0ab6a121","datavalue":{"value":{"entity-type":"item","numeric-id":2793905,"id":"Q2793905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc370cded4a22915557016d8004a063549404062","datavalue":{"value":{"amount":"+0.7735555768013","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":"Q5738205$C8AFA039-A29C-4A63-B65E-ECBBA16590C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c4630e9a3f23114dc6a45e34bfa6f45d423d4b","datavalue":{"value":{"entity-type":"item","numeric-id":5247033,"id":"Q5247033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d2d7a459ec0dc804ba61389a7063dd80ab92e8","datavalue":{"value":{"amount":"+0.7266900539398193","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":"Q5738205$201500D8-676C-46E0-AD5E-CDACC5CE56EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748a12a88db753d7ea388b81d129ba58536b6b97","datavalue":{"value":{"entity-type":"item","numeric-id":2288336,"id":"Q2288336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e66c25d3a09d2b727d7534a56b93a13dee8213","datavalue":{"value":{"amount":"+0.722932755947113","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":"Q5738205$2B08DCD1-EE04-4570-8EEA-AA4F3977EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e031e4cd311fa6564d62b88763dfb88c301d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5256621,"id":"Q5256621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aff221ff264b6eb27bbea5686cc12fe9e793b65","datavalue":{"value":{"amount":"+0.7210033535957336","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":"Q5738205$69DE40F4-414E-4953-BEED-F166FEF36755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738205"}}}}}