{"entities":{"Q3856757":{"pageid":5886662,"ns":120,"title":"Item:Q3856757","lastrevid":54540272,"modified":"2026-01-28T06:02:08Z","type":"item","id":"Q3856757","labels":{"en":{"language":"en","value":"Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3657793"}},"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":"Q3856757$2720BF13-7A23-4AE0-A0DE-134BECB51E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a65a08cb5ae3c1e99342769c6c03b748c0ee56ac","datavalue":{"value":{"text":"Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3856757$BFC7D58B-2796-41E6-9D46-EC045FEF4513","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad96b6824984b68f1fa1e3d354ac5f00d38832ac","datavalue":{"value":"0423.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$3BEC4A40-274D-4DDF-89B0-922D8FF09774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"525359c0037fb1f4d9361990eebc7321983352f3","datavalue":{"value":{"entity-type":"item","numeric-id":1148311,"id":"Q1148311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3856757$4B10C855-4253-49A1-993A-696A6126CABF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3856757$72D48566-59A3-41A0-9AAE-E939F46FF9AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3856757$67AC4342-4C9A-476F-AC62-71A41ED9825B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$AC29224E-187A-4A24-9CBF-9FA7509D1668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$5FD84CCA-FE2B-428B-AEAD-941559A08FA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"190d107381fc97d44eac3535211d4cc3765524d6","datavalue":{"value":"3657793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$FD240579-5C89-4B96-B8DA-317E18666848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856757$079038FF-CE3F-4270-8C76-93E56B4B8352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856757$17C3DC3B-B5C6-49D8-B8E3-3318CE23C9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe24833831a54a220fee080df51e22e08d1caf1d","datavalue":{"value":"infinite binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856757$AFF22A94-8375-4EB2-A864-6EC1CD4B5518","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":"Q3856757$7E79A1D8-AF3C-4DF2-BB56-C1D4EBA79716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9754642c6f6262bd028658d7b58a8b2f95ed3abd","datavalue":{"value":"https://doi.org/10.1002/malq.19790252505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3856757$EAB6FE14-9106-42CE-81A4-AB039E923991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8537b22c126f17428acaa22cb274ac292d75218a","datavalue":{"value":"W2085411767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$E9A08B04-2C07-4899-94E3-EAE27DB35273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7616c885f90975bdb0f7a5ce8d7e9ceee528ea1d","datavalue":{"value":"10.1002/MALQ.19790252505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856757$129BED1C-9342-407F-BE48-3744FDB55CBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3856757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3856757"}}}}}