{"entities":{"Q4774043":{"pageid":6803623,"ns":120,"title":"Item:Q4774043","lastrevid":74617011,"modified":"2026-04-14T23:36:53Z","type":"item","id":"Q4774043","labels":{"en":{"language":"en","value":"Model existence theorems for modal and intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3448577"}},"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":"Q4774043$5C45C48D-E85C-4530-BC77-BAC306D15193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09e3b8a79d9bc90c3019113e6ac53f4441835304","datavalue":{"value":{"text":"Model existence theorems for modal and intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4774043$5EFFBC8F-7B41-4CD2-888B-ADBA16787545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6de4b68a06e12dd1f15b4e310b0285a98827293a","datavalue":{"value":"0286.02060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$482208B1-B547-4278-9CF5-332E8744347A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f88856003d91e581b4c0c82573f22d5b1ba4bd93","datavalue":{"value":"10.2307/2271986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$537813F0-29EF-4E55-816F-6349BD6DF4AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4774043$0569A70B-79D5-474C-B979-396D8A724B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4774043$C2D15AD5-05F3-4F5D-B7B9-EA2F3380E720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4774043$3B3A658E-635F-45EA-A08B-D2F9285BC382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$70F71BFD-80C8-47DC-AA2B-8DE5A45A9606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$A3FB06CE-4D80-481F-BEAD-D153B04D6651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$A22FFE34-E7F7-4F18-AF68-F0415D8C981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$A376C90C-B1BB-41AC-871A-4ED27DCB6C1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad6e3de406b26407b95bd75eb536283ff5052e58","datavalue":{"value":"3448577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$057AAE65-6C10-4544-AF96-60E888C1AF57","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":"Q4774043$D797D85B-719E-479B-9882-2081762CD491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f3f019f5eb756412ef9d19743404b42bed72a01","datavalue":{"value":"https://doi.org/10.2307/2271986","type":"string"},"datatype":"url"},"type":"statement","id":"Q4774043$03EFD866-0B0D-4EDD-B2EE-DCCDE583D70B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"058c9768bbcacb9621bee53a73dfc8300b44c914","datavalue":{"value":"W2127246914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4774043$1886D3C2-20B5-491A-A113-3D5FEFE8ECAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4774043$529E23EA-8EFA-4969-828C-921A295223EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4774043$26D784BF-10FB-4BAE-8B1E-035C8EEBCC57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model existence theorems for modal and intuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_existence_theorems_for_modal_and_intuitionistic_logics"}}}}}