{"entities":{"Q1653006":{"pageid":1663747,"ns":120,"title":"Item:Q1653006","lastrevid":57534585,"modified":"2026-03-31T07:35:56Z","type":"item","id":"Q1653006","labels":{"en":{"language":"en","value":"Modular tableaux calculi for separation theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904550"}},"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":"Q1653006$4B80865E-D6DC-476E-8F01-7C63461B655B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38d9b52be18dbed1007a94ddf5b9c8ca4d4f94dc","datavalue":{"value":{"text":"Modular tableaux calculi for separation theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653006$458534B9-DB3B-479F-ABB8-26DC7CD49F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a3c15ee6e85fd6d687333e23000bcda559a17c","datavalue":{"value":"1506.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$B9F3A69B-87B0-428A-BCE3-9F59A725E241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce626a9fbed2b733e60e2ad2a3d903e717d5487e","datavalue":{"value":"10.1007/978-3-319-89366-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$D6810518-5AD1-4141-B52C-01FCD9743CF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16db8a833bc92d60ee63ac58039d722a100b64e7","datavalue":{"value":{"entity-type":"item","numeric-id":1653005,"id":"Q1653005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653006$01D2A4A4-014E-4B84-A9DF-08A7E27A11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653006$80EC284A-CBC1-4302-AC8F-DED57DBE2EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653006$57A4CA4F-7CFE-42C1-8BA1-DB99D1A2569F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$3A25E3FE-F71A-4510-AF92-3BA5F39AD357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$954626A4-FE08-429C-9F2A-789F161A2406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"708ff9398562a6d83a1cbede856045fa776c13c5","datavalue":{"value":"6904550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$4D4524EC-1890-485A-AE69-E9D350BA242F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af008ae73cdcf600246ab1a644b6e9544d4737f6","datavalue":{"value":"bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$4FCA192F-F3FB-42CE-B5CF-CD809716AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$8F74F6DD-141C-4C95-AF2A-A1F36861B9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$2EF00711-2273-4193-8D2B-538C2EF03A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$71E307AD-C26A-45F9-81AA-BCB0F584C12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$3DE687D7-E248-4F76-B636-472C5C5BFA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dd56bfc309e81dea1a31b338d5a552cbd8a050a","datavalue":{"value":"separation theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$F2F2D70F-4281-4CD2-B75E-36CBA44894D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$84172C88-C890-4A20-8952-FF0AA1451567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653006$6FDDA00A-9BDC-4F71-AD6A-D6C3AF187F27","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":"Q1653006$E3485762-E336-481D-9310-42E0AD6D11E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0339e64ef612fc6189bf01ac9293340340f8a00","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89366-2_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653006$5D167BF5-742C-4923-B1E9-0FFC2B26B0BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"945434d615ca1698e1f8982fe4b4f4197ab207b3","datavalue":{"value":"W2788044110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653006$BFEC557E-8838-4121-A9C6-0360EEE6195F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0843dede5e394189a0e50b8e45310558643385ca","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b097c5ad03d101769bd342e7de30790230b64db","datavalue":{"value":{"amount":"+0.8059993386268616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1653006$FED540D9-F095-4BF4-8655-D03668F843A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079700e8a3458e82a442ea0ce54422cd2135c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4579962,"id":"Q4579962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e68bcbe105f4838dd72db0b70976e537d0bbe7","datavalue":{"value":{"amount":"+0.8056268095970154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1653006$0EAE2AF7-C5C1-4D41-BD1D-3B5AA5EE4C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e6b41c567a5035d2def9a2a290c623be6df8de","datavalue":{"value":{"entity-type":"item","numeric-id":5408442,"id":"Q5408442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc26feef0ef294de3e8b1968f2ce5973ce54532","datavalue":{"value":{"amount":"+0.7734806537628174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1653006$FF915352-9567-4BE3-9047-527D845083F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054b7ef5f420bb98025c97a3264b1f0b29a5a2c5","datavalue":{"value":{"entity-type":"item","numeric-id":5408441,"id":"Q5408441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd1a69c083ecf4a2956b0616c33c254b2a86c0f","datavalue":{"value":{"amount":"+0.7660281658172607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1653006$D4015FA7-7475-4786-9A2F-0A348CB3E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4ea58827b99bdf62c5882fb406305781922bd0","datavalue":{"value":{"amount":"+0.7658237218856812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1653006$56912ABE-5592-4A91-A46D-F90E743969AE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653006$F09D1001-8591-4FD7-9765-61F5B50D2F12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1653006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1653006"}}}}}