{"entities":{"Q3406687":{"pageid":3417390,"ns":120,"title":"Item:Q3406687","lastrevid":50910335,"modified":"2026-01-15T17:21:52Z","type":"item","id":"Q3406687","labels":{"en":{"language":"en","value":"Tableaux for logics of subinterval structures over dense orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673419"}},"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":"Q3406687$63E5EAFD-C98C-46E1-BC73-1D3A7AD83E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a880a24ae7a49317b9bd6a6388c5331ee0bfb84","datavalue":{"value":{"text":"Tableaux for Logics of Subinterval Structures over Dense Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406687$962A4D6A-CD0D-4570-9C97-533A0AE74268","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a71a2750e3ab367863466e21775a69872629d741","datavalue":{"value":"1188.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$FEBF921F-CC68-4843-ABA4-CA0C8A1DF212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406687$8C7848D0-9F90-418D-B63D-0F956EC771C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406687$EA80C6A3-7DB3-4F47-905F-28F862A53BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406687$7A3AB6B7-22F1-49BE-8297-D1CE5127F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406687$38FD6B5E-CF4E-4B41-B15C-AB216A10B9CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406687$F7DF032C-18F9-43CC-B628-B4A0CB5AFF43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$E2FD9BC2-5314-4252-BAB5-81C53D1C4E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$278B5D28-CC61-416E-B175-33BE1D254C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$AEEFC34E-9A58-4D74-98E7-8FD724EC8700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$E10B751C-D473-457F-BE9B-A8364C00B78A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4adddd7dcd6ea05c7ebff13a655de90c749cf93e","datavalue":{"value":"5673419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$5E2E7F88-AE91-407E-BC6C-7D61E67B0B18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406687$49F57185-D486-4EF1-8D65-FFD904F10FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da2527ae727c0ecd504a8dff678d56d1404dc5b","datavalue":{"value":"interval-based temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406687$B07E0BF4-D01E-4310-805E-1D595AD63AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406687$647D793F-C5F9-49CF-B966-F5FECAA1358E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406687$82BAF1E8-2B47-43A9-9837-09FDAC72EC8C","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":"Q3406687$B07B283F-C76A-4E52-BDA4-1FF27C3C7A1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d9d8aae82265634e5db2e5730b303daee3ce1e","datavalue":{"value":"https://doi.org/10.1093/logcom/exn063","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406687$0670DBF2-1918-47E9-AAF1-583F0D5D4BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3cb4e41e1a54a445b6c03cc165a6db40b07cb1d","datavalue":{"value":"W2004536649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$14A17F0D-7CD2-4AA0-A053-244B79B2A09D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b37942d88aa3efeafe29847853526be1e0aa0b4","datavalue":{"value":"10.1093/LOGCOM/EXN063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406687$7C8FEF43-C547-4205-A17A-7CA2A13DA85E","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":"Q3406687$C34520FD-B656-4885-9A7E-67E1BDC2DAA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a3d6546632cae93454bbc3d5da19be11cd013c","datavalue":{"value":{"entity-type":"item","numeric-id":4982118,"id":"Q4982118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686a59828d0624a1210f4b43b17bb51e8c628ee3","datavalue":{"value":{"amount":"+0.930825650691986","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":"Q3406687$3A07D0ED-6E7D-4E6C-955A-8F5CF3598E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f752104879229d58644eff29d742ed4b2c8b636","datavalue":{"value":{"entity-type":"item","numeric-id":5434480,"id":"Q5434480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e73d905f9ba0d0f73e5bf2bdd5584434206bc0","datavalue":{"value":{"amount":"+0.9167970418930054","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":"Q3406687$11ADB863-6FF2-4906-9363-C759A5CB082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ccdf9d9d93f8df832ec09bd05cb030a1a4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3010361,"id":"Q3010361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954e10a23f5396d5b0e49f127d235fc7d3fa4f08","datavalue":{"value":{"amount":"+0.7792885899543762","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":"Q3406687$3B9C39C1-05D2-4CF1-B2A6-A1F5A37E0C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98e06fe0ed339a409bc24a3319e355952e08313","datavalue":{"value":{"amount":"+0.7697170972824097","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":"Q3406687$8A56A3D7-CBE4-43D2-B5B4-B0FA9527D50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f791aa5c94de6f1d8d8de094ff105869a43814","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecf4f4c7d52db3d0e1b414236ceff1a46ad9a26","datavalue":{"value":{"amount":"+0.7675893902778625","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":"Q3406687$ABF070EE-22BB-4EBD-9910-6493A38AF2D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406687"}}}}}