{"entities":{"Q2229887":{"pageid":2240630,"ns":120,"title":"Item:Q2229887","lastrevid":55382815,"modified":"2026-02-17T15:03:25Z","type":"item","id":"Q2229887","labels":{"en":{"language":"en","value":"Revisiting four-valued logics from \\textit{Maple} using the \\textit{Logics Explorer} package"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7312631"}},"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":"Q2229887$EAB336BC-F2C9-431C-BE6B-55CAE8A6735B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4997aa965a4e3f7a3f2df3a76f258cfe1c714d7","datavalue":{"value":{"text":"Revisiting four-valued logics from \\textit{Maple} using the \\textit{Logics Explorer} package","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229887$CCCF4901-439D-444B-9F5F-FA9D59888806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f974c4e2073d25817d007e006334edb99dfef9e2","datavalue":{"value":{"entity-type":"item","numeric-id":417946,"id":"Q417946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$7F5734BD-D606-4B77-9D66-78B23F53DDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc442b6d258731aa6f56db3b1030762f889ec8e6","datavalue":{"value":{"entity-type":"item","numeric-id":417948,"id":"Q417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$FCA32F35-F943-46F4-BFD3-8B22F6BB9C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab1394d5eac7a8124f8ed5312ecee0b69edda73","datavalue":{"value":{"entity-type":"item","numeric-id":417947,"id":"Q417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$5C8BBFCB-23D2-428C-AB12-51105334C586","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$2E55D7F0-DBB8-4237-9B18-C3C0ED9A486D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c65c68b7bf9ecbb68d021649cd5dea931c0173","datavalue":{"value":{"time":"+2021-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229887$A2DA46B2-61BE-4FC7-B7A6-9EECDD3F5FCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229887$C7E11962-B3CD-4DC7-ADAA-C00076D6C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229887$CBF77A66-1436-46AF-975C-F4C09C83C243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0899ccd6ccfddeaea8f00fe80970d32ba646158","datavalue":{"value":"7312631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229887$C233D0E1-BE51-482C-91EE-93A6E195B8A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb29e524c0bd582398081e8fa177d86f7314661","datavalue":{"value":"finite many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229887$2D0A18C5-8446-4040-972E-129109CF1F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6c74929008cb295e7446e771de4f9275144f3f","datavalue":{"value":"Belnap's four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229887$BFA78AB1-6C0C-491B-8A2A-C9845239A799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229887$0FCF905F-8104-42FF-8C99-4E9EFC91665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2294e30008ae90e9a5b746d14afdffdbedc1e0","datavalue":{"value":"effective computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229887$371F4B75-98F3-46B6-992D-1E5E5928C8FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$0BD56DDF-E5F6-4353-9398-8F12D76A9D4E","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":"Q2229887$FFA1173B-B71D-4EA6-9A85-3F5BF5EA1FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f38304c5f8a9103267e490c4a3bf408b15932e85","datavalue":{"value":"https://doi.org/10.1016/j.matcom.2012.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229887$449DDADF-A063-4D64-8C0E-5F1678475A85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2f07f40e13f4aa253739a69616e1298187b8d95","datavalue":{"value":"W2080219432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229887$444302BB-C8D9-4460-B3C2-A852CA684354","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$C8EBE7A7-3E39-4F9E-8409-8C65B29030EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c91697c4a6e1538be05427b6b9da3db93f68d8","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$66C6880C-38A7-48F1-A768-F2EC3077B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b6cfede599ba3726177cbae1cb59e7e9cd4481","datavalue":{"value":{"entity-type":"item","numeric-id":1075314,"id":"Q1075314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$6FB69F35-20CD-46CB-9E83-4B4CCC6DF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ef9dcb8ee4755b6938db0e992ee040c3b55693","datavalue":{"value":{"entity-type":"item","numeric-id":4530244,"id":"Q4530244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$CE08B46E-1D29-458D-B8C4-FED6E3693A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$E81EE8BA-9F7A-4839-989F-7D13E75A3AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$9F536FF6-B6BF-4547-9DBB-DCD4152A6F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00170af4442605a1b4cc730ce70e6e0cbae4d54","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$531751C2-37E1-441D-ADB7-96890D66B4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65471b04e27d3f968f7c3c9147a1637300aa3811","datavalue":{"value":{"entity-type":"item","numeric-id":4896914,"id":"Q4896914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$679EE93A-5F82-4B23-996A-ED06E958033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134e89cefb5775fb785c6b07414f8038713c5b92","datavalue":{"value":{"entity-type":"item","numeric-id":2429988,"id":"Q2429988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$667CD251-CEB0-4157-921B-98D950CDFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$4C0D6F49-E76C-4B93-9C1B-73082FB53A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a0f3bbb4afae14e8bd5a1ec8c4c4d4ea71faf","datavalue":{"value":{"entity-type":"item","numeric-id":2433862,"id":"Q2433862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$35EAC79A-A4AA-43F9-BCA3-2EB5BFFB6249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$88BC917A-8DB1-4DC6-970A-B5F8215B501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4c9f7c901fba1317725976583497fe2409ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4955416,"id":"Q4955416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$334A7638-3C90-4D8E-8E23-5DC25CDFC92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446c4747735b69786cc54753200dc8162340d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":692319,"id":"Q692319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$F81E0C65-4303-4DAE-8F0B-322F15BDC92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75845a381cc658dd2addc70bf7f90f1c268d47d","datavalue":{"value":{"entity-type":"item","numeric-id":2379678,"id":"Q2379678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$FFFF5A8F-C7DE-4C78-AAD4-C4840823B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8302f01eb5eeedb645d6af37ba111035fc66cac","datavalue":{"value":{"entity-type":"item","numeric-id":981968,"id":"Q981968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$DF0DDB70-E749-4B2E-840B-7B6F4599FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b48882744e425b1d2722eedd65a0e0dbc1c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$73B01840-40F1-4D86-92BE-1E7869D1CD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524db92e0419803d3a8be3e3dbcb40354771e625","datavalue":{"value":{"entity-type":"item","numeric-id":3156426,"id":"Q3156426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$BCB5584A-BFA9-4243-B535-2AC9142EEC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229887$556998AF-EF64-4D34-A6DC-07A61E33A6A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ea81542b9b74e93dd3cb93c11d01376cc003460","datavalue":{"value":"10.1016/J.MATCOM.2012.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229887$A339B832-54EE-43A6-A713-F67D274E569B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5906da650647c2a8a95dc9f366a6bef423a2b688","datavalue":{"value":{"entity-type":"item","numeric-id":692319,"id":"Q692319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf8693d3e3c26c55ef605442c6ff928652b4eab","datavalue":{"value":{"amount":"+0.8317894339561462","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":"Q2229887$F9A01A6B-A028-472E-9E15-53F85636FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de48445d3113c11b43a7478acb7336580b4945","datavalue":{"value":{"entity-type":"item","numeric-id":3305609,"id":"Q3305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7c45c36472ebfdb05f0c85b1ceca8d805b9760","datavalue":{"value":{"amount":"+0.7756847143173218","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":"Q2229887$7B3CA91A-881D-4812-9590-633A9F518A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db6d50a34513de5699a6037dbd22e80828a8bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4608553,"id":"Q4608553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debba0d24ba0b948bfcc8046669e9a172bae5e75","datavalue":{"value":{"amount":"+0.7604857683181763","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":"Q2229887$79E7562D-215B-44D1-AAF2-C8F6242FDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a555a62da5d819ee612416016bb6a1a5eb2fcf01","datavalue":{"value":{"entity-type":"item","numeric-id":4434820,"id":"Q4434820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e5857bc1562d7f1590adf90838b6d41b6a6e3d","datavalue":{"value":{"amount":"+0.759865403175354","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":"Q2229887$A2BB54F9-5C82-4B69-AB73-61237A208E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb3c397aa0ca99730c87d6fbf0f9f9f8fc63f24","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572181034f7049124e06505213ce17067aa3be8e","datavalue":{"value":{"amount":"+0.7594525814056396","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":"Q2229887$34FC3DA1-C63E-42EB-9D30-44B144AA3F87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229887"}}}}}