{"entities":{"Q4645223":{"pageid":6674804,"ns":120,"title":"Item:Q4645223","lastrevid":36460457,"modified":"2024-07-17T18:30:53Z","type":"item","id":"Q4645223","labels":{"en":{"language":"en","value":"Fibred tableaux for multi-implication logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999510"}},"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":"Q4645223$96561908-36B3-403C-9243-30C5E5BE2B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7245b93f3b253a7b4c5f4851751dda1ad960c1e3","datavalue":{"value":{"text":"Fibred tableaux for multi-implication logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645223$5FA184E4-D843-454D-B14F-602E8B0D8DCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a8bedd23c04086f571ce7a530444d1009d0087c","datavalue":{"value":"1415.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$5F638EFD-A350-43D6-9C28-5AC4958FF0BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"071525e05c4f2810916e4e27cf630991265d610e","datavalue":{"value":"10.1007/3-540-61208-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$C785F59E-DADC-400B-B64E-CB4ADE4561DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$FD5294FB-D496-4268-9292-231A2DA2C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$90C6FD63-8C2C-4B52-83CC-ADDCFD20E091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$ABDB8664-0A84-4334-B630-6325B1650EC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645223$953BA464-C0A8-47B5-B67B-B23B74C65515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$9378E351-5018-464F-B8EC-B7503CCCBE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$14F6959A-C3E5-43B6-8E67-5CB0FF2DD254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e820aa05b662c5103c48abae7643e178463c643f","datavalue":{"value":"6999510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$DDAB2064-6A63-4A26-97D8-DB0874AA1F23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905fbbd3944ef092935888f8d57c1a35d16eb28","datavalue":{"value":"composition operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645223$B0BDFD82-F29A-4B5A-9099-02EA2EE201A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f16a3b59de3a903fa7124333da485e11cec18ea","datavalue":{"value":"structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645223$7C6EB217-1DB7-448A-AA5E-0B6A1395B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ed17f0fa3b284d6eda2a0b6f59f94f851c6b48","datavalue":{"value":"elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645223$2DCF3AB1-D145-4EEB-B12C-8B6890639B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645223$E33CCCD5-94D0-45A7-BABD-DDD75D71BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ceda8aaed3f2a735696b7b8209c9e6c9e5c893b","datavalue":{"value":"implication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645223$9B363FFD-9726-4F1C-BF77-6788EAFC7017","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":"Q4645223$087C01E8-9677-41C9-93E8-B8C54A7D9A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b82fe3cb094105731f0445d54137ab22f8cca92e","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645223$051BAC71-C508-43A3-9CA9-63B0A4D87BBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4be1fafc2f158dd847bf38e979843bc9e4557928","datavalue":{"value":"W2165627128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645223$D9C9BD42-C8F8-4791-8DFB-00E6256D1581","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":"Q4645223$1C32F54C-4D42-420A-8EE5-5BD6C112A477","rank":"normal"},{"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":"Q4645223$DE221BBE-46F6-4E74-A2EA-6D24BA1ACC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df75431271723f6978ad2aa758c96fc05b9eac0f","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$DB1180E9-415C-48ED-A65E-E2EC5C288369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d858be9dd790a30b0627a27c52db84372af435fd","datavalue":{"value":{"entity-type":"item","numeric-id":1923842,"id":"Q1923842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$8FFC388E-302C-4933-B5F3-83EE6BFF514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc018a200b012fa08fa8e4b11016cb5dc509c75","datavalue":{"value":{"entity-type":"item","numeric-id":1370459,"id":"Q1370459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$56A75966-574B-42D6-A791-F892224A072A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$2EA4A0F2-CAAC-4C66-8C96-E9B832AD834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007fb9d8ecbf561662de071db19edff341db46d3","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$E9B16F96-31FC-4FAD-B831-B5B8985CA547","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":"Q4645223$CAB0D184-D9EC-40FC-B297-02E53CECE98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$3E1B7641-FA1A-410A-8758-724B018369FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645223$27C0AC98-6D55-4A2C-B760-B6C6AD985F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645223"}}}}}