{"entities":{"Q4381866":{"pageid":6411465,"ns":120,"title":"Item:Q4381866","lastrevid":46539723,"modified":"2025-12-25T00:07:47Z","type":"item","id":"Q4381866","labels":{"en":{"language":"en","value":"Modal tableaux based on residuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1132974"}},"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":"Q4381866$9182C9B3-63E0-489E-8BC1-94C3A676D554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ec9f03b575df2f2af7557a36c04cbac555c9de1","datavalue":{"value":{"text":"Modal tableaux based on residuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4381866$D5618312-EBBB-4C69-B1B3-402A7F1FCE31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"465d57d1f06640fec3917367fa2b88d77ce506cd","datavalue":{"value":"0898.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$DF7E91C2-B8E2-4A09-A74E-39A752608223","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381866$CEBE5578-227D-4E7C-BA16-F22D57CC4F1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1ca1a8625b414451483896c0601ca89b78191c9","datavalue":{"value":{"time":"+1998-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381866$AAB2397E-801D-4133-9152-A2E0E02B0457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$DD3F68C1-3558-443A-8BF1-67A348D29A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$961AB34B-E5E6-4207-8EE1-5C2CCE41D5AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf014ab9cbb83dc0a79c7d2e5f8cf91bd0bf5e3","datavalue":{"value":"1132974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$96485530-2AF3-4A35-BC13-D80DDAE50444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$F89568E6-E890-475B-B827-88BBBA18517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$3CDDE395-C4A1-4F50-8945-D767842C8A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$9371F75F-010F-4359-ABB2-07CD471AEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a6a84515fba32d28d5c23994a1c60e12a78f17","datavalue":{"value":"cut-free derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$5032D0AA-F88D-4DB5-A0F8-31A29016D664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$A4BB4E5C-AE74-4FC9-8789-DF1AFDAAAC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$5DB7AB7D-EC0C-4499-B086-7E8D0FEB4420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381866$67622D13-BFC0-42FA-BB39-276D4B0B9C70","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":"Q4381866$7CB7F6F3-0CCD-48E4-99E2-A0C07092EAB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9657eb903acee8500656025a5d7c6d73ede71a30","datavalue":{"value":"https://doi.org/10.1093/logcom/7.6.719","type":"string"},"datatype":"url"},"type":"statement","id":"Q4381866$07EDD59C-7FEB-486D-9DE4-3137BF19D9AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de3fbe84dfffc2f32b52057369462aae05b913c3","datavalue":{"value":"W2011230116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$922DDF9B-95D9-484C-8E68-1723B51597A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5e8142f3025db450fec9c62ff7e8f93736caa1e","datavalue":{"value":"10.1093/LOGCOM/7.6.719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381866$8C46E376-45E0-4E8C-955F-E66511A173D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381866$0C9AD300-4AF0-49C4-8C5F-03F07EDBBDA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23a911cb36449fb7a77fbad1a80a54bba6b3435","datavalue":{"value":{"entity-type":"item","numeric-id":1357163,"id":"Q1357163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9a4a14451da352a767167fdf7303249cc38dbe","datavalue":{"value":{"amount":"+0.7502574324607849","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":"Q4381866$3EDA3FA6-13FA-405D-B3A5-7115FCE0889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce5780d9703febe36a0f0379c361405f3fb6a49","datavalue":{"value":{"amount":"+0.742232620716095","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":"Q4381866$BB6F0FBC-060B-4E8E-979D-CA8E28E8D904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31396bbcd2d7ef32d1667bdffa410fa8e9524e9","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946707b01a7daefdb17f5169a544003f93d65606","datavalue":{"value":{"amount":"+0.7401571869850159","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":"Q4381866$DCDFCD1D-B293-43C6-94D0-D6C35FE341D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11421626a24ac4f0cef71a413eec7db9a6a103d","datavalue":{"value":{"amount":"+0.7318195700645447","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":"Q4381866$A76B0AEB-7546-4FAB-A7C6-76AF941D1004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d5cf897fab50abe790e1373e1fad4ffd6c0495","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042a900f83e0fc2170a27f32f034880d2e021b75","datavalue":{"value":{"amount":"+0.7299768924713135","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":"Q4381866$681F8A11-C010-4485-ADDB-AB358D4657C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381866"}}}}}