{"entities":{"Q558432":{"pageid":560199,"ns":120,"title":"Item:Q558432","lastrevid":62791485,"modified":"2026-04-11T08:28:32Z","type":"item","id":"Q558432","labels":{"en":{"language":"en","value":"LK, LJ, dual intuitionistic logic, and quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186745"}},"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":"Q558432$DB88CFC6-57C0-44BD-959B-7643CD533398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fad1ace4a48165335e8dbb87e47d960123dfc1","datavalue":{"value":{"text":"LK, LJ, dual intuitionistic logic, and quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558432$F61731BA-F836-4594-A186-B45CC5CF2624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adedd531ac8385dbc03914b0aa6a737a78e60b97","datavalue":{"value":"1088.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$59CCA107-D1D3-4C6E-88F7-373CD4E2F3D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a9eae13b4a0d869e99b6675d8869074728fc09","datavalue":{"value":{"entity-type":"item","numeric-id":361856,"id":"Q361856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$7B2F4522-B014-4698-B7DC-68A7C4250C6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$BB846C9B-3BCB-41C6-87EF-551B0F60DE13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558432$1D805E90-3AFE-446D-8351-F9AAFD2FC384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$9C074B50-99EA-4523-BE25-17371B29DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$DA1A8662-DBC0-4CCF-AD0F-7AA3B8F7CF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$48D34DAF-D64D-4409-B6BF-1EEFD1133577","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f6b1499f4b31348dbb631a923c04fd7474ee622","datavalue":{"value":"2186745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$D95F62E4-9AE3-4980-A429-386D1560E4CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$F4617F74-672F-4405-B9B1-550B6287C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$0C1A2F59-6EF3-46BD-A312-93904327F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$E6EEC4A1-BE37-4C02-A2DB-8EA92063F76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$91EE7CFA-7B5A-410A-ADC2-9FEDE799AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bb350f2862fe21410d80e308e5dd36c3f219e4","datavalue":{"value":"dual intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$70F75A2E-4B3D-48F5-9003-1AF0A94182A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558432$0CB9DDFA-101F-486F-854B-1F9A86FB894F","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":"Q558432$85055EB2-0BE6-4154-9461-9B155270430C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b6da4e772b670afc65e649bf856161c324aec0","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1099238445","type":"string"},"datatype":"url"},"type":"statement","id":"Q558432$4F784182-20DF-48B5-A1E1-09514E5A7DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35a3ce66413a7007a6733ef7ae4867b1a7578f31","datavalue":{"value":"W2057714618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$69CFA0DD-CBBA-4B07-AA95-843CCB94567F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c35d3f8b8050af60aaf12d81aade5dc49734f18","datavalue":{"value":"Q55891978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$8D20BD73-5ED8-4A09-875E-FBA8A0D36430","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ea96e0eef7ec43602077899dd74e624fab0591","datavalue":{"value":{"entity-type":"item","numeric-id":3666849,"id":"Q3666849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$2B4A7701-31FD-4F74-A8C6-1927E5398B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2dfc188569540d0bb56e9b9daac826d6a18b37","datavalue":{"value":{"entity-type":"item","numeric-id":1220483,"id":"Q1220483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$26EE5774-F562-405E-B6F3-4F8726F65389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$EE8E5356-2B1F-475D-BFFE-BD8131334AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ac3680f722b3c4628bd0a6474880604d12b94","datavalue":{"value":{"entity-type":"item","numeric-id":3919679,"id":"Q3919679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$0FDBA21E-F269-4049-BEE8-8DDE20EA3B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$4977BE4D-C071-4427-827C-A93D76B7AADE","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":"Q558432$DD6AF94D-7969-44BE-B9E9-D154DBD49688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4278bbf7c3a34ba16400403dc2fb40591639b3","datavalue":{"value":{"entity-type":"item","numeric-id":3877681,"id":"Q3877681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$0B43D8C7-6752-4F47-B872-AC344CAC7DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$78EFF842-1A37-4CCB-8093-6C56175F369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$35C51385-FFBB-4883-9EC3-24FB5FDF29A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$E1C7DA50-254A-4CB0-8EDA-DE2BF2AD2B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$E8897EAD-0129-4E03-B182-DA381BB5E907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$C99A0895-8114-4B49-BF40-F3967C7E5217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b10362382c3b3d57397d60140fb95cdc91d6f4","datavalue":{"value":{"entity-type":"item","numeric-id":3322102,"id":"Q3322102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$C9706CAC-F97D-41BF-BCFC-5FC4C292A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$FDFFD285-32BC-48C5-BB25-5E1CB3055991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558432$BC8E3DCF-80A3-4449-9886-EFD4CC6DEBCB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dd67a894e9cd8fc916d58e266eb508d67ea9ea35","datavalue":{"value":"journals/ndjfl/Aoyama04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$E93032B8-2221-4B26-9884-9C7F6D54FCC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8866e6c91954df48fa9e8e267478792a1896806b","datavalue":{"value":"10.1305/NDJFL/1099238445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558432$0E0C909A-7871-4DE6-9D1C-6E5BBC41184E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f619b0317e6cb9744cb189fabbc1d377693aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c103395060a1b3a819b7f420b4a763954d7ce48","datavalue":{"value":{"amount":"+0.7529279589653015","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":"Q558432$D1FCD19B-D075-4BD8-B57E-F48CCA27A188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be21e2ba7249f84a48b8650bf77a17a8e95b7498","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c7c629f8229cbc77932c93d828efe1badc5427","datavalue":{"value":{"amount":"+0.7459956407546997","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":"Q558432$C65DC764-4A8C-41EF-8A72-BC2E24269D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c5fc7529da8824d592e8144b0d4d37d2ef0e35","datavalue":{"value":{"entity-type":"item","numeric-id":3717046,"id":"Q3717046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b57c1396838d85cc7f6337df899429fbfbb0f0","datavalue":{"value":{"amount":"+0.7440761923789978","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":"Q558432$33277051-74E5-453C-B814-230E77AD5712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17c0d4ba64aad56a0ef99a8bc72d66f6d9c15f","datavalue":{"value":{"entity-type":"item","numeric-id":3605535,"id":"Q3605535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e18fddb84e807182ecf85428ba8e6d41d074527","datavalue":{"value":{"amount":"+0.7433487176895142","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":"Q558432$9866BFBE-D265-42A1-881E-7EADB040F314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8d541e8dfeb6ed91fe0e8e0403ccd4602ad393","datavalue":{"value":{"entity-type":"item","numeric-id":4434506,"id":"Q4434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aeede53948c71a10ddfd8305963bb8fb18a83de","datavalue":{"value":{"amount":"+0.7424630522727966","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":"Q558432$EB435D2E-7CB1-4552-8E0F-8403E77E4A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LK, LJ, dual intuitionistic logic, and quantum logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LK,_LJ,_dual_intuitionistic_logic,_and_quantum_logic"}}}}}