{"entities":{"Q877820":{"pageid":879668,"ns":120,"title":"Item:Q877820","lastrevid":65062590,"modified":"2026-04-12T00:03:56Z","type":"item","id":"Q877820","labels":{"en":{"language":"en","value":"Axiomatizing the skew Boolean propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149168"}},"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":"Q877820$492BAFD5-6055-4D60-8C47-5A318CA14924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5acca7f45d64eb26d846b5d8bef12a07939e355","datavalue":{"value":{"text":"Axiomatizing the skew Boolean propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877820$65C1035B-1D7B-4D93-8328-1CC21D5FF713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32b6ced5d82f139b767e74019d65e0a00ed496a5","datavalue":{"value":"1121.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$3805F331-44F6-4A7E-BC2E-9BD6A35E4960","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$E469CE7C-2567-4011-AE59-D3B5D48B49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55419e6e8249787c22b9254994ee5263bfb77540","datavalue":{"value":{"entity-type":"item","numeric-id":429937,"id":"Q429937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$8019E6FC-87C2-450A-A256-28DD7291230A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$51A831B5-027D-4F6B-B79F-11969B5503C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877820$BE272144-1EB0-4FE6-9C8E-EFC5594AE264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$D214C141-E61F-437A-8F68-81E52D47447A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$5DCC1BB5-0544-469D-9ADD-E83039FBE2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$891EFE62-FEBE-4487-9675-01D2C7431AE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53d26ec83e51bb20b8c227ca602aa6d157984f87","datavalue":{"value":"5149168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$73C8D7FD-D4AB-4306-A924-ACB4E8167E2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q877820$85EB3874-5D2C-409A-B608-6FDE37D22B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1823cc516987106a30827dde84858f493062272b","datavalue":{"value":"Hilbert-style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q877820$7D8BFCD5-A03A-4D17-892A-B8A81F00852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q877820$BDEA2E6E-28A1-4078-9D19-2D987BE6F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8c44ff1d44ae0d2355622d967a14ffc6ea02f3","datavalue":{"value":"proof sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q877820$EE4C4A41-0819-4A85-8D68-7CE39187D2A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$685A2B3D-4F5F-4D5A-B194-C1017E5DC61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$C64AA772-AAF0-4686-BC2B-12707C8E8B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$01EDE116-B84B-4A90-8854-1E0CBD0A04D2","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":"Q877820$375BA015-ACF7-42FD-9C98-D9D8BFF5F750","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dbc595af27f8c97264e962f460fc80e0643bd5b","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9029-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q877820$A8375850-5A04-4F6A-B00B-0D1A0FBD4A69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb8a947e641d5d3a615a7f45f23d43928e547da2","datavalue":{"value":"W2009995082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$92E8B979-77B3-45F1-8CF4-445A654581CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$E84F826B-75AF-440F-AF6A-B2D2B944A474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$A619A019-521D-4675-8027-2FD8A2E55895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaba35527d4f968aa18005e5df56be9950a2854","datavalue":{"value":{"entity-type":"item","numeric-id":1189889,"id":"Q1189889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$2B8902FD-8DFF-48DF-A3CD-5FFF9B156035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$DEB80D5B-5D58-4EAA-8D6D-7DF995E4ECA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06972d636303dd3c6aac817f327a41a57236b48c","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$35536823-3341-4957-BF0A-A0CC01859ED5","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":"Q877820$4CC64B1D-6547-4C4D-8EB0-04A7A450E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$D90A5B78-69D5-436B-9B6F-789F7B12A528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be421bf79b138d9f0a151ab740d01d37a7f439a","datavalue":{"value":{"entity-type":"item","numeric-id":698537,"id":"Q698537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$83383068-83A9-4341-9B53-963B5CE5AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0814cb5aa3f21358060af16d7572f479c8806a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2499308,"id":"Q2499308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$15C8C7A7-5963-4BA8-AE1F-EC9B745B89A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c386b079b04f5b83acb3f1fa0cc456bba1f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":1059074,"id":"Q1059074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$85BCB044-19C6-46BC-B1FC-7A30EDCDC917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$B7422F31-D194-48DB-B220-125E2B41F258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a99b3d89ee8f8b62cf482577dc786b3eae95a5","datavalue":{"value":{"entity-type":"item","numeric-id":2577711,"id":"Q2577711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$632A2B2B-DAD1-4DA3-AE03-8C8FA0814F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$BD2A5F0A-5AD6-40FC-8CF5-A55EE8D5A657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$7D72FB02-3FDE-4691-840E-731FB907BFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369cdefe0a9566736c1e54a3297e9cc957d72e","datavalue":{"value":{"entity-type":"item","numeric-id":5951528,"id":"Q5951528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$536AB3A6-40F6-4A16-8922-844208149557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb124b033c0f8da1b0a17b53bfbf77346dc047a","datavalue":{"value":{"entity-type":"item","numeric-id":1431337,"id":"Q1431337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$8BE1FA55-B0CF-4D07-A265-4A571350447B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09face076ef8f9f7684f7ad6f120e3d3abe93382","datavalue":{"value":{"entity-type":"item","numeric-id":5476402,"id":"Q5476402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877820$172E1259-CE7C-4162-97E8-7CD9B68DDD3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a1e171f514192ff26e89b061f247e0d37a51785","datavalue":{"value":"10.1007/S10817-006-9029-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877820$861F20D7-661E-4BB5-B7A1-7BFF652DC039","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f021676304f60a3eb3954fe9075d061f8c5306","datavalue":{"value":{"entity-type":"item","numeric-id":5951528,"id":"Q5951528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49079568c2adca963ad8ee8110972bf95991329","datavalue":{"value":{"amount":"+0.7117336392402649","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":"Q877820$822FC7A1-C347-4A34-9965-CCE587D0F100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41dc3de95614f3b92011d708b8ff2449d14349b","datavalue":{"value":{"amount":"+0.7090984582901001","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":"Q877820$E427AF7F-9B2C-4A5D-88B7-C77961ABAE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ed5a398eef6601fb1e903c3c121dec64cc9a33","datavalue":{"value":{"amount":"+0.6902929544448853","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":"Q877820$0960A944-16C7-4445-83C5-6F032B4463FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b176a72aab3fef7ffc1d699e610f2917e33313","datavalue":{"value":{"entity-type":"item","numeric-id":4364520,"id":"Q4364520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ed5a398eef6601fb1e903c3c121dec64cc9a33","datavalue":{"value":{"amount":"+0.6902929544448853","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":"Q877820$5B325539-89AA-4B8D-95CB-C5A68C632595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d6c99227f2254081478eb4c017db095696b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":3718688,"id":"Q3718688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1958a588820b7cce7238518367f0ed295dabd142","datavalue":{"value":{"amount":"+0.6863803267478943","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":"Q877820$2405FB17-5D8D-4D60-8AF1-EAC81B2CAEBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing the skew Boolean propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_the_skew_Boolean_propositional_calculus"}}}}}