{"entities":{"Q3942942":{"pageid":5972847,"ns":120,"title":"Item:Q3942942","lastrevid":93087158,"modified":"2026-06-05T03:36:38Z","type":"item","id":"Q3942942","labels":{"en":{"language":"en","value":"Boolean valued models and generalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760142"}},"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":"Q3942942$DAFF0F5E-5729-4EE4-A7DA-4CC9860407A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1ee36fd55d1a2545b341f5978030f0fe78dba46","datavalue":{"value":{"text":"Boolean valued models and generalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942942$AAC1C00D-9E1C-411C-B92C-0E828A0B1AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39246ecf4d33f080e79219a8fa54d6d2358b64c4","datavalue":{"value":"0484.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$CB89EBBB-4781-48E6-B768-252A67385D1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007f9279791561a5a20420117ef13fbaf9964b64","datavalue":{"value":"10.1016/0003-4843(80)90005-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$8FF1ADC2-2743-4C4C-9EC2-D59ACE8F1FDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942942$F52BED09-C856-41EF-9FEF-6A523EEDD26B","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":"Q3942942$7F3C0824-53BB-4DA1-9D7A-65C7AE097BA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3942942$74E2388B-165C-4491-9042-20741A18504A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$35526D8F-EA17-4684-A1D1-8763C2EAD502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$1C07E694-98F3-4E56-860E-ECA6466F421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$A2A3B32C-29E9-48E0-92C0-B078445D0281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$C0C64337-D9AC-463A-8AA6-66387B8B8C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f139060894a50224febb1021457c75e3981d81ac","datavalue":{"value":"3760142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$16A9EB1D-B005-4CA2-885A-2315D241425C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd91dccf35051a67ec6bc5f9040d13f59c13fc7c","datavalue":{"value":"expressive power of sentences with a generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$601A24D1-1354-4277-9FAF-466886324BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$07A02F3B-0D82-4286-9740-605F6ABF5BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3c34d6e921be52633c71a2dce18ccd362e7595","datavalue":{"value":"Boolean extension of the constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$2175A21D-7E8F-4242-894E-AAB7527C14D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e339b53a325541f65ffb68ff5dafee386599a3cd","datavalue":{"value":"Haertig- quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$4CB20241-FBF2-4FE9-8FBF-A856D7FBEA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$F9625530-9EE0-49D6-9DE1-A27916B1C872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942942$980C5837-BEFD-491A-A609-7A5393EBCEA6","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":"Q3942942$450A948D-17A4-4CF2-8FFB-F0E38C6135C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eded40b879b4e8f07dd8d6da60e81ef089acee4a","datavalue":{"value":"https://doi.org/10.1016/0003-4843(80)90005-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942942$A89B9B0B-2FA1-429D-8E87-6561A76619FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0491cd9dee76bbc05c0a47c4d66b3e43d9103627","datavalue":{"value":"W2133292748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942942$33550229-1B59-49C8-9B6F-E2D27B0D63C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean valued models and generalized quantifiers","badges":[]}}}}}