{"entities":{"Q6623812":{"pageid":14234964,"ns":120,"title":"Item:Q6623812","lastrevid":57098784,"modified":"2026-03-26T15:19:02Z","type":"item","id":"Q6623812","labels":{"en":{"language":"en","value":"An intuitionistically complete system of basic intuitionistic conditional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931449"}},"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":"Q6623812$E168E196-8708-4803-906C-BEBE8FCDDF00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ffc84ace8d725948452d83ca4411b8c4bcd1be","datavalue":{"value":{"text":"An intuitionistically complete system of basic intuitionistic conditional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623812$3F193AAC-B875-4E62-82A7-7130D140E5ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$A50EC7A8-F82D-49A2-8490-67E5236182C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$A24150EE-162C-4093-AAA7-7CAB00CEAEFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e904a32ce9fe0905c581b0bf09991f7f3f0c6d0","datavalue":{"value":{"time":"+2024-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623812$A615BD98-9A33-4BEE-A775-C5CA97954AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623812$4E002B9F-C7CF-498B-9626-01645CCD3051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a7c9b2d5eff61b81558e7334dc993defd0090d","datavalue":{"value":"7931449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623812$2F99DC6F-0BA7-4790-80D1-DEEB03A0351B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623812$D5062C8F-6606-4DD3-84EF-E9DCDD981BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623812$F4541544-89EA-4141-8AA2-EFEF713D3259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623812$90172392-9121-4B41-9EB4-337E1A387D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623812$F2C73E3B-91F3-4C73-8299-6C6A62FE1632","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":"Q6623812$01E6CA4B-6BF6-421A-AB64-CBF8D903F33F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$8A0BE696-D91E-4B4F-B2A7-E8AACDD38346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$1A302C01-B2B6-4834-B884-24443EFED368","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":"Q6623812$71FF5014-CB4B-4BF0-8DD4-FC5353CFC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$14129D6C-E44F-465F-B2C2-616EBEF310B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03314aac9f408757da7261b5fecca931bc54ad0f","datavalue":{"value":{"entity-type":"item","numeric-id":2194118,"id":"Q2194118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$0610F5FD-1494-4A24-8124-5434655F0EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$04A59702-A5F5-4BC9-928C-834F870AABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$B9ACDF84-BEA3-412D-A445-069705B20DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$63567276-A8E3-4BF5-B40B-B94450846280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$927EFCCA-4BB0-471D-987C-EA16847C2F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8251ec398995dde5c44225b095079ea1fb780f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5636853,"id":"Q5636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$2FB0F423-E108-405B-932C-595796CD9754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a90cb7bc95cb9d655b6d191a99edc5033ee9c1","datavalue":{"value":{"entity-type":"item","numeric-id":1165232,"id":"Q1165232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$66967FD5-F4F1-419A-8C95-7E4EA2A34843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f0cc1fc4a943fa1bb36e64f25bdc78d76156b2","datavalue":{"value":{"entity-type":"item","numeric-id":582275,"id":"Q582275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$7B655310-4662-48E9-A83F-8B9A5AE7B636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1f580424b5630333db701f9ec131434a539379","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$5AA81E83-BCF0-406D-9122-5D614B1E9BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07a8b1c0db961d3995026eb8e29dd8209000b8e","datavalue":{"value":{"entity-type":"item","numeric-id":3387894,"id":"Q3387894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$49F6DB3B-5F0F-459A-9318-BB65EC62D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2aca20f1f9a1976bf7c6d39c4e70eda83eda7a","datavalue":{"value":{"entity-type":"item","numeric-id":2000668,"id":"Q2000668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$4BDF836F-4F5F-448B-91B4-4CCBEDA9D0A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e29bf23f92e0173faf89596965099557c9d8ab5b","datavalue":{"value":"10.1007/S10992-024-09763-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623812$BE357C2B-9A44-425D-B495-06FB96F269EF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623812$8F7CE77D-A766-4A7F-95B8-D9075503C500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6623812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6623812"}}}}}