{"entities":{"Q456967":{"pageid":458734,"ns":120,"title":"Item:Q456967","lastrevid":52096895,"modified":"2026-01-20T22:36:07Z","type":"item","id":"Q456967","labels":{"en":{"language":"en","value":"Hilbert-style presentations of two logics associated to tetravalent modal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348341"}},"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":"Q456967$8C2ADC1F-87A6-40F6-9298-44DFDB202630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a803ded6a20841964e0527b2dfee3c61e796a80","datavalue":{"value":{"text":"Hilbert-style presentations of two logics associated to tetravalent modal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456967$7E17B6B0-F03E-47CB-B3D6-1E16E14F4430","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173ac5aa7b32a37612af02abea29e1c92f6dc314","datavalue":{"value":"1301.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$54DCD0C4-B753-43C1-A5EC-4C87A65BCB89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$9689E2BD-4CE2-47FE-A1D5-5A9DAE634318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c653e58c5090a735660d928d35e93c3cc089e9","datavalue":{"value":{"entity-type":"item","numeric-id":456966,"id":"Q456966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$0ABD2449-24D7-4B19-8741-E45167732CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$38C58254-B181-4CAB-A33B-B3388F3AB4D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456967$E821B5B5-230E-4E01-B463-2FD99BAC4D49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$55D059CF-B447-4378-9F77-F4CC159C923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$2FE39ABA-C80D-4EB4-9C01-D66036BF58CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$EBC530CC-A360-4644-8DB5-80CA5A039C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e4564b471fb1257402ef004786bb681dd7b4a28","datavalue":{"value":"6348341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$BA369C15-208F-452D-A089-97CD86456627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b96d7e6b5ae867536cbff195c6fe2245eab7b7","datavalue":{"value":"tetravalent modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q456967$79FFC52B-9790-4358-8078-D2F76255E158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a524af20669072eb3ffd5b99e8b435863b4c8c","datavalue":{"value":"Hilbert calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q456967$36249174-CA99-4E0A-8D07-9CF257460BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8228061293a15fecf82c64a3d07af10c80837ddf","datavalue":{"value":"contrapositive implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q456967$15519640-D733-4581-A02A-322C2A78A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6171371d4d1cca5771ded57810f59659f996240","datavalue":{"value":"paraconsistent modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q456967$330081E1-AD28-44C2-BCD9-2211471B4BEC","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":"Q456967$85CBE065-AA6E-428E-9E20-7A9A2889D141","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6f5a791d789fafc5711cc154c7090d7b38cbac5","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9489-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q456967$EBB97FD9-A401-427D-9A47-246EBC5FC7F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c8355925ae341cce95b426ccb8d9b655f7f9641","datavalue":{"value":"W2141705425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$EE820BC9-1E5D-40E1-9A25-5DBD5E4C458A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$EFCC2F02-69A3-41E8-8671-E13728D76F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b76c286bca2e8d0135faf084af974142b47595","datavalue":{"value":{"entity-type":"item","numeric-id":5690138,"id":"Q5690138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$23F5F143-F38D-40B2-A857-5816941B14E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9ace92730a2dd6c311b43c3baf5568859c8874","datavalue":{"value":{"entity-type":"item","numeric-id":3018991,"id":"Q3018991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$EE5FD158-2247-4D40-A741-455C943FB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$BCCAFEAF-8989-4969-AF33-5EAFAB03973D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409cdebdbe0ec2e2259255ffd8ef6c248e18143f","datavalue":{"value":{"entity-type":"item","numeric-id":3656765,"id":"Q3656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$4DFA4C6E-98A4-4143-8E26-785D388EF491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$7434014E-EA7A-4CD3-BA6A-43B26A20FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d65f09f2bc723c74c2ddac9118b09fb1629f68","datavalue":{"value":{"entity-type":"item","numeric-id":1604790,"id":"Q1604790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$7CFB77DD-E010-41DD-9B0D-66A15482FE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a04c7e0e5bc0759d6de0eeeaceb69fd5f2b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4508244,"id":"Q4508244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$178D5E6E-DBA6-4BED-B2EE-C2A983BACAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e8860a69ed37e50bd2086d4bbcfa819c116e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$5838A32B-34FD-4028-8B38-496B98333B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$8546B332-5E33-4CD8-AE4A-8E4D6742B812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6e682195c61a57c83d215346a2d04dfdec5cab","datavalue":{"value":{"entity-type":"item","numeric-id":5187281,"id":"Q5187281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$7D3500C2-8D61-40F8-B97D-6B0DE8F5D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456967$D54326D6-F2DA-4DB8-9CC5-7C44D931FA7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfacaae0eee0e510bc83712f8593d9e149abcbbc","datavalue":{"value":"10.1007/S11225-013-9489-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456967$3655CEB6-87DA-4FD5-B66F-69C405130940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e6f174bc63f9597eeaa3356415856a8a1a37d3","datavalue":{"value":{"entity-type":"item","numeric-id":4508244,"id":"Q4508244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be068114b36af80bd21f9b90796a941864cd09a","datavalue":{"value":{"amount":"+0.8232752680778503","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":"Q456967$226E0852-521F-41D4-A309-14BA5BEF67B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaa63477a7edef0446430948e32595cfae39ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4223623,"id":"Q4223623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50abe9809e44f5f8b43c4ff8ea83fa7366d3c144","datavalue":{"value":{"amount":"+0.8232750296592712","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":"Q456967$533C1CA2-27FC-440D-B2F3-C0B845E106C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f1b46dc75f9618b442d994490e5c8003e18ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2941370,"id":"Q2941370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc507ad48ce068fa7144a5eab547674451f9be4","datavalue":{"value":{"amount":"+0.808040201663971","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":"Q456967$247F9D05-30ED-4D28-8E47-0962A18EF49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edf5053d2f7086802f565a5c6f800e4362c9943","datavalue":{"value":{"entity-type":"item","numeric-id":5169613,"id":"Q5169613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e0f4ca8fdb9a62b5685a2e13da548454dd951e","datavalue":{"value":{"amount":"+0.7793824672698975","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":"Q456967$447426B5-CA9C-4CF1-877E-A17935DA1ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffd3e3ce3ab91d4085362f71a1ee821c70ef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4352427,"id":"Q4352427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff71ea418f2358e9859a3751d07f2f7f72cc9b92","datavalue":{"value":{"amount":"+0.7697821855545044","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":"Q456967$B6BDC466-2473-4213-9FD5-1AFE6647BEF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:456967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:456967"}}}}}