{"entities":{"Q1239313":{"pageid":1250063,"ns":120,"title":"Item:Q1239313","lastrevid":67234515,"modified":"2026-04-12T16:16:07Z","type":"item","id":"Q1239313","labels":{"en":{"language":"en","value":"Applications of Kripke models to Heyting-Brouwer logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3561303"}},"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":"Q1239313$5FFDA039-D948-4099-941A-53C203643EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5faab4e9fb7e719d582aaec89d6597cfd6cf175","datavalue":{"value":{"text":"Applications of Kripke models to Heyting-Brouwer logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239313$B8AB6C96-3044-433C-A9A6-CFEFCC717434","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f03ab9427a18112f1938d771eadc24c7a899f6","datavalue":{"value":"0361.02033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239313$15BB010C-FD79-4736-8509-A6AB586F773C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1dd06cf38866af3781e139b23db73502ceaec5e","datavalue":{"value":"10.1007/BF02121115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239313$9A5CB0A0-B395-4A13-9DD8-C38A7CD93615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a81a53aacfbf6cdcabf7bd4a71e841d8d1a546f","datavalue":{"value":{"entity-type":"item","numeric-id":787690,"id":"Q787690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$86F35E41-0B5E-49EE-BBDC-C5E1FADA80E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$F97DC94A-35DF-42D4-96FC-906FB0041295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1239313$7EA9E77C-1B3E-4FC1-9894-E51E67554628","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239313$94FD5A38-4B0D-4E92-86BE-10E711BF7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239313$A6487FA0-3EDD-4B98-9941-16E57B64ABC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ba5297d8e93bd6560c1592522a73a9d4d89b62","datavalue":{"value":"3561303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239313$76406F56-9EAF-47AA-86A8-FB417C6EBB89","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":"Q1239313$116D8ABB-E9D1-4D87-B62E-7169019CC0E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$7BDA2332-0D68-4E55-9AE8-A95E369C8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$8F4412BF-E637-49AA-ABB6-AD3EDBB1C1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9615869d68871872d3dc44a27c42f913754eb241","datavalue":{"value":{"entity-type":"item","numeric-id":4141242,"id":"Q4141242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$03BA50F0-098D-439B-AFD6-325CBE7CF48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb691ce41a7ef44b79ceb81e3babab9e31844af","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239313$350E1935-BFBC-4BD1-95E6-EB2C111C0ADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of Kripke models to Heyting-Brouwer logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_Kripke_models_to_Heyting-Brouwer_logic"}}}}}