{"entities":{"Q3879227":{"pageid":5909132,"ns":120,"title":"Item:Q3879227","lastrevid":54597920,"modified":"2026-01-29T05:03:53Z","type":"item","id":"Q3879227","labels":{"en":{"language":"en","value":"Two model theoretic ideas in independence proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683575"}},"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":"Q3879227$F045CBBF-18A7-4C10-AE24-210C8CF40CC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aa824d1432cdf70f32d58125868c0ddcd03b718","datavalue":{"value":{"text":"Two model theoretic ideas in independence proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3879227$9E2DAA4A-0548-43F0-ACAD-6D3FB86AEFAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f41189c983c450100e409621ac960574a1cc3e0","datavalue":{"value":"0438.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$75E19993-A376-41C6-9B03-F9806CB9DE52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53b3921e8bc468fd5a6d8079ea807eb04804dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1215497,"id":"Q1215497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3879227$47245B4D-E865-4B7A-A91D-FB7739098431","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3879227$AC192583-174D-4266-823C-4C35114C9814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3879227$9DB40758-CC21-4D71-97B6-535193CABC78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbcba8b0e796db063e5c879e0b794ee32e804204","datavalue":{"value":"https://eudml.org/doc/214946","type":"string"},"datatype":"url"},"type":"statement","id":"Q3879227$4779B831-615F-4B4E-A038-29752C3F8147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$F2A40DCD-5038-4141-BA17-0807DEFB0A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$C8AB587C-6EA0-489F-AE18-80F2535CF70E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96f5af772d933f0953e9539187884192a64da9bc","datavalue":{"value":"3683575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$FEB429A6-68E0-403B-8474-C9CAF7876CEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf78d90e1e66c8eebc9f3869f46478960cc9dad","datavalue":{"value":"Mostowski's intersection lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$F5009E76-7514-4CC3-948E-A746D80B4637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1258ce5b1a085c41c27ff1de7bc1674d1489a8dc","datavalue":{"value":"ordering theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$67674BC7-34EC-4C32-AD1B-552691D9F5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$45BBA867-60DC-4070-93A7-157C94B4F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$3238B199-883B-4381-807C-15D5F3C199B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$F796A7BB-918A-403B-9194-1F6F44F7C8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f46f9500d3cfab9a490ff8f8f980ccdb23bfd8c","datavalue":{"value":"Mostowski's linearly ordered model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$7C1ED193-F0AF-4CFE-94D1-F3C2FF5C0C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd2f9323d4fe988b90123a4fbf58107426221f2","datavalue":{"value":"Ehrenfeucht-Mostowski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$142456AA-CF51-4884-A20E-E08DC552D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee15933a62b5c97d40dc62b31c175f00c3ce87c","datavalue":{"value":"Halpern-Levy model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879227$2428C2DD-DA6C-4B75-AF5C-BFB3DAD9156E","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":"Q3879227$CAF8EE29-4BB6-4DEC-8599-E23A9DE2EEB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0680a62ad01317afc28c937ef5180cb250f45c19","datavalue":{"value":"W816610133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$270D5CCB-D0A7-43F8-963F-2EF433426CE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3acb66169dc186322181501477d1f756c2f1dc13","datavalue":{"value":"10.4064/FM-92-2-113-130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879227$2F6309E5-3853-46EA-9C4D-6018994EA237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3879227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3879227"}}}}}