{"entities":{"Q6148471":{"pageid":13282778,"ns":120,"title":"Item:Q6148471","lastrevid":39728598,"modified":"2024-12-30T17:54:31Z","type":"item","id":"Q6148471","labels":{"en":{"language":"en","value":"A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786932"}},"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":"Q6148471$53295864-7863-47E0-AAEB-00B6EBD63412","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2caa08368f2c3d3d84b56fcc40b34b85479676f9","datavalue":{"value":{"text":"A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6148471$B670A8AF-D605-4C92-940A-21867C39EB7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"208360cab1caf994c1fa71dca2fa084b31e3ade9","datavalue":{"value":{"entity-type":"item","numeric-id":2001170,"id":"Q2001170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$85A342F4-3126-4419-AC60-4605BF3FFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831ebde1d772ba8e4bc69b9b64a21d3f6be31090","datavalue":{"value":{"entity-type":"item","numeric-id":284970,"id":"Q284970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$2E32AD48-192C-468F-933C-1A60669C3FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$0260D62D-D460-4BCE-8B1F-74BDC07D4A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4ae904b1a2e2dc68ab28a30c4b26bd84cc8a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5100053,"id":"Q5100053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$D16D3544-637F-4E5B-B010-3F8F7561501F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$6310F712-6F38-409A-8C1D-DD7CB0492D0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6148471$69FED1D5-44B2-433F-8299-FFD757D125C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$6BA1654B-88AB-40B3-A29E-F2FA8BB9D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$5863BEA8-A4ED-428E-AB85-E0D31211506E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e14ced5aaf20aeb7dd9840359733c9d0bf6b1e59","datavalue":{"value":"7786932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$89BB050D-CFEF-4616-9CFC-E8AA8FF60BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148471$915F71C5-4A66-4A5B-BF03-3664638FAFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148471$4C5F384D-26B2-4E33-8C02-7A3484CA7251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148471$E10512AF-33FB-4075-81B6-F2E4F2D95CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148471$7433D490-0D5C-4D51-B14D-DDC71F2ED8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2665df7cec2fa5fdac4b689f69f5e9f157f0324","datavalue":{"value":"left residuated \\(\\ell \\)-groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148471$81D28EC8-2D3D-454F-80F3-CFB956E066F1","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":"Q6148471$3D1280DB-9982-46E8-9F6A-F7459F405F22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ea27c1045140d95b4852f6f39c229a52cdf83ab","datavalue":{"value":"Q114012123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$606E3C1A-81FF-47D8-8D40-E895CEF5F4D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb116ab91d289be64ac63ac27f08afd35798f55f","datavalue":{"value":"https://doi.org/10.1017/s1755020322000016","type":"string"},"datatype":"url"},"type":"statement","id":"Q6148471$4140D5C4-825D-4284-90CA-785F7AE0196D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61fbace3c2f79e79472584e7c98ebf53a2c46308","datavalue":{"value":"W4210723037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$B41E68B3-FEAE-43EF-AB71-F74FA468441B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$40E98D84-BAB5-4665-B5F8-7FBD68441E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b77e660a25ac9f974f2d969d3524a7a99f42461","datavalue":{"value":{"entity-type":"item","numeric-id":3898538,"id":"Q3898538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$E6F34240-ECAD-48F9-8C13-46B096216D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71138d348d6096487d0692143e4e6ed18d82a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$F767639C-EEC6-4B19-870A-3FDF66EACDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec69565a0f072194469c8cca4c8004e59972b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$4C7B45E6-8CA0-480B-AECB-7F4C404C4A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$04965356-9BF6-477B-8D41-3583FBDFFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95edef21208de97a5e107ace127708203714c8","datavalue":{"value":{"entity-type":"item","numeric-id":4508551,"id":"Q4508551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$5D2E7775-1EDD-44E7-A458-0B73C79FBF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af3cef7c34859f80e76eadfd3c25778992dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$AE187CDF-8797-4148-AB4C-CB87909F62DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75f0da0a20fa8ad88b0bdb0e13d2822167571f","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$BA15C8F1-FE42-4E6D-8E68-27769DE1F88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0c3707d9f2bebdea31a7e69bb3d31ba24cdb24","datavalue":{"value":{"entity-type":"item","numeric-id":2402069,"id":"Q2402069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$6ECF2DC4-3055-4641-A448-6EB58508A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4634df1a3a85f9f8fc3182bafc965641a59e9a10","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$8EC6A087-B380-4B42-A925-3AEB82FA84C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261956541c9e49931814df3590fd413ca3dad1f9","datavalue":{"value":{"entity-type":"item","numeric-id":1768730,"id":"Q1768730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$E76800A6-C36F-4DCB-B709-58F2EBF3A5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ea96e0eef7ec43602077899dd74e624fab0591","datavalue":{"value":{"entity-type":"item","numeric-id":3666849,"id":"Q3666849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$E75AA6E3-E691-475E-8C87-5D519B26D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$100F8718-5ACE-4DFC-B875-409E76EC59CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$6C117314-9A5C-459D-911F-0B08D196639E","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":"Q6148471$6C8A8B7C-3A17-4C76-8F7A-8CECC94311AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$0DE0AB7D-D2EC-4C6D-9F6A-2615E6EE2344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f166ac1f9e147a2629ceac56164a7da1f094654","datavalue":{"value":{"entity-type":"item","numeric-id":3399178,"id":"Q3399178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$0E622CA1-73F4-4C51-8E7A-36B817B5EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$077EA028-CFD4-4DDB-BDBE-FB7E2C8BE7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944d27016034f17365e68784d873c8a21c643ba1","datavalue":{"value":{"entity-type":"item","numeric-id":5603219,"id":"Q5603219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$C32DF11B-520C-46A5-829D-0DB6BA7AB556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4376b57479d64c0f3d5ca51fdc2efeccaf537ac","datavalue":{"value":{"entity-type":"item","numeric-id":1141650,"id":"Q1141650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$17414075-FE70-40D1-B4AF-EA31F526ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$3FA3F0BC-D204-45A6-B60C-92639CF43FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0924fe5b703b43d0c6e622ab0c031e7b97409c1","datavalue":{"value":{"entity-type":"item","numeric-id":4149443,"id":"Q4149443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$EA6905DA-275F-4E95-A135-78DA50CBEA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70be80349076e33d48921c57eaf7ce0b1504ab02","datavalue":{"value":{"entity-type":"item","numeric-id":3584003,"id":"Q3584003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$E630FD3F-CFA1-4428-B2AF-5149BDAC0D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c9b6f9ca3d171dbf2d02621061387dde3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$40E1DF73-4B11-4367-A2AB-3396CCC95A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4278bbf7c3a34ba16400403dc2fb40591639b3","datavalue":{"value":{"entity-type":"item","numeric-id":3877681,"id":"Q3877681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$4EB4A4C2-1F2C-4CEF-ACFB-752FD5F57FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$331F561F-1DEB-420B-AD84-6A31D0528FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14262f868a6ca513b97376db823aeaf3dd172bd","datavalue":{"value":{"entity-type":"item","numeric-id":2062191,"id":"Q2062191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$4DE6C5F8-1C43-4B6B-99DF-5FA3FBFB16A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a1edb5d0f41a1e3c3a2fac7424dcfc28af114","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148471$D2E35574-66EC-4485-B934-7C46AFF21E68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ce887cedf828baf193c03f6fe93bc200e974727","datavalue":{"value":"10.1017/S1755020322000016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148471$C1C531C7-EAA9-4C82-8204-37CF5A3FA161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6148471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6148471"}}}}}