{"entities":{"Q3149219":{"pageid":3159935,"ns":120,"title":"Item:Q3149219","lastrevid":85917335,"modified":"2026-06-03T12:28:59Z","type":"item","id":"Q3149219","labels":{"en":{"language":"en","value":"Minimal structures for modal tableaux: Some examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1805979"}},"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":"Q3149219$76291E68-72E9-4E34-B648-EEB5E6776EB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae22c5d0460e49a345fa80bb74c5f480bc1d3077","datavalue":{"value":{"text":"Minimal structures for modal tableaux: Some examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149219$2BF00304-1141-438C-BF00-FB01FE7B0C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bca94ab776825be31f10d11e1a13396fcd14cbd","datavalue":{"value":"1005.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$719B7B24-7881-4097-B49E-26B0485D6E77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c7caac04bbbb55536dfa15739eee589c467a8b3","datavalue":{"value":"10.12775/LLP.2000.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$83F7BC43-C28D-4757-B9D1-B0F9D5DD28DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149219$1D963ADA-862B-4209-975E-26683A0BA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7b9a4e94ee55525cd8b7f19d653fb814d5f09","datavalue":{"value":{"entity-type":"item","numeric-id":371437,"id":"Q371437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149219$336D87D3-DEA8-420F-A032-7CE449383790","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149219$A3AA75A7-B380-4E68-B270-342529D243DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20488eeb5ea8c02a3a8918e8660adb3815361e63","datavalue":{"value":{"time":"+2002-11-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":"Q3149219$53CEAA50-CBB3-490E-A171-D3551BFFDB17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$4291DE3D-D73E-4406-A632-89360F001148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$8BF343EA-1C9C-4D87-AEEB-146CD24B60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$F45C79A3-1244-4FC2-9DD3-1AAEC3B88BCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a09f21300b9aef55cf5f516aa55c53f6a65c6f","datavalue":{"value":"1805979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$AE1D3A57-E74E-4246-8D49-F118C13592FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149219$E9C50329-E974-499C-854D-F893E4515C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149219$4252CC3C-F34A-43A6-A745-FF27C952C348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149219$7D0B9714-6E9C-49CB-8ADF-3ED735216E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8139f090aeea88313305c725654b58aa9302c683","datavalue":{"value":"multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149219$DBD4CE56-A501-4367-9552-E3B98B9FBFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e99347b19089c1d7a1117765390c98b66bd9390","datavalue":{"value":"rooted directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149219$DB3D90A3-623B-45E6-9F5E-CF4B4840EEEB","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":"Q3149219$26AA97A6-8F49-4564-944C-547419EDD644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b69229609684bb5b69dbbee7ebcb1463c296c92","datavalue":{"value":"https://doi.org/10.12775/llp.2000.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3149219$8474B2CC-2697-44EC-9E93-1AB587F1AAAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce5401cad569fa27710380fc7129aabd8e4f6409","datavalue":{"value":"W2060260820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149219$40ABF716-ECD0-464B-8BD8-A6EC4207C1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d33b2b81dfd8f0ee2ff4645628b2fa7d00bf6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580f993c62b4324ce8ba398a74165daefe521400","datavalue":{"value":{"amount":"+0.8661872744560242","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":"Q3149219$2F9E8A74-9386-4A1F-8CBB-6CF0010E9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0689bf626972b2e3dac33d68d45fcaf1332587a6","datavalue":{"value":{"entity-type":"item","numeric-id":4532364,"id":"Q4532364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5706248b89e379abcb67914f3316a53542455","datavalue":{"value":{"amount":"+0.8181741833686829","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":"Q3149219$323E5767-D9DB-4052-A90F-8A1CC3CFF9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5706248b89e379abcb67914f3316a53542455","datavalue":{"value":{"amount":"+0.8181741833686829","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":"Q3149219$244EEB6F-9C74-44E5-A7F4-53BC7FD7417F","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":"57aec86cdc477992ef7680b0735e825cf2daa2e3","datavalue":{"value":{"amount":"+0.8138890266418457","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":"Q3149219$AD3B96A7-F531-4DBA-AC5E-4BC75AE18DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ba7e99d457b2b3ac881724188f4711cfce91e6","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2faec00c597e90cfc3c2ad2c680b92fe20c6ef","datavalue":{"value":{"amount":"+0.8138887286186218","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":"Q3149219$3224274B-7028-40C7-8E32-09E91AD9C882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal structures for modal tableaux: Some examples","badges":[]}}}}}