{"entities":{"Q2000668":{"pageid":2011410,"ns":120,"title":"Item:Q2000668","lastrevid":53465921,"modified":"2026-01-25T00:19:53Z","type":"item","id":"Q2000668","labels":{"en":{"language":"en","value":"Basic intuitionistic conditional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7075014"}},"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":"Q2000668$1AFF27D2-FF81-4923-B4D3-40AB5D0F97A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7bce3178d937a185ca7286d085976021605076d","datavalue":{"value":{"text":"Basic intuitionistic conditional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2000668$B0914C6E-18ED-406A-8460-CCA1460DE1DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29b1e2ba01535c7780b1c0cc5ce6b354d30d4bd","datavalue":{"value":"1457.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$62A87AE0-1CD7-437A-B3DB-E36B465E0441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830c0f25ad747c8200774c4aa79cb7dc4ac30bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2000667,"id":"Q2000667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$F9EDF81C-57F6-4E67-8641-FBEBF18EC4EE","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":"Q2000668$617FDB46-EF4C-4129-B3A8-B111A2273927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab0b92bb422a2682ae5414b977605094dde79eda","datavalue":{"value":{"time":"+2019-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2000668$7AF71EE8-8904-4276-841E-E92F8FBF315F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$D0559C6F-B9E6-45E3-AC11-52D338BF6321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$8EF8B1F4-A870-4AD0-A019-18250B27535A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388ea64272c8cea550938cd6aadb6c417c5b511d","datavalue":{"value":"7075014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$5CEF4430-3E80-4ED5-8559-7C70C457E9BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000668$B3F0C820-6904-40F8-9EC8-7AA05DFEA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000668$7184BC0D-4525-409B-9784-0D4332A0839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647441433c92227cd2a9dced6125c1b5b9751d37","datavalue":{"value":"chellas semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000668$9064AE55-67AC-484C-A016-67B80B8C2484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000668$8CA56EA3-9673-4C72-9147-189C421B04C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000668$B73855A4-F927-49B6-AC32-FCBEED54ABAF","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":"Q2000668$DE0E6E79-6287-47CB-B756-B8F782B41CFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98adc6f52ce954bae7239a6728b52a4d73ce0693","datavalue":{"value":"https://doi.org/10.1007/s10992-018-9471-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2000668$4966B42E-E868-45D7-ACD1-0E278C076F0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d29cf68fd25fe6e83bdb7c45de5dc3f3034a0632","datavalue":{"value":"W2883161803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$B3D5554B-D60D-4C33-8CCB-DBD879B940D4","rank":"normal"}],"P223":[{"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":"Q2000668$FC7B6A4C-D7EE-4C58-AB1B-FAA9CF99FA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362ca69c6b19a733ea89beb6bae2ffb416ff0dda","datavalue":{"value":{"entity-type":"item","numeric-id":2521681,"id":"Q2521681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$B05C3FEF-4C25-483D-B1BA-426567930C67","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":"Q2000668$EAA81877-3EB7-4386-9754-2344EE56B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$0CB60DCE-0BC1-4AFF-9887-4DA4DA2DA3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$AA28C278-0808-4F4D-87BD-405213798C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$BAF37D53-07E3-4E9B-A787-1212EACD58D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$161732C8-0414-4770-969B-49CDD92CA148","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":"Q2000668$82311E69-D498-4E0E-8088-4314BD6FA4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32055a96623fb0f1a79380d1628472954252577","datavalue":{"value":{"entity-type":"item","numeric-id":3010367,"id":"Q3010367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$C5B00F14-B02F-4204-8C16-6FCFCBD664DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f34e4a2e28500043918f9f4cfede87051e843a","datavalue":{"value":{"entity-type":"item","numeric-id":2937691,"id":"Q2937691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$DA057D04-B3ED-40B2-B955-92483ACE643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$4D9454D3-B375-47E9-86F0-9D813DD82372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$CF0FEC2C-DDB7-4BC4-854A-1012098E8A19","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":"Q2000668$D22A2E40-0B41-46C0-A264-F00424ACF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$354768A9-6F6C-4A9D-8A61-C7F3EF50EA2C","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":"Q2000668$45CFCFF5-E1CD-42C9-90CA-32D2BA8C95A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$C97CE2A2-037F-405C-BE40-D5E64F0D5335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$3C6D7008-1AD6-475D-8B61-77D1A6A152F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000668$8ECB998A-923B-4A62-8866-D199CC47BC74","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":"Q2000668$DBF39A7E-DF83-4CB7-8833-815EF6F0D99C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c6454976036053fd776498ddc56edab3289ec4d","datavalue":{"value":"Q129488426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$41609893-A7C2-4B72-A620-13DD3A2C92E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3fe49d8ab7d4b4a2b97afc6430825f05541af77","datavalue":{"value":"10.1007/S10992-018-9471-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000668$F0B846D4-23EF-4A0C-940F-2D1E60A8C091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7003feaa894a0ab4ba6d8301d435f278ca7912f4","datavalue":{"value":{"entity-type":"item","numeric-id":2194118,"id":"Q2194118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e40ce59f73ada21b7768da12f8e3755475fe5e1","datavalue":{"value":{"amount":"+0.8562326431274414","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":"Q2000668$323E639D-8850-4102-B9C4-13BA0E0A510A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11779090042d60a4514b5cdd49b0d4643e694d31","datavalue":{"value":{"entity-type":"item","numeric-id":3185769,"id":"Q3185769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2b2119efbd63ccedec61e680fe248accabcd3d","datavalue":{"value":{"amount":"+0.7619757056236267","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":"Q2000668$27186CBA-9161-425A-B2AB-EB818B54034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edff0e30d6458dc59876fc77e0d40c32d2abf51a","datavalue":{"value":{"entity-type":"item","numeric-id":853813,"id":"Q853813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626af19f4a8451ae33248734a46dd81aa933f622","datavalue":{"value":{"amount":"+0.7558799982070923","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":"Q2000668$AA2EF140-C648-4F1D-A891-3ECBE244E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9178b11fb3f9077601090f3d910e764c3875ee86","datavalue":{"value":{"amount":"+0.7541220188140869","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":"Q2000668$8BD395D7-FCA8-44CB-AD77-4BB55892030E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ef5807815a02ab8890301fe524c245d9aabd31","datavalue":{"value":{"amount":"+0.752837061882019","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":"Q2000668$3005BF2E-A30C-480F-9563-2DA57A0AF8E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2000668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2000668"}}}}}