{"entities":{"Q1653653":{"pageid":1664394,"ns":120,"title":"Item:Q1653653","lastrevid":68064636,"modified":"2026-04-12T21:11:51Z","type":"item","id":"Q1653653","labels":{"en":{"language":"en","value":"Sequent calculi for semi-De Morgan and De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6914010"}},"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":"Q1653653$8C6E3C69-73D1-4CE2-9D3A-75514489E01B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e259197c5446c8f35b9a1c5a4ad8fb2830f4ba71","datavalue":{"value":{"text":"Sequent calculi for semi-De Morgan and De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653653$023834E7-6F68-4B34-A98D-AA8BB4E15F6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31999ce15a88405938193c39b934c00e225de213","datavalue":{"value":"1437.03181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$DB2DAB26-D32C-4FF8-B213-4929BA615B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$95EF759F-7A5C-4998-A49A-9BF9A1DA1B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b6fc34b42aba8dc9e0ead5f7489f9f4a9f20150","datavalue":{"value":{"entity-type":"item","numeric-id":308531,"id":"Q308531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$B54A997E-B7CF-4DA3-A8E6-31D6B0B80135","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":"Q1653653$2F5189E2-E4E5-4175-9302-9F02AD1C027E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82b8b38224589a81cd806547430f6d71715c9a97","datavalue":{"value":{"time":"+2018-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653653$C7A7CF26-B3DA-45B0-A23E-D46F5F54F3A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2422992bb5217b27d2b546b87024483f64fdbc1d","datavalue":{"value":"https://arxiv.org/abs/1611.05231","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653653$919F8C5A-9A96-474E-BBB0-8A6E22A05269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$5B8F42A3-9079-4FA6-8D70-49D3A29CD75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$BF4F9CC2-EE64-4D51-B511-C9434B27DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$DF1A6BCD-6A36-452E-B684-32109BB141EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$CAAC8D8D-971F-4955-ACA4-D64C677AD769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59dc0731ac07cda058dd0a5e69c832ef33ebf9f7","datavalue":{"value":"6914010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$1C57868E-457B-4E2A-B2C9-954E74D91CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29505ef3c07cfb5106892f4c95c70cddd1def3f7","datavalue":{"value":"semi-De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653653$E9A9BBBA-4CA2-46E5-93F6-7B42B951BD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ad551ffa0322c41ad93a169bf53b5157af916e","datavalue":{"value":"De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653653$6DDADA5A-519A-4ECA-BC50-9455ABD652EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653653$1367DF96-57D4-4E44-9C73-95BF04BBFC84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$00C736BD-CC3D-4808-8419-792C273F3CC2","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":"Q1653653$6FA3AEB8-AA59-4CA1-8CC5-9C23F80A39F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6947d4d2f16bc0381dc77750300a09bb3a6fe5d0","datavalue":{"value":"W2556487522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$163C303A-E71E-4C36-B8E1-22B420D73AEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$A928BC4C-0CE4-415E-B474-F705074BEBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$3A57D65D-B6FC-49CD-9332-BC02FAC502EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832ff40593676eba7193bb1bb00a6eab86a173b0","datavalue":{"value":{"entity-type":"item","numeric-id":2715514,"id":"Q2715514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$610B08EB-EA14-4A50-BEF3-A044D2797614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d034f066affca5b8bf5502dad9d320b3f5229f51","datavalue":{"value":{"entity-type":"item","numeric-id":3250590,"id":"Q3250590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$ED14EF7C-9E3F-4074-A8E0-C3B1A0C5A8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da620e205c246dd3dcdacbb3d0520437d53d92db","datavalue":{"value":{"entity-type":"item","numeric-id":3081248,"id":"Q3081248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$0003A724-B0A6-4278-80EF-05255D6194A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1416eb0679821894638148c07a5c19b91ff596cd","datavalue":{"value":{"entity-type":"item","numeric-id":1153906,"id":"Q1153906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$0647F033-599A-41D1-981F-A64CF918A2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9b15f66aa80af2e2791f64396242eee36bf5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1410421,"id":"Q1410421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$6E499468-86B7-4E5C-9882-AF497BC5B13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$11EE2686-5B9D-4730-A1CE-550490584654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d4da92a7537fd665ede015df0eb8241a5cdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":4754493,"id":"Q4754493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$F06772F1-F957-4554-8340-A283FD1EDB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4504e47337249b5e04c7117b5454436e469af096","datavalue":{"value":{"entity-type":"item","numeric-id":1914064,"id":"Q1914064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$6B8B8E2D-6881-4B84-9A58-DC3C3CAE6808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae885b2dcd70a4e1d222871b9ece1a87c7f017b","datavalue":{"value":{"entity-type":"item","numeric-id":3170560,"id":"Q3170560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$1F9E7B58-B7CD-4E7E-9C90-9D9120FF1F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e127fdba9ab8d095ac895279f02383a30752095","datavalue":{"value":{"entity-type":"item","numeric-id":3546123,"id":"Q3546123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$3579ED57-5C2D-4DDD-A437-6FED2D2B3CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$9244A625-64FD-489B-9C2D-32913C150343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc03c0793a31b9abd7f7020ab1c9f39e952b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":4521288,"id":"Q4521288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$5B196304-BF36-4B09-A430-848531D129BB","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":"Q1653653$A07B9B8C-2C67-4C97-A001-FFA058D4E84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$7FFCB88A-7AE1-4AB9-A2ED-1FAE7A33983C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167171214c7eedfc62cdb3aa4c585fa4eed3a7de","datavalue":{"value":{"entity-type":"item","numeric-id":507761,"id":"Q507761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653653$74B83C1A-A8AE-4305-8562-8D9430FB84A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4fab5166f12043924dba7d571c78dd9f611ec65","datavalue":{"value":"10.1007/S11225-017-9755-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653653$C721207A-6CA6-473E-8265-76E38FDC46A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c524551ae58bc13ff4034d75fb6894586e5df482","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e5ca3496e71e20e2063c81c31e623604c84b5c","datavalue":{"value":{"amount":"+0.7698256969451904","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":"Q1653653$A11A1A69-CE6C-4803-A964-1B5A54903E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d263acacf945a089e4fdb0109ef3c7937b1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b5e0ee3203514e6e7094430ba1937984071794","datavalue":{"value":{"amount":"+0.7597413063049316","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":"Q1653653$31C8F0D4-CB88-4540-9E1B-223555366A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a105a87954bdbd591f210f92a58236e8d6da71aa","datavalue":{"value":{"amount":"+0.7395036220550537","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":"Q1653653$580BDB09-82F0-4B95-BB7D-ECBC2029C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a68747d97978852730b02ef9bb37bf49095d51","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1820269b68f4b2350467784ffb0528b3bcac498","datavalue":{"value":{"amount":"+0.7271143198013306","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":"Q1653653$D8970887-2981-4B13-A2AA-C7DA6E0E7FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164d182acbd71d6ee38f78953b601cb1d794cde7","datavalue":{"value":{"entity-type":"item","numeric-id":1914064,"id":"Q1914064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ed80312b529b4fc5b01a4d466aadab24e0def1","datavalue":{"value":{"amount":"+0.7225668430328369","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":"Q1653653$06676A21-2CD4-4161-9DA7-F42086FC8F0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi for semi-De Morgan and De Morgan algebras","badges":[]}}}}}