{"entities":{"Q6182795":{"pageid":13317683,"ns":120,"title":"Item:Q6182795","lastrevid":94151192,"modified":"2026-06-05T06:00:32Z","type":"item","id":"Q6182795","labels":{"en":{"language":"en","value":"A definable \\((p,q)\\)-theorem for NIP theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7781647"}},"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":"Q6182795$E760C51F-F167-47FB-A46D-58FAF9D6E634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4673cf8daa24cf6f793bc4a42aa5dcbf9d316e26","datavalue":{"value":{"text":"A definable \\((p,q)\\)-theorem for NIP theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6182795$D9430F4E-8A77-4CDA-873A-41354EEA1C7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe36c7c5213a38c4450f1e9b3914925c3c76ccf","datavalue":{"value":{"entity-type":"item","numeric-id":466121,"id":"Q466121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$EBE85070-E591-419F-B9C1-85D5EA70D2AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$64A47A25-8579-44F5-A909-C2E580A66B24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23f34c7b7169c04cc9c1e18e2316980df8a64e3","datavalue":{"value":{"time":"+2023-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6182795$AA4F9F9D-30B8-4A84-8428-BA2475E2FD80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"207203347cc4d0afc2a6fa7dfaee45d38aeb9459","datavalue":{"value":"https://arxiv.org/abs/2210.04551","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182795$93A6214A-9D48-41CC-B412-C949A13EE914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182795$F56F9408-835C-4678-A72D-57DD9B7CEC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182795$65821C2E-77DA-4D71-A0A1-451432068FA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f65462cbf4f57a9a4493fb52c37ed22cffa38d","datavalue":{"value":"7781647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182795$CE8E2624-9A51-4F34-833F-AE782C3DAA31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6182795$9CE4A592-9495-4947-9CAB-9720FE0A5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6182795$FF1DD7BC-71D6-40BC-A189-310F50ADC250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"228fbbd5c8d0c96499c52ad13c651fe78aa4557d","datavalue":{"value":"\\((p, q)\\) theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6182795$0557437D-507A-4FFB-A1FD-CBAB56499E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6182795$4873CAA6-3676-411E-B46A-5F7A400FDDFD","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":"Q6182795$74F615BD-764E-4A50-9412-184B1884F1FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a8a1daa260ffd702ecd3d78fc9af2a3ed7b46c4","datavalue":{"value":"W4388765941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182795$454A3171-8457-4D44-A4D5-0EA6BD94A58A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e19963e8604eab1719a76aeece860ebef5a130","datavalue":{"value":{"entity-type":"item","numeric-id":372618,"id":"Q372618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$47A4F73E-9E5B-494E-9159-137169C40BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fdd0450e8c8ac13b055e7e179ccb1bd6c0f0af","datavalue":{"value":{"entity-type":"item","numeric-id":2790718,"id":"Q2790718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$AE76F16A-60D6-4F06-8C17-C7859FD7E2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffef55ebef43316e458712733db9cfe043039ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1206503,"id":"Q1206503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$60FEC6D1-44A9-4523-A284-B10A9BAB1C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1739491e0a6c3cfaad2cd901324bb6993c9792","datavalue":{"value":{"entity-type":"item","numeric-id":4638980,"id":"Q4638980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$9923D9A3-BCAA-4574-8D2E-9E2812BD04FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2338b824f6354d248b089ca8101c79797072cb","datavalue":{"value":{"entity-type":"item","numeric-id":5388715,"id":"Q5388715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$617ABCBE-3D43-479A-AC96-0752B8E8ACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3aaa2f486e43a69bfb6bf567ef863b65c5bb732","datavalue":{"value":{"entity-type":"item","numeric-id":502150,"id":"Q502150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$B93DAF14-29C5-4757-93AF-F33629441E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabb382f70bc083ddddf8ed1f9e099ad8dfcd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":5247033,"id":"Q5247033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$85EE26AC-697A-41E0-8D8B-863E943C926A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ec81dc126d648ea15c0b09bb5050fd33455065","datavalue":{"value":{"entity-type":"item","numeric-id":4641675,"id":"Q4641675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$6801BF23-E239-4C40-ABE9-295C548E847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fe62e07b9fea3ed012a259a48599efb38fd476","datavalue":{"value":{"entity-type":"item","numeric-id":2892672,"id":"Q2892672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$48E16BBF-962A-4E9B-AB46-166893EF18DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792e393ced6ee8708d80ae7481ebe31828704e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2921011,"id":"Q2921011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$A851DC5F-4E7F-4C2D-9371-38AA2E2ADFDA","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":"Q6182795$CAD7617E-A4C3-4086-9E2C-3799367BEA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$E24FC3F7-2FF8-4261-BC15-A77AA6C1C991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31395f1e9306da2f1adc30ba700e163743fdabd8","datavalue":{"value":{"entity-type":"item","numeric-id":1935868,"id":"Q1935868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$D17282F3-10C1-41E6-8DE0-15122856280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e918ff01c4310e09206e2720eec55bc0646a5e9","datavalue":{"value":{"entity-type":"item","numeric-id":5177874,"id":"Q5177874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$B70E8040-8F3E-4938-9F24-133442823BF1","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":"Q6182795$4364E276-0AE8-4A55-AD14-60DACB23BED9","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":"Q6182795$412A7C32-6362-40FE-9186-ED737ABD4E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d549ed43edaa059bab6c31175643d6d11a317da","datavalue":{"value":{"entity-type":"item","numeric-id":5177873,"id":"Q5177873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$DCFDD4C5-E44D-4FC6-A2CB-680D445A1718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a277a8828c9907ac9c7a3e479c7bed8e7fa629b","datavalue":{"value":{"entity-type":"item","numeric-id":2879568,"id":"Q2879568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182795$7F3C7D13-F72F-4D0D-BB37-3D7DB3B1ECB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb362435916f7b6c57c6b58d98cdfa19fffb5c10","datavalue":{"value":"10.1016/J.AIM.2023.109418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182795$1A34F051-0BC9-4541-8383-52CDF65BB8CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A definable \\((p,q)\\)-theorem for NIP theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_definable_%5C((p,q)%5C)-theorem_for_NIP_theories"}}}}}