{"entities":{"Q3647244":{"pageid":5677150,"ns":120,"title":"Item:Q3647244","lastrevid":50837606,"modified":"2026-01-15T08:47:33Z","type":"item","id":"Q3647244","labels":{"en":{"language":"en","value":"The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640525"}},"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":"Q3647244$276C3BBE-B447-47F0-9429-00A3E0A87102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"822966bf4604ede541a73bff98b1f6cb5d87ae2c","datavalue":{"value":{"text":"The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647244$5E20E470-C13A-41C5-BDA5-54534EB6AE53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9672d777ba62d79378d1fac2d856f08bb99f7ac","datavalue":{"value":"1186.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$F37CB8E3-9732-48A0-BEA1-980E6AB1B432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$7B93BE26-2DE7-4720-9802-4BAF2E9C0F1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$CB02AAE5-5EDA-45B5-98F3-AFC0A8A0390E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647244$D812FEE5-72EF-4EAC-B0C0-47C54112E33E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$97538A0E-6438-4666-A3DA-922A7ACFF784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$C7EE9A3C-818E-45C5-A8A2-C2BBB5780C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$0AD87D0E-5A5B-420B-9FC2-98992E52E40A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"190e52080abf0cc94c3e08b5a69e09ff93edf1d9","datavalue":{"value":"5640525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$253181CE-77EC-43CC-98AB-3359F0A21D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$9E9BF6DE-A55B-4C0E-B559-26C1FF314265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$858442D1-F377-4772-A5DB-40D11F26EB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db180fb00f692792d6b74c61018773985b8cb3c7","datavalue":{"value":"derivative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$2C5CF35B-2871-4590-8CDE-9CB786E329A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$073B02EC-CAAE-44D5-A262-F7402F403A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$10ED24D0-AC0C-43AB-B5E9-83C48541E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647244$97289C4A-40E1-43B0-8C35-E70C009BF5C8","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":"Q3647244$289783AC-DE05-400E-8956-CF5C57E1003E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a31af7777a184438daca3e49d6a4796d0ca71e40","datavalue":{"value":"https://doi.org/10.3166/jancl.16.349-366","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647244$5AD7B735-0DA2-4449-95CB-C52FC321E009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffaf3950f38d5134c96308524d837058d5d5cf20","datavalue":{"value":"W1994951938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$B96B4608-BCAF-4B89-8EFE-7A70F95BACF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$4EE400C7-280F-46A4-BEBE-18F94D5B1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$CF8DF033-2938-431A-8A64-87FF6F8C6F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$FCACF01E-D761-426C-A227-17380FCFB1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da79c08626a5efc8916f20ff43d87421224efb6","datavalue":{"value":{"entity-type":"item","numeric-id":1977486,"id":"Q1977486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$5C890BFE-3822-4530-83F7-3DD352FAD4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ab6472b1c48b02dcbf6aeb50a7e64d4ee11e19","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$5594D57C-FC79-48CC-B430-E847D1944E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$A61940D7-E5B5-454F-A372-F104DB17EDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$1862AE08-6A19-46A1-9274-43D05E025FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$B71A6AF8-F7E3-4CDB-82A2-B5C8A762443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$B8428B12-3F5C-44B3-A010-D8FAC32788A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$9BECF0BA-FC55-4631-B6EB-25F670BCE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$BCD7911F-8C56-442B-82F0-788A6DCEA760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$F6EFE39C-33B6-4445-82D8-F1F5D9334C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$21A5A6B4-C318-442D-AA13-F28EB3183BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d7ff6b17683239d51c8233d28dcafaf2cc8b4e","datavalue":{"value":{"entity-type":"item","numeric-id":3808079,"id":"Q3808079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$C28366E2-C009-498E-932A-9D3E4763C9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1087a9921b4ccabbd13ad51dceaba08f7599072d","datavalue":{"value":{"entity-type":"item","numeric-id":3203011,"id":"Q3203011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647244$3B2165B1-2A83-4EA7-B21A-5E14D474B0F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e68f48b2e498872b012ba8c92b7ef5b8d7d81a75","datavalue":{"value":"10.3166/JANCL.16.349-366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647244$94C13EA8-661B-4D25-9C4F-4A81AAB2C0D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea17d8319106036189dd20e04075299f94c7a36e","datavalue":{"value":{"entity-type":"item","numeric-id":4694248,"id":"Q4694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0ae17348042366bdc07dc9e9ffab2a32876c3d","datavalue":{"value":{"amount":"+0.819151759147644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647244$F748B590-39EF-46B6-973A-5CD1B4793705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47518d3e25f27a4b9c789d4a285d67237c17f77","datavalue":{"value":{"entity-type":"item","numeric-id":636264,"id":"Q636264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a5f4f611061dbd4a638064a5a6fb6f0c3d94d3","datavalue":{"value":{"amount":"+0.8180001974105835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647244$3EE48F64-6274-4299-8A03-B508AF1AAF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a347f60fb490476ef48c5bee278c32fe855ae2ab","datavalue":{"value":{"entity-type":"item","numeric-id":3363754,"id":"Q3363754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07b5de5490a678aa78ea9ae76f85b2c5136124f","datavalue":{"value":{"amount":"+0.7875782251358032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647244$CE6007BF-681F-401B-A956-7409BC1B4FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aee1ec643e5899bfb767d365cb9a9ff68993f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3745828,"id":"Q3745828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6773bb661efc3fe17361f6e013129853da8ab4b1","datavalue":{"value":{"amount":"+0.7762524485588074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647244$5FBE58C3-5E37-4FD8-B82A-02726493E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b2fba66e53ff81ddddc511719b39d326113c99","datavalue":{"value":{"entity-type":"item","numeric-id":3803087,"id":"Q3803087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bb80814017880bad954a0cc45de281767d960f","datavalue":{"value":{"amount":"+0.7755118608474731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647244$122F03D6-2D80-4AA5-BC27-4414165AE5D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647244"}}}}}