{"entities":{"Q780091":{"pageid":781940,"ns":120,"title":"Item:Q780091","lastrevid":64285113,"modified":"2026-04-11T18:50:29Z","type":"item","id":"Q780091","labels":{"en":{"language":"en","value":"Very true pseudo-BCK algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220570"}},"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":"Q780091$0D63C8EC-BDE2-453D-AD9F-E8EF34A9F259","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"834895c2f42cb7127576126517ba94939b5fc0f3","datavalue":{"value":{"text":"Very true pseudo-BCK algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780091$5C373A9B-98CB-45C6-BC6D-381519D2D90F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"905aa300ba3a7741ae5144ce809c883e2fedfd45","datavalue":{"value":"1436.06051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$AEBD23C0-2659-431C-9FB6-1C86A1757758","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$17EE0503-0147-47AB-A210-047A7AAC2EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e350fc7c195d16f814c187ed9a5e8197e91de136","datavalue":{"value":{"time":"+2020-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780091$8D208577-CC38-49DE-B757-836E543A4C27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af8771d9b5062972574124fd38f003fe2b1b0a75","datavalue":{"value":"https://arxiv.org/abs/1802.06210","type":"string"},"datatype":"url"},"type":"statement","id":"Q780091$DD8FB001-81B7-456B-BF9C-65344046ABD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$B59A7A4A-59CE-4FCE-84BB-AAC6FD822D09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c4150362603ff55788c1baf8ebdb275ddfe83a","datavalue":{"value":"7220570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$D11CD361-AAC8-48FA-93D8-6B9A5ADCA3CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5780e2b189b4862fd0f1c7afef7a366b937b3602","datavalue":{"value":"very true pseudo-BCK algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q780091$7FE57C78-AA91-41C4-8476-2C18234D2902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fb03295b62a20fe027a6d6a2d29df8f17c99d36","datavalue":{"value":"interior operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q780091$C7603357-142F-4814-BB44-AFCCE817BB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f231b13ea360fbec4065dc9c7b9b7da767cfd8","datavalue":{"value":"very true deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q780091$556CD755-1D4E-43BC-9F9B-24D3AAD011DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9831532b977f55f10d4b1e740d96a94b3838db34","datavalue":{"value":"very true homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q780091$CC28DF3E-AFCC-40C7-B8B1-B68C6DC2D428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421d944baffa8aa839c1f6cea8d2c6d96f260a6b","datavalue":{"value":"truth-depressing hedge","type":"string"},"datatype":"string"},"type":"statement","id":"Q780091$9C27032E-CFF3-4187-B5D7-93922C6586F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf6d0a4618a804858ae584687cec02ca3596cb6","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$82D52C33-C42E-4798-86D6-C23550A3C766","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":"Q780091$D08F44FF-5611-47CA-A4BA-ABFD396D3DE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2579504bf5587631d75828a5ef6d6c7a890a0aa3","datavalue":{"value":"W2963724201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$7BCBB805-56B4-49CA-A917-7266254E7AEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cebcc73119654603f8f5bc27e7b37d25811ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5891387,"id":"Q5891387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$54B02176-E04A-4D52-B5EA-FBA31D57B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5268561bd005dc995b122bf9618619e510b7db92","datavalue":{"value":{"entity-type":"item","numeric-id":422448,"id":"Q422448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$0A97B81A-28C8-471A-97F6-E76CA73C2CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175a933afd5c9afb91d99ef04fb67b811b7e3b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1933801,"id":"Q1933801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$E2F82A41-1528-4672-B6F7-42F5BA22C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418171778236c5778f25a9c2fc1c145fb4a0ad11","datavalue":{"value":{"entity-type":"item","numeric-id":2847859,"id":"Q2847859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$F712BDA8-E1C5-4EEF-AB37-2B9797FECA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085cb00866d6374108cbfde362ec83b284385651","datavalue":{"value":{"entity-type":"item","numeric-id":2328913,"id":"Q2328913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$8C15CA45-914A-460F-999D-90799BBF1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b81c42a6f7fa9e0d2965ff631ab25535dfaf3b","datavalue":{"value":{"entity-type":"item","numeric-id":4583722,"id":"Q4583722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$C55A25B6-8714-4EDE-8854-8293DDE57FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d8ef8a1fe1d17ca42b071dc36420e93c18feb1","datavalue":{"value":{"entity-type":"item","numeric-id":2510139,"id":"Q2510139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$1A13AFE2-51B7-4A85-9F6C-205657D0CBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$3CA0E471-B287-4782-84F8-CEB691C27559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce363d7ac763a221c97793e13567b3143f394522","datavalue":{"value":{"entity-type":"item","numeric-id":2752146,"id":"Q2752146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$09BDC9EF-4C23-444B-9912-A2EBBF9455A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ddd92f36070c2eae18b4369cc5e7fd184d29dd","datavalue":{"value":{"entity-type":"item","numeric-id":1349204,"id":"Q1349204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$37092F0B-10F5-4B57-A3A4-E3B3853C5075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495d768697900982c49ed140764875c6384b263e","datavalue":{"value":{"entity-type":"item","numeric-id":3508717,"id":"Q3508717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$DB2A507F-4110-40A7-8EC8-6E3428BFCAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f447cfa747cc6d1dd5f253f392919b002f99741","datavalue":{"value":{"entity-type":"item","numeric-id":3395339,"id":"Q3395339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$FEE95D80-74CF-48EE-BE37-DCC870C5B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139e0de8cc80a0a35f9a33739f6d09c1b7f6b24b","datavalue":{"value":{"entity-type":"item","numeric-id":5442313,"id":"Q5442313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$80E792CE-F806-4BA5-BADE-E63A9A9AFDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b991a77ab34e9937c4d0846abd2f57ed4ba57ae3","datavalue":{"value":{"entity-type":"item","numeric-id":1795208,"id":"Q1795208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$29A83BE5-4EED-4070-806C-5478D372D218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a7ee9eea32bf22ae3877e67d97e88a7feb96a7","datavalue":{"value":{"entity-type":"item","numeric-id":818518,"id":"Q818518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$A3CB8FBA-4E09-4055-BCEB-BF650388784E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3563256e8aae9054b0416fbbdf3bd56bab57b5ce","datavalue":{"value":{"entity-type":"item","numeric-id":3757945,"id":"Q3757945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$1986ED5A-F317-4E1D-812C-739843AAB805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01755ec9229077b39467910be030fe7feef07ce","datavalue":{"value":{"entity-type":"item","numeric-id":869115,"id":"Q869115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$D0DB72C6-2B14-449A-A70E-E65DD4E1F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e146b21e6d37ebd2b080bdf582e8259a5a239280","datavalue":{"value":{"entity-type":"item","numeric-id":5410347,"id":"Q5410347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$1E8BCE24-2EBD-487B-9C79-C79A0BBD6462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bccbae2122d772ac2883b24a834b333ea6d8a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2440566,"id":"Q2440566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$7B3EF5FC-0399-490C-8C27-342A5DCC9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de5854e00c41d1fed43a023ad28a1cf8497cef","datavalue":{"value":{"entity-type":"item","numeric-id":3532322,"id":"Q3532322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$7DCD6A20-2FA6-4FEB-9D5D-1A0B2AF8B83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249ff4fbb15920ab42fdf0ec206aaaf11da5752","datavalue":{"value":{"entity-type":"item","numeric-id":2318266,"id":"Q2318266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$0A5575B8-A7BA-4275-A5CF-FA3B161095B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919d5232793ecfe740e82355ea229d16248f620d","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$2BCF6AFD-5170-4A63-941F-CAD478B63ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6766f2b50822dbd61c5eda5f0ac718e5bf49b4e7","datavalue":{"value":{"entity-type":"item","numeric-id":853470,"id":"Q853470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$C7E91E5E-5E1C-4B1F-A6A8-265D4A87C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a744c70eccf5d981839e414ec0f7bb92acdffafb","datavalue":{"value":{"entity-type":"item","numeric-id":729704,"id":"Q729704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$7FB32288-CDDD-402D-93FA-97F1CDC96625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780091$B8DE98D3-DA11-45C1-9C82-A29D3FA79C59","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae2d6ac442a3a7df344097e90314a9e1c877993f","datavalue":{"value":"Q128206035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$5B73BCCD-6680-4139-AE78-087DA2571260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35df23bf43e2865f9c93b73dbabbf0ff6a9db81b","datavalue":{"value":"10.1007/S00500-019-03859-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780091$293915E4-A1C9-4E86-BA35-57167D02E0F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803a8a7bdc6563775ed83a999ed1e28daaf7d5b2","datavalue":{"value":{"entity-type":"item","numeric-id":2391233,"id":"Q2391233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa6facf23ca6c382df5d90378e6a7ec7d1bda97","datavalue":{"value":{"amount":"+0.8110044598579407","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":"Q780091$997A71D1-CAC5-4C8D-9F96-2E271574BCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da532dcd6c7d33111b214d0a62a4936694c3719","datavalue":{"value":{"entity-type":"item","numeric-id":5439793,"id":"Q5439793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd94d4effe8c95e171d1148c5355b0a8754ed9c","datavalue":{"value":{"amount":"+0.8055809736251831","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":"Q780091$34A6963C-EF34-4EA4-B0BD-82891A358F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1ffdae2cba21d087e8a4f38b24c466cc313d53","datavalue":{"value":{"entity-type":"item","numeric-id":2983915,"id":"Q2983915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711d1a345ca2e1912c0f9fa25afaffec5e5d9721","datavalue":{"value":{"amount":"+0.8014343976974487","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":"Q780091$17B282A9-C30E-424D-B1F3-721F929B20E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9ca5c7a0fa59556205afc8f7503ba1bd076147","datavalue":{"value":{"entity-type":"item","numeric-id":1797788,"id":"Q1797788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb5700af4ad070ffbb47502bcadec4cf540e453","datavalue":{"value":{"amount":"+0.7946588397026062","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":"Q780091$3FA8C635-2997-42F9-AE9A-6A605546572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14603ca8b623ffeb3b28b606d34fc8141b76778e","datavalue":{"value":{"entity-type":"item","numeric-id":5136358,"id":"Q5136358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e86a06bc2f8b3abb02168f9dce1722d78646b9","datavalue":{"value":{"amount":"+0.7930110692977905","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":"Q780091$0B07F3DC-D69F-4249-B911-0A3AAACE2290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Very true pseudo-BCK algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Very_true_pseudo-BCK_algebras"}}}}}