{"entities":{"Q5741336":{"pageid":7770887,"ns":120,"title":"Item:Q5741336","lastrevid":52579493,"modified":"2026-01-23T00:53:32Z","type":"item","id":"Q5741336","labels":{"en":{"language":"en","value":"Double negation operator in logic \\(N^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6605596"}},"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":"Q5741336$EFF2AA01-B050-4B09-8BAF-9BF2E1CB4763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62e74d277437b9d9c19a91a391cbeb8d57a5a243","datavalue":{"value":{"text":"Double Negation Operator in Logic N \u2217","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741336$914EE5AE-B1E9-468D-BF79-A1B3A8BD5A60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6d77829d8a76784ffec1ae8894e75ac75b78f1","datavalue":{"value":"1349.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741336$390FECF2-F98E-46D9-8AFA-91CA8843A80B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b65895f418cb6cfe6543bd8749d4295b0550dd53","datavalue":{"value":{"entity-type":"item","numeric-id":2714525,"id":"Q2714525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$90B883E1-EFAE-4EE1-B93F-89CDCBDF5E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"feb37f72a8cdcd68b43ae07ac4ed5aec5e9e9d96","datavalue":{"value":{"time":"+2016-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741336$6BDD631E-F15A-44F7-8D4B-D60AAB876AFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741336$5B2E83F7-DCAD-47E2-9FC0-F1752CE7F864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7e379937ba94b8fa16dd3f6c0899058272c884","datavalue":{"value":"6605596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741336$1CBD0CD9-FD7D-462D-AA81-1F01CC5FD595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$C59C7120-545F-48E3-85B7-74343ED80FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$E1C3BB1F-57C4-4B44-8110-4563F658C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$0663181A-9C7B-487C-85E0-79DD2A4FC4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"638693b7c1c654373df339c2850605acb02ee263","datavalue":{"value":"Routley negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$28629C07-27C7-4140-B524-2932E837A4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$6395787C-1E36-40DE-BA77-D4BC111E08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd93647d80cf59deb47a4bc8e34e972340e4542b","datavalue":{"value":"constructive properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741336$4D77AF2A-6F54-4DA7-8E87-FB08C203FE40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$3E8347B0-33C6-4F22-BFFF-0495FB9DF76A","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":"Q5741336$B70C2158-43B9-4B18-864D-AFA98FBF6770","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fcd0e09c229d40d850762e5a25fcee03101d944","datavalue":{"value":"https://doi.org/10.1007/s10958-015-2254-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741336$335A66F3-CAC1-4B28-AC12-C29CB581AA7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92d5e1351b7ef8526bfe9bdb2a0918ce30693295","datavalue":{"value":"W2135923509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741336$4E77B4C2-DBC4-4F4B-ACA4-7FF5D964AAAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c466ca9e98dab5bfb93cc1671d257cb6bf0daa","datavalue":{"value":{"entity-type":"item","numeric-id":890969,"id":"Q890969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$F61C2DA4-0040-4892-A6DC-424E2AABD63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1cb6a5f1f615f802973f0cae0c1bad49fa9e78","datavalue":{"value":{"entity-type":"item","numeric-id":3028968,"id":"Q3028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$55A7E0C7-CA8C-49F6-B1B1-025029C2EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$019E911A-3BF7-4566-BC77-D44D99EAEA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf7f78c31f53dc43160af181bcdee008cee1d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5275735,"id":"Q5275735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$632DC62F-305E-48F1-860C-15B2010A5624","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":"Q5741336$47BC3C77-02F9-4CF9-BC7B-48CCEB38590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da023f8e3585923b87354e62f5171bb11eaa70b9","datavalue":{"value":{"entity-type":"item","numeric-id":3033739,"id":"Q3033739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$3CA9B8A1-8A29-4A6B-A032-8EB991DE06B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dee777e8eb9d23fbf5532e0952528b7106f0c2","datavalue":{"value":{"entity-type":"item","numeric-id":865046,"id":"Q865046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$8AE8BFD4-FABF-4A94-87C1-FA8A46DD4CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5029fdc7695bdf3985888a4b5c1a2196a9545d2","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$24A2CD4C-04D0-4C00-A455-CA2611C9F017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054d1187a8913c4a12571d82949059b5edadea82","datavalue":{"value":{"entity-type":"item","numeric-id":890788,"id":"Q890788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$9E35B7DA-D58D-4BF8-A690-1217F3BA7ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8101ec9f86256e19893cd6a4dab0a741fd614c29","datavalue":{"value":{"entity-type":"item","numeric-id":3329439,"id":"Q3329439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$305EAC56-E85B-4A7B-892A-A53AC4371875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9cba34032eda769ff26f3a001a5221f5f05d76","datavalue":{"value":{"entity-type":"item","numeric-id":3218106,"id":"Q3218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$2A653539-8F75-4D08-B449-7BB29AA483D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6f47d7c061548609816f580df38c41676888ed","datavalue":{"value":{"entity-type":"item","numeric-id":890887,"id":"Q890887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$661DB0CF-BDDF-46D0-8AB0-FA46775C3BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f634797447d1028940456dca6e9c8b01a6d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":695777,"id":"Q695777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741336$E896EF56-9EF8-4D23-A9EC-09EE3AECEA47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff14101b565f5709113463bbefd84aead7a874e8","datavalue":{"value":"10.1007/S10958-015-2254-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741336$6FD9E5FD-B070-467B-9877-D5E0E4052DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d8041db907d5fc290c0f680d63e04bade5e697","datavalue":{"value":{"entity-type":"item","numeric-id":3218106,"id":"Q3218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e3166ea589a6fa04fe97f7dcfc3d4f95d1d38e","datavalue":{"value":{"amount":"+0.7820124626159668","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":"Q5741336$5D900B16-F1C2-4F84-8C69-1AEF6B935ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9983463bd68628e536fad3da8c96fb89c49336a3","datavalue":{"value":{"entity-type":"item","numeric-id":3686700,"id":"Q3686700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9704f6ee80b742391f53fa50fce1c464633201","datavalue":{"value":{"amount":"+0.770994246006012","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":"Q5741336$99CBCEBD-4E85-4413-B5EF-6F3CC2D50F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353335fd46b832c28c2b8b34a51abf736df8f563","datavalue":{"value":{"entity-type":"item","numeric-id":2434603,"id":"Q2434603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227265b2d4a1867aca9610e466ae38611a5c98a4","datavalue":{"value":{"amount":"+0.7554022669792175","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":"Q5741336$EBADBE06-4F06-47E6-A68A-09429F16A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50f9404d991fb650c49ed4db16abdb9cf1f47fd","datavalue":{"value":{"entity-type":"item","numeric-id":890788,"id":"Q890788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e5baa13512bc6e6063ea79700141cd22ebc6c2","datavalue":{"value":{"amount":"+0.7381455302238464","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":"Q5741336$89384BA8-5892-4FA9-8398-28C39FCAFEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0307dafef4ca83ee2cf9b9364602bbb273780ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3795646,"id":"Q3795646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f620df0d8fb591dce63603c6a74b2a1ceb1fd07e","datavalue":{"value":{"amount":"+0.7374638915061951","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":"Q5741336$F8110A30-7FCB-4C67-91FA-F570C2DC950C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741336"}}}}}