{"entities":{"Q6149588":{"pageid":13283895,"ns":120,"title":"Item:Q6149588","lastrevid":57126882,"modified":"2026-03-26T17:25:34Z","type":"item","id":"Q6149588","labels":{"en":{"language":"en","value":"Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800190"}},"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":"Q6149588$D4E6B4AC-1603-4431-89B6-5F89B965A8CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e58276584a144bc396a99eb14b99f9ad455aa2","datavalue":{"value":{"text":"Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149588$ADEE0ADF-59BE-4027-AA79-C7F7E0A57A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$B6C27C38-8468-405F-99AB-DF840A34EA95","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":"Q6149588$019991B3-D6E4-46BB-8A1B-7ED63D5D0CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-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":"Q6149588$76D1E1E1-7E6D-4994-94F5-F58C618BC3A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149588$592B0425-F846-4A54-9023-6EE0A3B01F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2f96010640d326202935e4ba54c44810e9ce0e","datavalue":{"value":"7800190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149588$D25AA344-ED06-464E-B2D1-50B5EACF5F05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff85dee16cadd488aedde77d2f1f8240c1748b7","datavalue":{"value":"bisequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149588$CE5DE82B-4A20-4ED8-85D2-70BAC3F6CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149588$E9AF9D59-9EFD-4684-A171-7625B7D9901F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149588$C7939E43-F1FD-4C0E-9D0B-5C289E2101DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149588$FE94A453-723B-4553-999E-A103416DD912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149588$E8B8C781-A92A-481E-8F96-DF2D9CA14A2D","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":"Q6149588$7B6B8D3C-7AB3-41C6-B085-019928CE7032","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae84cb0b3177d971b7b44a9aff31ae7e4c8c89c9","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09685-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149588$8D493BD1-7629-4186-A484-E9B542B789F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15194c3c18cf42387a11b99de488c7de0582a7ec","datavalue":{"value":"W4388726099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149588$D336D4F3-7B6F-46C9-958B-BD989CA547A9","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":"Q6149588$1E2ABD8F-E84D-4C21-9ED8-D16006E4C2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0059a364345d8252e8e43992c5c89947bc034129","datavalue":{"value":{"entity-type":"item","numeric-id":4686539,"id":"Q4686539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$0CA91B76-D1D6-4E23-933B-F40FAD4C59E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a394c809c6f332dec417e66a5e917d4c8c28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1088648,"id":"Q1088648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$F98B4163-8C9C-4B2E-84F0-94946EF3253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$3B4D31DA-F7AB-452E-B2D0-A526345E187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$1EC87CE5-02E3-45B9-B6DA-BEB007260D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$31DD5CA9-797B-4C8A-9513-C765F013823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$ADB49856-368D-46E6-A94B-40550D946B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6932392a256289f6b0a0a5f95af11c122423e5","datavalue":{"value":{"entity-type":"item","numeric-id":5937806,"id":"Q5937806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$0367AFD1-8899-4B88-B8E5-3EB05457EE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c771d3c6da3908e4ec2dd96bd8773879bbf35544","datavalue":{"value":{"entity-type":"item","numeric-id":3962967,"id":"Q3962967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$685FA2B6-F25D-4EC7-ACC1-3D942BB0A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a8555e95c2e50b94f6ebefe107e921d0116fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$B257A70A-52D2-4E53-AAD1-B84FE0C88DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577643df6c652d0cc966925edce52159619692a6","datavalue":{"value":{"entity-type":"item","numeric-id":2987760,"id":"Q2987760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$C11FDED3-A093-441A-9026-F183F5284EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$A134E8F8-34A1-4965-8D23-DBA7D4500918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ba5a62f2819d71c9475ce219d05b5a79bd124","datavalue":{"value":{"entity-type":"item","numeric-id":6200455,"id":"Q6200455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$D2E0536A-F7BC-4AE2-8851-C6C084AA3A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$3F4ACA52-7FEB-472E-B4B4-C133433154EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ead2f917638b50f56093eefd35db2544278622","datavalue":{"value":{"entity-type":"item","numeric-id":4365783,"id":"Q4365783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$9FFB28F7-2E08-4675-AF4A-48202121C98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$99056D3D-2898-4BBA-BABB-7400793CE963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b460a0110632b60542242652d19e1f28ceef041","datavalue":{"value":{"entity-type":"item","numeric-id":2180235,"id":"Q2180235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$EF630A7C-022A-4C8B-8CBC-0D4670F89B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4081fe2329f478697b3bee3adb67a4368bd6048","datavalue":{"value":{"entity-type":"item","numeric-id":1685568,"id":"Q1685568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$5738BEF6-760B-4FB1-B5E1-272388229059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198e92897c16d36d8f8fbefc0c26ab27f9082fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5066095,"id":"Q5066095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$9CF72986-5401-4E74-8799-ECF88F400C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafbd5be037125e54fc92aba39807b1980c448a","datavalue":{"value":{"entity-type":"item","numeric-id":6162077,"id":"Q6162077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$A6CC2313-C31A-49BD-ADCC-316D14A557A0","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":"Q6149588$65B89106-A779-4720-82B0-B632211AA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d55ce6a5ea1d92d286860806e5f72a4833fdf70","datavalue":{"value":{"entity-type":"item","numeric-id":1685563,"id":"Q1685563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$95706823-595C-4165-8CCD-06FF336CFA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a338a8ae619fc9d4a666e6ef713237a4827194","datavalue":{"value":{"entity-type":"item","numeric-id":4557169,"id":"Q4557169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$0FC746BF-45BD-4398-A73C-6F5FFFD11421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d62a8cd944bfb14505b7f7cddac4bdc84106892","datavalue":{"value":{"entity-type":"item","numeric-id":3305617,"id":"Q3305617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$5F7B9FA7-D5B2-4592-A6E6-E016438845D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6256b86f6cf2af5201de202a55a679fde7b13a83","datavalue":{"value":{"entity-type":"item","numeric-id":4644573,"id":"Q4644573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$53C2E855-E953-4E5C-8609-BDC5A8C1D6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd99d9465b7bf41fff4c15e066cbcdc6f45c5567","datavalue":{"value":{"entity-type":"item","numeric-id":2987765,"id":"Q2987765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$FE85ABA3-CBE7-46E9-BF69-9D665A3BB384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$3D7C1A2C-5DCB-4DC4-B2FE-160931F62B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c59f24245bd23fc74e4844865db68ccee29c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":3226747,"id":"Q3226747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$4C8F224D-FA06-4881-8039-F01C1B623A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472a0e5d41d26ba07b88f2e8d25beb19128c4f40","datavalue":{"value":{"entity-type":"item","numeric-id":931405,"id":"Q931405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$B9D2410B-E2F6-4D2C-B424-9FCB7E9532F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49471a3ce982cdea0ba3b2a9025f94d72f3f0b15","datavalue":{"value":{"entity-type":"item","numeric-id":4770380,"id":"Q4770380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$AD8B6E30-89FB-4588-B25B-18B0B8676F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fff845705aafe63dace31abf72e3049f99ab9d","datavalue":{"value":{"entity-type":"item","numeric-id":4766974,"id":"Q4766974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$7ACF7D74-E328-4A97-83A2-68924FD7D672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e377b633ba621ccac6894df1e13a744d34c641ad","datavalue":{"value":{"entity-type":"item","numeric-id":1256439,"id":"Q1256439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$6964463B-3240-45B0-B755-4B8C1F04206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7b674d97d397c070cd54b7997c384955900da2","datavalue":{"value":{"entity-type":"item","numeric-id":1685574,"id":"Q1685574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$4FF27617-97ED-4216-B1C2-24C70A470A68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ab93a3aaae792053d2ee5d8e9b92ef17a4257da","datavalue":{"value":"10.1007/S10817-023-09685-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149588$282D461F-BFB8-46BE-84B5-1A2B798A431F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149588$2A3D054D-12A4-4CB3-A3E2-67A331E2957A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149588"}}}}}