{"entities":{"Q2735802":{"pageid":2746541,"ns":120,"title":"Item:Q2735802","lastrevid":41949425,"modified":"2025-05-19T11:26:15Z","type":"item","id":"Q2735802","labels":{"en":{"language":"en","value":"A proof system for fork algebras and its applications to reasoning in logics based on intuitionism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641291"}},"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":"Q2735802$0AA86D8B-A9D8-4A3B-8F5F-FB398C49FA03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5ab432023ead99ac139f4d7ac45fa782775d23","datavalue":{"value":"0974.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735802$74C874E8-6A1B-4BF2-B153-7D5ADA5BADCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb0d8dbba3b369c80a2428e6e60e1d4a76d64f1","datavalue":{"value":{"time":"+2001-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735802$A37082B7-87DE-4CBB-8AC4-16C4D12898C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735802$2DDC981E-BBB3-4C1A-B07C-D753C2ECCCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735802$9340D42B-AF15-42B7-8E9F-7454C6EEAEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735802$AB5314D3-420C-4346-8E47-04DEC8DE03C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcb5c5fb9492408f7c25bb060a16f0c076f5e0f3","datavalue":{"value":"1641291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735802$4893D049-A2EA-45DE-B053-B4F2E0E80C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90fa0aeea415f46d5d1eb45ca5afe57fc1a230f1","datavalue":{"value":"interpretability in relational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$51A3D6CF-6BBA-4B8C-B138-5DC550406DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e2222c0fa20009ab9c271e80f975b2c0636eb5","datavalue":{"value":"relational proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$A5C74732-A58B-4C24-AA7D-EB66A3C08546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e61a9310763dde1c5b13c13e1a42205120ef183d","datavalue":{"value":"Rasiowa-Sikorski-style deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$6E833901-F375-47F7-AF5E-DCEA7174EE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8bf99c129c5d372ebfcbe67da59113108759bd","datavalue":{"value":"fork algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$5B1A6D59-FBB2-4A4D-BB4B-D813153676AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$0D2766C0-C23E-4F76-A669-5CE4DF3FDF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e189e1cb6fd35fe4d8b828c338699269d2e0887e","datavalue":{"value":"fork logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735802$BC72CE7A-7169-44D0-BED9-2B086CF4F464","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":"Q2735802$F2E4EC9A-F080-43B6-8BA4-3353CB7D198D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e168f05f39e3801f9cd4faeff23b1722a60192d","datavalue":{"value":{"amount":"+0.8940509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$0B8CB281-E9F9-4B3F-A360-357C83874E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fdee0de3bb3bb3d1aef548e4ab565a5f7210f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946724,"id":"Q2946724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fbf1ca54a3163836b02485465819ff12e98c70","datavalue":{"value":{"amount":"+0.89314437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$C4022AC9-F691-40B8-8EB1-4FD2F7D649BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2283d096669c6003f5e2fa70f13f3010060e2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3146903,"id":"Q3146903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93332deb4f1bddf91095b893c5135481e4594ada","datavalue":{"value":{"amount":"+0.8884088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$8A34E7C4-5D2C-48F1-9DCD-4D7A45EA98C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcfa9a11007ee474b9817863c269f0a1eee92ba","datavalue":{"value":{"entity-type":"item","numeric-id":4381704,"id":"Q4381704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93332deb4f1bddf91095b893c5135481e4594ada","datavalue":{"value":{"amount":"+0.8884088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$152E259B-6391-4F14-B044-E124F6E4094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9856d19d0b7e1b9610b7cc8d84bf640ff8e664e4","datavalue":{"value":{"entity-type":"item","numeric-id":3389489,"id":"Q3389489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c373652a2b3bc33d332ff5ae08cbd92f8476b0d","datavalue":{"value":{"amount":"+0.8879029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$4314961A-A459-4450-9B1B-B454A11513CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8180bb0885b882bfff46fc953d178ce8f532c1","datavalue":{"value":{"entity-type":"item","numeric-id":3382814,"id":"Q3382814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d8933b098f85b13303fabfd6aaca74e00eb931","datavalue":{"value":{"amount":"+0.8866309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$4AA3C603-98DC-4457-9FFA-87DB52C273FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a89d2983d51840d769255b3749f5827d51ec049","datavalue":{"value":{"amount":"+0.8842294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$35F5CEFD-7FE6-430C-9E95-76DF4B520DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd5b1727e9bd01d7a323f1b45391cc04cbae433","datavalue":{"value":{"amount":"+0.8807889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$1E42CD4E-15DA-4603-9923-C4E35083658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e83a047cca94fa4efc9b9fd0436f1a812f656c","datavalue":{"value":{"entity-type":"item","numeric-id":1694454,"id":"Q1694454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35b2a6c25ee280d43025b5b5d347921a863447f","datavalue":{"value":{"amount":"+0.8804196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$3625647F-69CC-464B-B60D-6141D89E049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f8e48cae9e3be95e4b25037189a4718ef8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b3e3e10c1685f4df828437d9f0cd74456bf722","datavalue":{"value":{"amount":"+0.88026786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735802$4D19ECB6-CC24-4FE5-A48A-CB7A8F2F3928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41be7213f049433b93e5e33defebb4bac684a8d2","datavalue":{"value":{"entity-type":"item","numeric-id":817580,"id":"Q817580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735802$4DF60A62-CE73-4972-88E8-EE1D6BAE94BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735802$A971B65E-D0F2-459F-B2F7-317B16391BC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ade72f0b1be4c80a1b70bc2cca12898565bb6641","datavalue":{"value":{"text":"A proof system for fork algebras and its applications to reasoning in logics based on intuitionism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735802$2F5A8CC6-0EF1-4A55-8D83-324169071344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735802$FA33AB57-1A41-468B-9287-3F532D5F6891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735802"}}}}}