{"entities":{"Q2575479":{"pageid":2586222,"ns":120,"title":"Item:Q2575479","lastrevid":73575840,"modified":"2026-04-14T16:31:03Z","type":"item","id":"Q2575479","labels":{"en":{"language":"en","value":"Gentzen-type calculi for involutive quantales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2237416"}},"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":"Q2575479$E5BAA9DD-AC2A-416B-9AD6-7D57D7CC965D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fafd295adddf08b5be0879f174d6aec0f47967d8","datavalue":{"value":{"text":"Gentzen-type calculi for involutive quantales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575479$C8509777-5188-42C2-AF39-D96FD0AB5BD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7670a4e0cab070a07de68e33a27fccc2413365ea","datavalue":{"value":"1089.81007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575479$DDDB8F9F-56FE-48C9-8443-530A83361832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$682277D6-55CE-4A99-B413-156F92464D15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$6B9D3F86-0BF8-413A-8F03-39494780C9E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbb3069003a3f271a27f7e752e119451cb0d4d72","datavalue":{"value":{"time":"+2005-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575479$B91A0CD0-A6E1-4D4B-AA39-9A72FC955E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575479$64BD384E-7C5E-4197-B417-765A3997B4A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d470b560475364e8e3219178446bdb13e9310a3b","datavalue":{"value":"2237416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575479$D9884146-8082-4585-8D6E-725C42B7F7F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c9af3228b608730fab62e675dd3429bf79e8b6","datavalue":{"value":"involutive quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575479$58FC786F-4414-467D-89F8-880D4F38C8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575479$2E5BA672-3231-4FBD-8B67-D11909F0D4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575479$2D100F0E-A1B1-4B4E-9767-DECD6BDE99BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575479$86EF9F48-A9B7-4879-8C6B-EED2F0B09FF4","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":"Q2575479$E3F6D9A2-8DF4-44EF-8374-1FE3F47E185B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d71b99277b9a9a3b00ed31fc0d8832cd2c35ad1","datavalue":{"value":"https://doi.org/10.1007/s10773-005-3965-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575479$9E868269-EFD7-4F48-BD28-90678A4EC3F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"180b60ce320b3c40752e89f907ca3769cc9cb4f0","datavalue":{"value":"W2074393451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575479$C28A5F70-846D-4DE9-97F0-385E2805763C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$EDC146D3-9A92-498C-BE38-8D88034196DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2a357531552139792e783fb9476b61ce0c4478","datavalue":{"value":{"entity-type":"item","numeric-id":5954708,"id":"Q5954708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$CDDA94CA-F6A8-4653-BB84-0999FC309F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7def4364199c395f7c269e41553f29c7cc03de4","datavalue":{"value":{"entity-type":"item","numeric-id":1264370,"id":"Q1264370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$8D86A733-5E99-4B57-A48E-C337328AFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$5C3D108A-C882-4C31-A79D-27AA01C2C7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e90c41ded581714c7bd46395d970204bf0f9be2","datavalue":{"value":{"entity-type":"item","numeric-id":2743640,"id":"Q2743640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$67230B1C-ACCC-4A97-A820-F4515A6793AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1ac475f662fbc3b53cc4c21ce84c3c6dd1fa36","datavalue":{"value":{"entity-type":"item","numeric-id":1770594,"id":"Q1770594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$DF3CC319-53C8-439F-AEDD-E62181BA7B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cc1d8d9bbeb6915bdac78573e17a1f2991e528","datavalue":{"value":{"entity-type":"item","numeric-id":4513584,"id":"Q4513584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$68DE4AA8-BEB6-474C-B481-7C764DF353E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed8f922ea615a7ab081eabc8d834a22a4abeaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$3FF6B09F-2FD4-4ED7-B1F2-8DBA61B22299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c4033b38184e904130432d02afb5d41b6559fe","datavalue":{"value":{"entity-type":"item","numeric-id":3137162,"id":"Q3137162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$150A3A2D-0FAA-4952-B590-39A22B6C7F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad05995f46d32f8024969e9eb05962da54772eb","datavalue":{"value":{"entity-type":"item","numeric-id":5939823,"id":"Q5939823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$89307320-8458-4C5F-A499-1CBED015E82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62767dc12d8e09227525859493210c61de637ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1850106,"id":"Q1850106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$164D3E7E-8EDA-4954-841A-6CE0811EA586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$C0C9181A-3111-406B-B329-061B6C34BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$6BC44DE9-12F4-43E5-8991-9791BC2409F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8d1b4262b98a9f09add21b12a61ffd6125670","datavalue":{"value":{"entity-type":"item","numeric-id":1372652,"id":"Q1372652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$A2CC4AD2-728B-4DEB-851E-ECC30F2E01A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$426F9463-6C7A-4EB2-89B0-989F37BBFEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$FC74B54D-522A-4442-B0E4-2560D3D12DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6b93763c3bee209b670cc606716e146a89ae81","datavalue":{"value":{"entity-type":"item","numeric-id":4858821,"id":"Q4858821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$F652A7EB-49DF-45E3-BBA9-FEF87A15C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56644985cf57e9ed0ff4fbd8710db0680e92663b","datavalue":{"value":{"entity-type":"item","numeric-id":1894594,"id":"Q1894594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$9001DAD6-86EB-436B-9B71-F23114F49233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d8155aa74e24e3d6dc8efa37444225b2367a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1322438,"id":"Q1322438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$855525CD-E2F5-4F18-B2BE-E22B8A16F922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575479$4071BD17-1234-4D8D-A599-07CFDB847A15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46afd91b39efb3b7be73ddf78d45fa9b83373b29","datavalue":{"value":"10.1007/S10773-005-3965-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575479$FDE25EF8-B3A6-45EE-8B37-AE9BE82B5B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen-type calculi for involutive quantales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen-type_calculi_for_involutive_quantales"}}}}}