{"entities":{"Q4982111":{"pageid":7011689,"ns":120,"title":"Item:Q4982111","lastrevid":52231511,"modified":"2026-01-21T05:20:11Z","type":"item","id":"Q4982111","labels":{"en":{"language":"en","value":"HTab: a terminating tableaux system for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418731"}},"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":"Q4982111$1303E253-A08C-4DEF-B06B-F11A37F520C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f652a4feae3bca45c32a7c6e84d6ee01f41b78f","datavalue":{"value":{"text":"HTab: a Terminating Tableaux System for Hybrid Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982111$A23EEB7A-3D86-4C33-A56F-4BEC594A4644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea87664f324c78da2ffa0477b487dda38c287504","datavalue":{"value":"1347.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$D215817C-51EB-43C4-999F-185347A787EB","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":"Q4982111$374BFE20-FB13-474A-80F7-147DE25F131D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$C45F5464-A124-41BF-B92C-77B5DD537C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982111$CD218A5C-5F66-4102-B148-13528887A5A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$0C3EEADB-5E81-4947-BD4D-F30052DEBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$DFE1C5A8-28EA-4891-9897-F8857BDE5BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$0E7ED221-DDDE-411D-B9A3-A87EDE7DF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$9A51A9C1-25B7-43EF-91E8-E20895AA4643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$40757FE7-5F1A-4CEB-A292-D85A91DE1D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$56BDF4F3-510C-4AFB-9C02-34C798BAAA4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ea39c09cafe808f52d78fa01b830e0667aeb50","datavalue":{"value":"6418731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$A1895673-DC15-43B9-AEFA-7DF93B4569BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982111$B0FE5E62-AA0C-419A-8382-F839EF92B159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34de8b54d67cad8bedae68f107d9dee1e791fd6a","datavalue":{"value":"tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982111$A29C5F29-B5EE-4302-8E1C-B6E8EA5EBA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982111$8E3D978C-13E7-4500-A30A-117B6271B8F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$D340E9C7-97B3-4C8C-BAB8-A16095BE6537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28c7c31c7a21cec51ef80cd58f32b284f7147924","datavalue":{"value":{"entity-type":"item","numeric-id":29515,"id":"Q29515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$6C838B0D-8FE5-4281-B3EE-182302A10D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$239CBDCA-3464-4CAC-8EF5-8882349FB361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"395e4892cfa767e7f1592afaab820b01ee7c3c54","datavalue":{"value":{"entity-type":"item","numeric-id":25576,"id":"Q25576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$99DB76A1-1D12-4A5C-A6D9-52F68CBA690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$05519001-2471-44DD-97E6-DF86A0C35AC8","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":"Q4982111$0475575C-5AF7-4BFA-84DD-D5039A0B3290","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff3c336b87f862e8ed42be1fee2da275feee3a38","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982111$446BD804-AD53-4FB1-8B69-19439C210B12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60bd71fc360d926f9f7972a1c417fd1f334b3b2e","datavalue":{"value":"W2109523922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$3DFEA0F5-3AEA-42FF-86DD-6CE6AE9E66DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$3B53BEBD-E3D1-4F41-8657-3DBD43EB43E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7af6b2c9eb9b9096a95c881eef8d10947e6cf36","datavalue":{"value":{"entity-type":"item","numeric-id":5705955,"id":"Q5705955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$BD722894-0BC0-46A5-A00B-2F5EAEAA9D4D","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":"Q4982111$A55B708D-68FF-4C19-9AA2-BD6B1E36DAFB","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":"Q4982111$1AD20295-71DF-41C6-BE41-6931EAD939A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$98C0A4F5-D367-4AF0-9D82-CC29E6451BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$9CDA0182-E9C0-4D85-AC19-2F7D1D617FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c863f13dc2206f99aacd3b8dc18a2539ad75319e","datavalue":{"value":{"entity-type":"item","numeric-id":4217959,"id":"Q4217959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$7F50D8DF-CBE8-4C4B-A450-DF034FE1E6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982111$54580571-4C81-4196-9156-CB358AB447E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3e2429bbceac6bb0d332fb6b957f4d78ee74b20","datavalue":{"value":"10.1016/J.ENTCS.2009.02.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982111$C71ABBDB-3C11-41C4-8CBA-340D8D3623D7","rank":"normal"}],"P1643":[{"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":"71dab12c203025ac1578c47558e5ea7d1a2cf5a5","datavalue":{"value":{"amount":"+0.8153376579284668","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":"Q4982111$06097CD9-2BD7-4627-A3BD-04CDBC4EB193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d2f0f7914c41f5cb59d061929b4fd96df9bb17","datavalue":{"value":{"entity-type":"item","numeric-id":5747764,"id":"Q5747764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b52a32ecb7cf0c77c233f678c2a8707d2cda242","datavalue":{"value":{"amount":"+0.7953187823295593","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":"Q4982111$C1AD03D2-E2F4-4452-BBF9-7FE1BAE6C64F","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":"8148fac937bcdac3129327dcdad387227d868015","datavalue":{"value":{"amount":"+0.7870197892189026","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":"Q4982111$AA21A96C-6538-4348-ABF1-4016E1420238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb80a12c1629ab76c97014b2849993c9390a24b0","datavalue":{"value":{"amount":"+0.7858903408050537","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":"Q4982111$0B40BEA0-63B2-460F-B94A-FD58D4229273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1115f4c7142b9d2291e047dabf27c136a2a91f0","datavalue":{"value":{"entity-type":"item","numeric-id":5892513,"id":"Q5892513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6084cb962309d2c04261c5b5f57c6a3f8a988ace","datavalue":{"value":{"amount":"+0.784140408039093","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":"Q4982111$1498E8FD-7AAB-4A72-84BD-A49C3EE9F589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982111"}}}}}