{"entities":{"Q3875907":{"pageid":5905812,"ns":120,"title":"Item:Q3875907","lastrevid":87742715,"modified":"2026-06-04T12:32:09Z","type":"item","id":"Q3875907","labels":{"en":{"language":"en","value":"Model-Theoretic Forcing in Logic With a Generalized Quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679795"}},"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":"Q3875907$D1EC4DC7-F7F8-4691-8FBA-3E4BB4ED4514","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f26f82413e7e11457ab0e6f4bbebf4ebb13f431","datavalue":{"value":{"text":"Model-Theoretic Forcing in Logic With a Generalized Quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3875907$76B32563-98EF-424A-8E41-5328E84F5952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92fc756eb72b29b883d37f7b20cccade4644dd10","datavalue":{"value":"0436.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$2C8D0349-1F78-48C9-ABAA-6D155454C14E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1967482729a3ff4980558b45f4b8f0ca234f8e1","datavalue":{"value":"10.1016/S0003-4843(78)80001-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$42B99BDA-E227-4E7B-908B-2113E7F70CC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98fec3557092856a170ce9a1aafd90c4f7da6f39","datavalue":{"value":{"entity-type":"item","numeric-id":751292,"id":"Q751292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875907$C9E57ED9-D4E9-4C25-890E-371E484BAD0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875907$D0F33DB9-1DF4-4DB5-BFC7-8187270999FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3875907$A8EFC489-C533-4D23-A246-7CAA91D57AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$27C7D5B0-2B49-4D96-BFF2-795C1A7A2F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$3E7312CD-5A4B-415B-87EE-38D3E71B2145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$4BD7CD2C-B6AA-4DAC-9254-748E93524955","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d789c9816fa7d87bfdd1919ce7983a99a36a2e16","datavalue":{"value":"3679795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875907$0143945E-7BCD-49DB-86A6-59CA74029BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b45a5089bbadc4ad8b6523c6e2d5d6da43bb1ff","datavalue":{"value":"standard generic model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875907$05E1C265-C71C-4F06-8FDB-4257A77506AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875907$BA8352DB-829D-46B2-AD21-933596CA1CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746a654d9e7016c0cb6f00ed39ba471abe7a2d81","datavalue":{"value":"ideal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875907$C7428C5E-4C76-4E21-B6FB-B6F345B4C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cd31d2fab07789943f075a04a91c038cfa8380","datavalue":{"value":"omitting type theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875907$2AEAC2AB-3951-4016-9D63-2D73101E659E","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":"Q3875907$8FAC3D02-D703-45E2-AE1F-D9BE06C67DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-Theoretic Forcing in Logic With a Generalized Quantifier","badges":[]}}}}}