{"entities":{"Q1158142":{"pageid":1168891,"ns":120,"title":"Item:Q1158142","lastrevid":69759144,"modified":"2026-04-13T09:11:45Z","type":"item","id":"Q1158142","labels":{"en":{"language":"en","value":"The n-adic first-order undefinability of the Geach formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3739499"}},"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":"Q1158142$36E91041-0A25-4679-BD21-5DB72F33DB0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cc6fe15639f511fbe19c6f6d9fd6a078c5fd848","datavalue":{"value":{"text":"The n-adic first-order undefinability of the Geach formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1158142$D3DAD353-704D-4C59-AE13-B5AE7D3DB857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a02383b257faa4d53f78fe6fafd79c9a4788e58c","datavalue":{"value":"0472.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$F14027C4-889C-4ADF-9BA1-9036685F27AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1158142$C036900B-5DE6-41B1-9B59-409139052330","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":"Q1158142$C925C5A2-EFF1-4C0D-AA99-A6CE16F3DDAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1158142$0BFB107B-0652-4787-AC95-03EA47546199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$9E3A2A1D-379E-411C-9C4C-7BE81C52FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$98AFCF4E-6427-48C0-80B6-CBA43929C636","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c0a27e98e8dcee16f42644c6028607c3531c9e","datavalue":{"value":"3739499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$432BDD71-4011-40E8-806E-5BF63CAEC5CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158142$13C69D2A-BCD2-4429-8628-A7A6173A6E47","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":"Q1158142$2B8AF6A8-C615-4F98-B9F8-596198E3ED48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebb061e628c3a7f67705b7f2d74704648b469a2b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883516","type":"string"},"datatype":"url"},"type":"statement","id":"Q1158142$A81CEA75-6E43-4D69-8887-26DD36F3F86C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"808e64660d985b49513fad4bd63e0267d5c185aa","datavalue":{"value":"W2057628701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$E3220C39-D0DC-4C4A-9541-CEFE29C3FA12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b8ee8233e7e1df0d8bf551d52283bbfe94085d1","datavalue":{"value":"10.1305/NDJFL/1093883516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158142$1AE5D604-830C-4FF8-90D2-FCC8D1B49255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The n-adic first-order undefinability of the Geach formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_n-adic_first-order_undefinability_of_the_Geach_formula"}}}}}