{"entities":{"Q5059689":{"pageid":7089265,"ns":120,"title":"Item:Q5059689","lastrevid":55432246,"modified":"2026-02-17T16:18:31Z","type":"item","id":"Q5059689","labels":{"en":{"language":"en","value":"Implication, Equivalence, and Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7642556"}},"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":"Q5059689$BCB31553-AD22-4FB4-A073-18109F86A1FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39a0cfac3fb8bbd04ee23b700d2bb24fe8007ae0","datavalue":{"value":{"text":"Implication, Equivalence, and Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5059689$0B78E9B0-A5EC-4269-875B-7C72C6789353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"098ac2e944458abf4a32cab02fc5deff63971841","datavalue":{"value":"10.21146/2074-1472-2021-27-1-31-45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059689$ACD3E079-FCB7-4580-BD33-1F04297F1043","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$C7A9D4A0-F147-4E85-A4B0-72CF451694B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$AC63AB36-839F-4190-BF46-BC9F8E0676C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e733846b3bfd25bf6f727b92d447838576981ef","datavalue":{"value":{"time":"+2023-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5059689$D3F3955A-A42E-4D39-B9FD-45D03F1CEA10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059689$E52204BA-300D-4E00-9CD0-8097B01ED4A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bc74ec83c57d148b653621080d6bb477abeb718","datavalue":{"value":"7642556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059689$F33D75BB-D385-4FB4-854B-49257ACAB0BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$5D1E5094-9BF8-460C-B262-A2CD9222E87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c16965c148e0810eb7dfdc1d3f4349d5530e2447","datavalue":{"value":"semi-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$19BF1E8E-4E2A-4732-99FC-CA77FD37F6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$90D9042F-A6E0-4676-904A-DBB31790E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$C3256A24-879A-4D64-9D2C-383CCE0C2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae845f16646c42fe62338365297ad39bf85eef0","datavalue":{"value":"biconditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$8DFD21D2-CCC7-4078-A5D9-DA57A4CA7D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$FC826CED-6CA9-4486-B391-C656DE4DF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75e750785800d16c976e51c3338cf237cbb82b5","datavalue":{"value":"deduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$86121481-A2B4-43A2-B8C5-623C21EBFE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059689$0ECFF415-7FE9-461B-8AA7-4BF7AD3ED585","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":"Q5059689$313190CA-0C59-483C-A348-80C55B65D5DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2603ed81d2e86e450191ef5122f3431ea0e0997","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2021-27-1-31-45","type":"string"},"datatype":"url"},"type":"statement","id":"Q5059689$7F68A28A-CF1D-4970-AB31-0C2256B2E68F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4cf64e6490b85ac0d538b4f1cfac50cc1150c0b","datavalue":{"value":"W3198842576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059689$7DB846D2-7508-4D3C-BB5E-DF0AB4360466","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$D8D8A215-8DC4-4B61-B2CD-228EA4D08C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$6A59933A-7D93-4B10-8E25-7E1CDA02C27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0bd2a3cb68a51345877a0aeca3592ef71fe351","datavalue":{"value":{"entity-type":"item","numeric-id":5258962,"id":"Q5258962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$C078EED1-9E20-44D6-AF40-11DD6E25B10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1028b877a987f809af0cae335adbaf6360cb46f1","datavalue":{"value":{"entity-type":"item","numeric-id":5855500,"id":"Q5855500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$0510A8B5-2456-4C61-904F-5B95F7A6447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0059a364345d8252e8e43992c5c89947bc034129","datavalue":{"value":{"entity-type":"item","numeric-id":4686539,"id":"Q4686539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$10A6AE2D-0976-459C-AD29-1CC267A1F025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$01F5A95B-FB09-47ED-AB0D-FB56916EE552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$F3D5B727-6057-494C-BB16-B0380D6D0C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cba0468ca77b618a942f49a37291b544cfc0d3a","datavalue":{"value":{"entity-type":"item","numeric-id":1242899,"id":"Q1242899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$51CFE048-E4B6-4AE6-B996-72D95DECBAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$453C8BCF-E436-4BE6-BF1F-6569E83EA044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$81013FEC-CEB4-4B81-9762-C54D82061641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd52fe2be71f0c5089fe2f51512be4d5e372f6f5","datavalue":{"value":{"entity-type":"item","numeric-id":1775871,"id":"Q1775871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$3A212EB2-B9E2-4916-853C-51148444524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a2c068256820a921d39fac45cd728ef4b2d004","datavalue":{"value":{"entity-type":"item","numeric-id":1230771,"id":"Q1230771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$551A4C90-0684-4E75-899C-69B301696D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$A54DF139-D8ED-416A-9354-9743B293B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$CF2B53B6-8FD4-48D7-95C3-1D06A9FCB3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5a6ad65774536346bcfff115a10ca4717e208b","datavalue":{"value":{"entity-type":"item","numeric-id":1168307,"id":"Q1168307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059689$E8C5927F-17B9-477D-92EF-8FCD0F09A8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df416321a5c84b177be8df088ee5d717b2925f94","datavalue":{"value":{"entity-type":"item","numeric-id":3067416,"id":"Q3067416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02810d9386ca6253a87c301f3b588e632614d007","datavalue":{"value":{"amount":"+0.7741195559501648","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":"Q5059689$3B12E145-255E-4AEC-84E7-49AFFE1F593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c2065d498bd623ce35f90d4cd421254b2bc4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3086529,"id":"Q3086529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59873bf1ee15db532b31933da5c246cd8f471a7a","datavalue":{"value":{"amount":"+0.75185626745224","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":"Q5059689$52EFD9D0-422D-4A37-8778-2B3245624D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e33a799c98e339d5cc09725573406769588d202","datavalue":{"value":{"entity-type":"item","numeric-id":3012506,"id":"Q3012506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18458b3f3c1fc3233b7082e89d08ca9f621274ef","datavalue":{"value":{"amount":"+0.7472639679908752","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":"Q5059689$08CDC96E-B25F-4628-A71B-C2E20BF5EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb888f3c8c83d639d6ccd3a841bd736b8d0d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4207885,"id":"Q4207885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41715f5586520e617a559aab7183a1770f51cdd","datavalue":{"value":{"amount":"+0.7458399534225464","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":"Q5059689$ACBBFC5E-2E5B-4CFD-A9CB-4382CCF6F283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5dcce4013ee3292b5cb58d11534494856d15ba","datavalue":{"value":{"entity-type":"item","numeric-id":1942343,"id":"Q1942343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8388fc1f010a01c4b9173a68cf8c4079f7d5425c","datavalue":{"value":{"amount":"+0.7428646683692932","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":"Q5059689$61F7E3A9-F5F4-4AFF-A6EA-05B198C62E83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5059689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5059689"}}}}}