{"entities":{"Q631086":{"pageid":632934,"ns":120,"title":"Item:Q631086","lastrevid":63104814,"modified":"2026-04-11T10:36:41Z","type":"item","id":"Q631086","labels":{"en":{"language":"en","value":"Lightweight hybrid tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869149"}},"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":"Q631086$C0953FBB-2A6D-4AA8-974E-06EDD51DB4BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"176d3be2b78e82e34cccd3a133213f6cb686641c","datavalue":{"value":{"text":"Lightweight hybrid tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631086$FA74CD93-7866-4492-827B-F834482695F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48760ae3eed5a44cb818f8b736250a4c667aae4a","datavalue":{"value":"1228.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$CE6F11ED-923F-4A12-BFA0-75887EC84F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$75FA7845-081B-4FCF-ADBA-F1865825FF7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$309E8781-CA49-492F-A100-1BB83CB59A0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631086$79EED2CB-BF2A-4AC4-8CAE-E5335A43B43B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd9daa7568c8abc8943da9c24c5337aed6d7f026","datavalue":{"value":"The paper presents a decision procedure for some fragments of the hybrid logic. The main difference between hybrid logic and modal logic is the presence of nominals, which are propositional symbols true at exactly one world in a model. The decision procedure is based on a prefixed tableau calculus. The general idea of the termination proof of this system is that, on the one hand, the quasi-subformula property guarantees that a given prefix can only make true finitely many formulas and, on the other hand, there can only be finitely many prefixes in a branch of the tableau.","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$7FC293E4-64B8-45B6-9D0D-871DD1BF0A9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$7ABD6918-24A1-431D-90E4-CC33E8495C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$8B848E95-3EB8-4F39-A923-62C5C52559FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$B480C2C4-907D-4A0C-A77E-035EF8B9FCB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c58367556633b3febb0fdf6b4d5c1ad9de26769","datavalue":{"value":"5869149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$F0060C20-B6AD-4159-8D00-4BFA8A4889AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$51F71C8F-0612-4157-AC65-CFD95AD6635D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$01FB46B9-9981-4014-9353-A090DB4F4222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$600EAABD-9F9A-457C-9AC9-1BDE777DB6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$88FE47C0-C429-49DF-BF13-A68C4BC4E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$FCC1E078-B372-4723-A553-49532CFD7EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0ccf219b9d3559ffe1c612ca2738894146cec3","datavalue":{"value":"difference modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$9D9B103B-39CD-487D-83A3-86D0F96AE8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a0eae2740662668607e372628f50a49de3c636","datavalue":{"value":"converse modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$138FD891-0893-4D92-9FCB-DE872C42381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q631086$527BC0B7-45E6-4AB6-A89A-A4293B21D5A4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$9F1402FC-08B0-464B-9526-7D114EFE6DB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a8d622aa17d5fda12a0a4ec7736fa013c79a513","datavalue":{"value":{"entity-type":"item","numeric-id":40605,"id":"Q40605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$0FDBDF66-0585-4EB7-8783-1D1AC7AA200C","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":"Q631086$1712B25A-3191-4FCC-802A-35F2D8262FBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2675bb73439dbe871f66a81f4fdcacdcf027ca2","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q631086$ABEC9E8F-C984-41BF-9E2F-AE5055D0F2CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8e734bad11e427716a211139925efc16d9fb99e","datavalue":{"value":"W2035819327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$3DA11C54-446D-4EFA-845F-979A4B6CEBAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db82efd43008b70d4f248e334270440bca3b5404","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$EF80892E-844C-4FA1-9A20-0E39B9D28AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$248B1465-AA9E-4BC7-8C49-516AFC4B8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$53E46679-D353-4021-A358-6DABEA25F438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$6A34D68F-EE9F-44CE-BE78-7C62CB7975E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2d6c6ad56dd9f7391b0125b4e664e1821250f7","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$285BBC26-B541-4833-B87D-0636D10482E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$B8A21B2E-79BE-4DE7-B8F3-3B598BFEB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a803b5b82ae46961f92b1fe7c572346c2f7136","datavalue":{"value":{"entity-type":"item","numeric-id":2462645,"id":"Q2462645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631086$3383E99A-9F3A-4234-A59A-99F5EA7737ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4edd976d7ebc4ac77768d60cc37de901011ffbb","datavalue":{"value":"10.1016/J.JAL.2010.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631086$757269EA-DEFC-4BD8-9F26-A9887978ED53","rank":"normal"}],"P1643":[{"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":"c2915d1e201f194d2979d5a00ed2a19a605e0bf6","datavalue":{"value":{"amount":"+0.8752394318580627","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":"Q631086$B957B50D-37EB-4B02-BF9F-E2B8A6E18313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576167e7b715cd69728567c58c913537565117b6","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955b1dbe6bec6389dc028bac09a94222a71d570b","datavalue":{"value":{"amount":"+0.8364179730415344","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":"Q631086$B141E208-C3BD-49CC-8EAA-F363A1B657ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b704e7b4321944ed6fa6b08979ea207748c7b44","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60073bcae77b246a18d363709f9403776ea6915d","datavalue":{"value":{"amount":"+0.8314725160598755","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":"Q631086$0888DFFC-FEC7-41D9-B9D6-70486045413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80faf334bdc22e7f8cc1945ec039079167aa8a0b","datavalue":{"value":{"amount":"+0.8270554542541504","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":"Q631086$1FD64728-05DC-468B-9793-77A10664601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e5dc51d8476abd49adc59be1429ff2088ea662","datavalue":{"value":{"amount":"+0.820614218711853","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":"Q631086$825A23EC-9A7E-48B3-9BF2-63A710A4CD04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lightweight hybrid tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lightweight_hybrid_tableaux"}}}}}