{"entities":{"Q1782238":{"pageid":1792980,"ns":120,"title":"Item:Q1782238","lastrevid":73624350,"modified":"2026-04-14T16:42:05Z","type":"item","id":"Q1782238","labels":{"en":{"language":"en","value":"Ehrenfeucht's lemma in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6939324"}},"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":"Q1782238$25A0042D-72B9-469B-848C-ABE094D6370C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"917d50522647d4617527b483756c0e8058e5f9f3","datavalue":{"value":{"text":"Ehrenfeucht's lemma in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1782238$ECF32FEE-4E74-4E52-A416-3C1B56BA86D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ef4461ef994cfc08ab6c6cedb8a5f452ded3b1","datavalue":{"value":"1455.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$C4BB318B-AB36-4138-812C-656F547BD7D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d303396e2c070fc1fdd8ff2de1413b4f008a003","datavalue":{"value":"10.1215/00294527-2018-0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$6EF367E6-DAB5-46D1-837D-74FB36758C45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"174e92f3ead8acc0082f8fd37b55be1fb3dcc687","datavalue":{"value":{"entity-type":"item","numeric-id":435233,"id":"Q435233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$45A51F13-810D-4438-950D-F32F8F70FB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b305a5ef85fd84981f6c316a74538be082ff022","datavalue":{"value":{"entity-type":"item","numeric-id":412052,"id":"Q412052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$BAA803D5-BB22-436E-8F64-FC32890C0443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$1CFAF221-566D-462B-ABCA-F04C1F374923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$53480F71-749C-4B2B-83F9-DFC8B0A0CAE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718193faeaf945fe9ce440e932847a0b843702ae","datavalue":{"value":{"time":"+2018-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1782238$4E6F72D1-0343-41A7-A4C8-F44B8417C062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49045c8da80954f2c5fa1cb27bf079b8c77b6298","datavalue":{"value":"https://arxiv.org/abs/1501.01918","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782238$FBB06041-B576-49F6-9968-5EA758789251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eafcb6314c3a341e2d5630660838359e44bee034","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1529460366","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782238$63657582-CC0D-4435-A0BA-4F055A85F7FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$508D7428-D785-42D3-A2B3-50A688886944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$1547A005-7F33-4008-9636-F3A2E275D3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$E2968166-9E2C-471B-876E-7C39B01D0916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$7AA57606-9E57-426E-88E7-BC66550D4653","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2688b83dc4dd163f3151b0bbc6bd88e55f1894b","datavalue":{"value":"6939324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$6232C19F-4788-485C-8CD3-D101677074C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67ccb9894b700fc40d77fdbf6e0852b25ac73ed","datavalue":{"value":"Ehrenfeucht's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782238$F39A9A3E-F818-4978-A25D-22F5B75E881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8db1a4ad115b6b1ec2bba2532058262892715d","datavalue":{"value":"Leibniz-Mycielski axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782238$C5EBC658-5E57-4819-A10E-744F29D36EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e79e7e2c8a7ca2cb37c64aef4204d2b19af3a9","datavalue":{"value":"algebraicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782238$60245090-FD95-47E5-B6CE-1CC010B1ECAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9116a5fdd1004c4705aa0d94a54f1415aeb522e","datavalue":{"value":"ordinal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782238$013F5ABF-0590-4359-A855-62FCC6E34F6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$61266D84-406A-4133-80DD-EBFCA1835FAA","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":"Q1782238$A5852A8C-9425-4181-9996-9BBBB092A151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a83eaab2cc2612055093b833ef22c0b788972b66","datavalue":{"value":"W1576970471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$C8724BC7-D9AC-464F-B952-86447406400B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"691e034630766f6c3ccf2ecb740d14ad295e2949","datavalue":{"value":"Q124967791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782238$1F3E62C3-3845-4B60-8CAF-1E70467F173E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bdc056bb3e02e3a14e1c8a5e86c31e8f88f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5611002,"id":"Q5611002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$8B497082-89EC-4BBB-ACF6-B474A9A5B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24177d07bda2aea0e54a0aadcf93649545df2249","datavalue":{"value":{"entity-type":"item","numeric-id":4404878,"id":"Q4404878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$C7F7392C-415B-4304-9E7C-B7BAED029CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3660287890bc0bb860250e1ad4a290df33634","datavalue":{"value":{"entity-type":"item","numeric-id":5311752,"id":"Q5311752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$97D715C4-E5B7-4A02-A3F6-A726FAF9C34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4b9b24d1af13fb5db0ed2abf10eb5647146f37","datavalue":{"value":{"entity-type":"item","numeric-id":4829349,"id":"Q4829349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$F2301013-AC33-481B-AD92-91D282E6346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972e7530e39d8fc945a4cf299602f0ae6ce6436f","datavalue":{"value":{"entity-type":"item","numeric-id":4108328,"id":"Q4108328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$F53F3C1B-3C44-46EF-B420-537F0AD36001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$EA2712DE-98F5-43CE-8F96-7DB6E84D8D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2627b967c2520e2acc0a465b8aa943970417ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1098846,"id":"Q1098846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$65328D4E-A75C-4B1A-9E9E-E1B5BF160060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925a6b1cd1dd61f53e21ee48be0d05019f4b26ab","datavalue":{"value":{"entity-type":"item","numeric-id":306841,"id":"Q306841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$2E484E86-42E8-458F-A11B-20949D2DC180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4992053731190cc1037abc11d921eaa06bc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4916549,"id":"Q4916549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$268B56C1-8CCA-412B-A439-8889EE55568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cef2b559866815b2c5e665e845f6e4a5212ad7","datavalue":{"value":{"entity-type":"item","numeric-id":4967706,"id":"Q4967706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782238$01F1600D-81C8-479D-8E79-DF6156EC249D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c145c82d1325e5c582a5401e6ffbdd462e2fb90e","datavalue":{"value":{"entity-type":"item","numeric-id":306841,"id":"Q306841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155312f950dec99ce0815826e4aef6c4e0a6aa6b","datavalue":{"value":{"amount":"+0.7378787994384766","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":"Q1782238$E8672640-3372-47E3-93CB-795FABCC9762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d750732990c70943ee1241539eb2b6f4d5e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":4916549,"id":"Q4916549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9355ffe28b03f6d06067ae1ded1a25af575da896","datavalue":{"value":{"amount":"+0.7113867402076721","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":"Q1782238$B5EDA29F-2765-4B4F-8539-C4C482C0455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b782d4beb2682c9e15b7610c91f1e4c33b894a72","datavalue":{"value":{"entity-type":"item","numeric-id":5108871,"id":"Q5108871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1454de67dd28980751159a77f6461ed53f47c1f","datavalue":{"value":{"amount":"+0.702376127243042","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":"Q1782238$C0E45958-7AF5-4A26-8F0B-BF82D512D510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a12e2098c60582d29b852b5296948858eb9ed0a","datavalue":{"value":{"entity-type":"item","numeric-id":3807185,"id":"Q3807185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454277bd636ff7a24ea0de6d22c237f45f31ffc5","datavalue":{"value":{"amount":"+0.6906473636627197","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":"Q1782238$41BB5341-A38C-492B-BF8F-CF698A43E314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d33c1feefa99da6e9a8091ded4630f50343173b","datavalue":{"value":{"entity-type":"item","numeric-id":3832550,"id":"Q3832550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8446908eadab1855df2aa324cd0b1b39f320ab","datavalue":{"value":{"amount":"+0.6896750926971436","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":"Q1782238$6C46F3DB-A3E1-43E2-BC64-F433F8A04812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ehrenfeucht's lemma in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ehrenfeucht%27s_lemma_in_set_theory"}}}}}