{"entities":{"Q3877662":{"pageid":5907567,"ns":120,"title":"Item:Q3877662","lastrevid":88949912,"modified":"2026-06-04T15:55:51Z","type":"item","id":"Q3877662","labels":{"en":{"language":"en","value":"Omitting uncountable types and extensions of Elementary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3681741"}},"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":"Q3877662$1BE9FFD9-057E-44BC-BDBC-2EC798098860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e052d79af517af5570e468d53d5d4bd1a7d04e2b","datavalue":{"value":{"text":"Omitting uncountable types and extensions of Elementary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3877662$69401374-DDFC-4712-AE65-F8B445457DC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"160209d838597e717a6ace1ae04ed90ada8a5d74","datavalue":{"value":"0437.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$15313812-9359-44EC-965A-F336884D6831","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877662$C4FE48D5-32AE-404B-BC3A-D29176C04137","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":"Q3877662$5B592F86-CBC0-4B0E-B9F0-D3F1BC5AFFE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$41797C4D-CCFC-41CE-BD5E-C90805144E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$DF00047D-76D8-4B8E-BB7A-4C496E4F1005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$A1201BAE-895E-4720-A96C-F9A5F5000A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d32be9ebabdd2dfe78fce37f1e113b452e47098a","datavalue":{"value":"3681741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$0FCE5D64-C4D5-4A90-A11B-E10E41F776DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4156d46397f6174e2f7c0fd09fa485e1a6a33b","datavalue":{"value":"abstract logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877662$6D2B870C-3BA6-44EE-83D8-6F12D8A5A74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877662$462CA503-B323-464E-8552-E8B410167F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877662$60263CF8-25F0-4BB8-92AA-D4CFAC6E59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc4d5acf6627927437e06c54712281aa2e7eaff","datavalue":{"value":"infinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877662$B13D7D73-E4F3-4D46-AA6D-358AF64C7B38","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":"Q3877662$19242958-2333-45F8-A3E8-C66A1E78C4EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"321218f40f99b9931804509fade131555c24e0d6","datavalue":{"value":"https://doi.org/10.1111/j.1755-2567.1978.tb00174.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3877662$FC29B16A-BD45-4392-8561-DDC320123F22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77f58275228cf994cca23c442bff5b3007de6a6e","datavalue":{"value":"W2067980579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$025FF402-69AA-4862-A7EB-3FC0C752637D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcac74aed7ddf414983a052a953e8173a47b3607","datavalue":{"value":"10.1111/J.1755-2567.1978.TB00174.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877662$723ABEC5-C7A5-4BEF-9459-97EA4AD72C4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877662$F7AC5C92-5F08-4A33-B945-28B43E166CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Omitting uncountable types and extensions of Elementary logic","badges":[]}}}}}