{"entities":{"Q6544534":{"pageid":14155688,"ns":120,"title":"Item:Q6544534","lastrevid":42337656,"modified":"2025-06-11T18:27:22Z","type":"item","id":"Q6544534","labels":{"en":{"language":"en","value":"A general schema for bilateral proof rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854131"}},"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":"Q6544534$0AB35AD3-36B2-44BB-8023-AF4693059943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5ca791e6c76cf20f221a77308687fa7e72c4c9b","datavalue":{"value":{"text":"A general schema for bilateral proof rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544534$1A6D9508-1D11-4F8C-8110-7F0EDD8A8929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65c004ecaf5b38eb8db1be4248cf0f10c85b2545","datavalue":{"value":{"entity-type":"item","numeric-id":6544533,"id":"Q6544533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$9A8A5049-5070-4798-B146-97E27EE87A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$17F0B543-0605-457C-A560-804FA1FF011F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544534$BB0B8762-C263-4F81-BDFE-9DABD70AA38E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544534$20608F15-7262-4050-A30E-8F1CD8172F08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854c670aaabbcea7e813ce60fe7b75b4576a44fe","datavalue":{"value":"7854131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544534$5CAA2F39-BCF6-45A4-B2B6-528D1A93000A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544534$08606A7F-FA6B-417C-ADD9-EC2379B34FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544534$2C9F8181-13A6-4C9C-BA70-0220CB311D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544534$8C82C007-C253-4500-B390-D7D6B3F3B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016192ac99d609c639c449e6374ba2f40428c9c8","datavalue":{"value":"inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544534$DB3C5F25-54B0-4108-B98F-3E6106E651C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544534$2B39C1C4-3613-45FB-89A6-AE50B3863637","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":"Q6544534$30E2537B-2A46-4DD7-8E2C-77181F7CF70A","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":"Q6544534$4F5F3FD3-622D-4E40-890E-AE8606BBA213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b386f44f3565af49e7a9a4090a521bbce5897ff","datavalue":{"value":{"entity-type":"item","numeric-id":5067974,"id":"Q5067974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$F8C06F50-404D-4658-A864-18D74C3527CF","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":"Q6544534$8CC80DCE-EE2B-4F65-A2D3-56C3E43B25B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$ADE6C862-A0B1-4764-880A-2868AECF8B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71cf11a1b65bd0412fffab4b7b21d70b354d569","datavalue":{"value":{"entity-type":"item","numeric-id":6200471,"id":"Q6200471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$EF678724-273B-4DBA-AB03-F2249D4256AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$DC841682-C555-4948-B733-E549980D9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89663f9c0541a2bd1dd53ee356aa8b8c199119cf","datavalue":{"value":{"entity-type":"item","numeric-id":484102,"id":"Q484102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$39C37ABD-D10B-4C04-8EB2-C279E0E4A7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de44f59af2518b82d5b86c0c90e21beeb489a834","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$5E6D3179-ED6A-4A22-A3F8-F170AB822C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f60955eee492ecc982a5a81c24a1b809129ed45","datavalue":{"value":{"entity-type":"item","numeric-id":5869575,"id":"Q5869575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$B6C64647-ED96-4D22-B83D-E31EB1129730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53674086d0b747bcbbd79e06734f8da013fe9ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$98D707B1-BAA5-4C33-ABA1-A5010DA0A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$D0372231-E7FF-4CA3-B677-CD5D7E79D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975f3ede380845574c26f0cedc727ea5fd29694","datavalue":{"value":{"entity-type":"item","numeric-id":2258539,"id":"Q2258539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$3DBAEAE7-B1E5-4A1E-99DF-AD870DF2DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c131f59648a15c8ac53988ae956300eb46a7bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":5365513,"id":"Q5365513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$21D39E74-0680-48D0-831D-75478946FD29","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":"Q6544534$023DDFFC-79FE-4369-AE7E-7CCCEC735051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cee01d3818fcb579e9c241cce24bbdbb93c370a","datavalue":{"value":{"entity-type":"item","numeric-id":5078819,"id":"Q5078819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$7AAA019E-34A7-44B8-97E1-C5B61F45B0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de056e08e6e6fcfcc24a02883a59d592fdd4c979","datavalue":{"value":{"entity-type":"item","numeric-id":2410887,"id":"Q2410887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$5F939E36-A697-4C4D-9270-4C4F29FA1A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7660a0cbce8062a7f3130cd8256139c3a47ab9","datavalue":{"value":{"entity-type":"item","numeric-id":3121549,"id":"Q3121549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$BAAE13E3-9EC1-4F0B-B8B7-9877DBCE0E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b84d128748bb9b2424652d7a5a2acfe662af467","datavalue":{"value":{"entity-type":"item","numeric-id":5039104,"id":"Q5039104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$C3854734-AA07-44E5-A714-766A40CDCE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6f69765580442d37049bf248899e8b80cf7c11","datavalue":{"value":{"entity-type":"item","numeric-id":6659909,"id":"Q6659909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$2C7DB845-7193-415D-85E4-1FF4169015E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee50c0829911049cc8b2a5428531301a396bee","datavalue":{"value":{"entity-type":"item","numeric-id":6200468,"id":"Q6200468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$7C9AD5D8-759A-493F-B5A4-A20F7C23DFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eacb7015b6608767e9724885f6df8c631786a5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2055927,"id":"Q2055927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$6E21086C-8367-4769-82DA-EE5039162DB2","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":"Q6544534$5FAA367B-C7CC-4E40-834D-B6A72AAF83E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$936A65C4-9B71-40CD-8569-347ECF3D74FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$C7647852-07E3-4615-8A60-4BCBCD79A169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f841427d330e10075a2b4942655c8218412445a","datavalue":{"value":{"entity-type":"item","numeric-id":5532526,"id":"Q5532526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$9D4F248B-EDFA-4043-8D6F-92BF4CCE5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09bb9d6e47f7d3e89ca159213d81d78608beeeb3","datavalue":{"value":{"entity-type":"item","numeric-id":4497435,"id":"Q4497435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$1EE77E3C-8048-40BA-838C-99F2B68E6952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127201fbf302215c7fd11497f456c9a22fe7a41f","datavalue":{"value":{"entity-type":"item","numeric-id":4497444,"id":"Q4497444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$6F9C384A-31E2-4D83-A501-EEC312F2A8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033624a7007e7f19014ffd926803b277854e28c1","datavalue":{"value":{"entity-type":"item","numeric-id":5729293,"id":"Q5729293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$400BF3CF-DB21-4C74-B83E-8CB6E98D0D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$EB2173E4-3615-466E-B16F-D17B30A1508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a8c7a583eaf003f524a7c34ff42511c9a01245","datavalue":{"value":{"entity-type":"item","numeric-id":543530,"id":"Q543530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$BB96A639-666B-4D5F-BAF0-7C292EF3A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$971C39A1-E24B-4ACA-BF38-D2BB0DAC3DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426768d3d5594345361285607e01ab3b49279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$523F9688-E0B2-4A97-88AB-D1B17973C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62228844cfbecde4dc1a2b87ceb6042fbb1d2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":288247,"id":"Q288247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$789BE75F-578A-4B8A-8324-3D08C372E21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e30f34a540ee3ba63fb8fe54fae19dd406c479","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544534$2C6F0B8C-BC68-456A-831F-48A39C5059B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33ba0c5fd61c57860a5611a0707b3837a9868cf1","datavalue":{"value":"10.1007/S10992-024-09743-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544534$CFBC2784-84F4-484A-8043-BAA0C0342CAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544534"}}}}}