{"entities":{"Q692319":{"pageid":694168,"ns":120,"title":"Item:Q692319","lastrevid":63538395,"modified":"2026-04-11T13:50:45Z","type":"item","id":"Q692319","labels":{"en":{"language":"en","value":"The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112712"}},"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":"Q692319$C6CB1F73-2745-4FCB-9F2E-4D1BFDEA8D5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a56aa5ddd13bf595e97f91d61519622f1628b2f","datavalue":{"value":{"text":"The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692319$457A5348-9C91-4D5F-B33D-2FCBAE04A09D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc72d38b6f47ca2c939d3c701af6d97efdd2e949","datavalue":{"value":"1260.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$D6EDFC9A-583D-4CD8-8D06-76184F86F56E","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":"Q692319$42D13054-D916-4ED5-A16D-FD44EF4C934D","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":"Q692319$C500DFB1-F19D-4F5D-A1C1-0C281C57949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e11b0e88ee50fa9f165f88aee506f9526524568","datavalue":{"value":{"entity-type":"item","numeric-id":417949,"id":"Q417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$E7F1249D-6619-424F-9576-BC5809CC7C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"959f74873f841a4325d037d791106c9124a08aa4","datavalue":{"value":{"entity-type":"item","numeric-id":692318,"id":"Q692318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$AA40FF92-4331-4072-9D42-5F2FA92A9557","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":"Q692319$DEFE4EB1-CA3B-4B4B-BA11-896E7EC32043","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5478ede943fb911760ea7d60e42b6d499b786ce8","datavalue":{"value":{"entity-type":"item","numeric-id":259732,"id":"Q259732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$7F95FCD8-FE55-4FDA-93FA-84E807EF47BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274b4f10bacd64fd910a5a96b98db4fd6ecc7c72","datavalue":{"value":{"time":"+2012-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692319$54E036C2-A427-4D76-9D79-E9419CFC691C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$17AA477A-ABD9-44B8-B3C6-7E33BB45D158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$002FFB2E-3B0F-4273-AACD-917A9395ED4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$CDED8478-974F-4802-9A2A-6FA30A03BD38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f7634d08bfac68470798caa315205d337e2b08","datavalue":{"value":"6112712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$BFC1E023-5542-43CB-8E63-2B8CDAFB4135","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb29e524c0bd582398081e8fa177d86f7314661","datavalue":{"value":"finite many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q692319$6B736929-2EA6-41FB-A654-A44397C2A2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q692319$77658038-9157-4A6E-830C-1AF5142D48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904b2e54b0e204f6a79c9cd0cbb4937fe26cb092","datavalue":{"value":"effective computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q692319$9FE232D8-816E-4E1F-9107-EA8C0A0FE3C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$E85157AB-85B7-4D8F-899B-E4939C3CFD7C","rank":"normal"},{"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":"Q692319$E1B58C91-BD36-4C32-849E-0D1F0E52949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$B3746A8B-93F4-40EF-9011-D4E17DCACEFF","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":"Q692319$EB573863-9945-4E0D-B215-FDEF5F667C34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36cf34d6f07cb24cdf5b1a6f874a9515247ea4e4","datavalue":{"value":"https://doi.org/10.1007/s13398-011-0041-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q692319$B9CFE67B-1880-4FC4-A57A-B1CBD284D008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1de3010cccefd88220f9b529555d0813dd2d6b15","datavalue":{"value":"W2462699534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$58190413-9CCF-434D-B7D3-0C895E4B915D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$3BB726AB-7E3B-49B1-8502-FC6554426302","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":"Q692319$12C9A2A2-7623-464C-B28C-9E800764A7FB","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":"Q692319$A1810493-53DC-4620-80B9-0F37AF3C777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d878fe39fb5e422372741863ab11a3320c49a105","datavalue":{"value":{"entity-type":"item","numeric-id":4770999,"id":"Q4770999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$354B1C7A-F6A9-4F5A-AE12-C1F6D3AA1CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$653C1F79-BB35-4F9B-B3A3-36437737D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$B6BC024B-8BCD-42B6-A132-BD12A1DE42F6","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":"Q692319$A5D613F6-C987-43D7-B86E-5BFF10FFCAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$8B0C27A4-3101-4A7A-943B-13F1D6C33441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af863728326206a0178a567d215fcf79182d686","datavalue":{"value":{"entity-type":"item","numeric-id":1887833,"id":"Q1887833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692319$73E01BA1-2B0B-4781-8A1D-A6960D674064","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":"Q692319$E9F13B91-50C5-43E7-B1D8-456D81FF775A","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":"Q692319$B831D311-6D4C-4352-80DA-55765089C512","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":"Q692319$84E17943-2BD7-4491-AA39-6EB8D218A665","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":"Q692319$F12CDF28-400D-4D1E-B125-CA200F08AE3E","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":"Q692319$868E5B76-4E41-49B6-9EE7-01FC767EC463","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":"Q692319$4974B3A2-A91A-4853-9437-4A9C470156F6","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":"Q692319$F8F8541A-B483-437E-A5FA-631517DAC647","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":"Q692319$C9538100-1796-46BA-A109-CA8D2847C703","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":"Q692319$95715E19-90C9-4A9A-8B75-6E8A00C32761","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":"Q692319$97C11BC4-367A-4A48-BF4B-B1D9E71AE4D9","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":"Q692319$50CDF4DE-56EE-46A1-8C32-1D40B7B62F61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6286c8ac1ed06bc50852d84ab2f6d366b0a0c3","datavalue":{"value":"10.1007/S13398-011-0041-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692319$ADB229DB-3ED4-4F00-98EB-03E5665DF051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57adb147e0f74e7f011e50137d683e4df68ac2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4955416,"id":"Q4955416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be94ac6816a95d69b8f77219e649d9951c8d6b07","datavalue":{"value":{"amount":"+0.8073798418045044","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":"Q692319$0E7E4C4A-2994-49CC-B7DB-B7F45E684053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ccc83f4da17f3971bb80a76cb047637ff75074","datavalue":{"value":{"entity-type":"item","numeric-id":4885909,"id":"Q4885909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420df4457d592571399555fb5cd8d2b474c54ec4","datavalue":{"value":{"amount":"+0.8073797821998596","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":"Q692319$809A3CA6-3ED2-4FB5-BF1F-80E459E5A1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4210334daf2a6f6f15643cde1b51f7cca196bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5505497,"id":"Q5505497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671039c9bf4ec06fb81053fb2364580e0997383f","datavalue":{"value":{"amount":"+0.7807703614234924","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":"Q692319$B3D10E34-90E9-4991-AD24-A8B4141A7E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeb5ff1f6f6bea287362a65c55da60419808b7d","datavalue":{"value":{"amount":"+0.7660426497459412","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":"Q692319$3A87C3F1-AC3D-4E92-9BEB-E703AB7ECE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230754fb54783076e53e0a5578f75b3f58602ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3192775,"id":"Q3192775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499191a21d0a4c8d941fa2a89e9b3c965ff2392a","datavalue":{"value":{"amount":"+0.762995719909668","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":"Q692319$83BCD6A5-512E-497C-9F8B-1BF5E6C2E7D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Logics%27_Explorer:_a_Maple_package_for_exploring_finite_many-valued_propositional_logics"}}}}}