{"entities":{"Q4779588":{"pageid":6809168,"ns":120,"title":"Item:Q4779588","lastrevid":74479158,"modified":"2026-04-14T22:48:13Z","type":"item","id":"Q4779588","labels":{"en":{"language":"en","value":"A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836050"}},"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":"Q4779588$4180F0AF-4090-4356-A16F-8C50E3C8513B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"410fb691c358bc11b9c48fe586d8aeccfe598a58","datavalue":{"value":{"text":"A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779588$0B6DD13C-D0CF-475C-9E78-704EF3C4DD4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50d02891d43c3bc115ebee5fa0206222c14c1ff0","datavalue":{"value":"1017.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$79334CC9-2753-4C82-9300-1B07A1D1029A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25cb264ec82897eba90e88f15318fdb79ce2db8f","datavalue":{"value":{"entity-type":"item","numeric-id":190269,"id":"Q190269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779588$AEE2BC27-E74D-410A-9AD9-B7F4AF22EF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779588$5A68824A-1ED7-4C76-8980-AED4A8E90CFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"827dfa4373d59d6d09fe679abb67eca1fdd0daf6","datavalue":{"value":{"time":"+2003-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779588$2AEEADF7-2F80-4501-AF9A-95083AB266C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1670d3d9b7483a082d8e327558ad8b53f925f890","datavalue":{"value":"https://semanticscholar.org/paper/55209356b36ba58044fe0993199b6fa2eab2844d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779588$E51ABE0E-8F97-4377-9A67-B06BD1C27446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$E55C2DD7-A81F-4DE6-BE4E-35EE727C5617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$B70CA983-EB7A-4F93-BA35-8BC7D7C29B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$B027DE8F-FA4E-44B5-B0BD-4D31DCE0BFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$3A1F256A-17E0-49A9-B083-67E2DF91C250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a136b962748e90a5cb71b8ed15a1d1378dc7bae","datavalue":{"value":"1836050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$DBF69975-BB53-4E71-9E8E-A707217810FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779588$A66D20BB-DABD-427E-8B02-5D9CF3A9D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99daaa8bde01dc4595988458e6cba397c196783c","datavalue":{"value":"temporalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779588$7BAC8853-F606-4FA7-A64D-536FF5078DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779588$106E0203-EB74-49B3-BCB1-135B4C958EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93103a2a70c5125ada5a3d84258a0e6e1f4c947c","datavalue":{"value":"quasi-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779588$47AA3CAE-1A1B-432D-A32B-0AA3B6A39147","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":"Q4779588$99EA32C4-A550-4548-8C32-26D1B3FD146B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09cebfb3b5e8c5dc48688a8ef565ba066f9d9523","datavalue":{"value":"W2130719222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$27E1777C-4827-4721-8806-65B4A8460747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20c5cd8e31c2606f1c920c944f114d4554a5f14e","datavalue":{"value":"10.1093/LOGCOM/12.5.809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779588$BB222570-80E6-4C03-B84D-D943E447690F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de5ddf460e31d3e88511a4ba078404a9d86c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4539602,"id":"Q4539602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d1375f43f4bb3e78baf80a67b46b9752942b64","datavalue":{"value":{"amount":"+0.87390924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$C5AD9E37-2D76-48D1-AEBC-3C72C1E73618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df55487b719d865e0e3d97db68c902a5f675baa3","datavalue":{"value":{"entity-type":"item","numeric-id":3069418,"id":"Q3069418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c645f346bb3f4f8da82e826e3ac816c24dfaaa3a","datavalue":{"value":{"amount":"+0.83377874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$DF8DA631-B96B-48E1-BA8F-FD022D913297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de122ecaf863dbf4901b31eebc842bff673bb73","datavalue":{"value":{"entity-type":"item","numeric-id":1601879,"id":"Q1601879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f6e38f3293cbc6af81d28ce9b89f899952c116","datavalue":{"value":{"amount":"+0.82596797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$145FA40D-16EB-43C0-8C7F-806D98E9A477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a097eead4c28ad37bf5bb3d0ccea5c8f70624a19","datavalue":{"value":{"entity-type":"item","numeric-id":3637331,"id":"Q3637331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66d25c9d9b0956c5c9e1a61f502b28e7a63a8b8","datavalue":{"value":{"amount":"+0.81215364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$2323904B-C357-4286-B8A2-227BB984C9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cd9dcdc30c6015de4d1a1a166459cc821ec822","datavalue":{"value":{"amount":"+0.80272263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$4C6D4C31-01BE-4488-8A06-F317D7B7EF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce11e6fcb61521cdb50008de620ccef474f152a","datavalue":{"value":{"entity-type":"item","numeric-id":4708910,"id":"Q4708910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d07e679efb13aa5f4b774a4a9b5c45514574986","datavalue":{"value":{"amount":"+0.80200523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$76F6A87B-C252-4546-9F16-5DB3F800818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73a8a975f01af7728d256fb1e4e0e2c99384e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4400883,"id":"Q4400883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ea5d26f61b6224885ab6ad721b23f9623470e9","datavalue":{"value":{"amount":"+0.8013833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$7C4D940D-744B-4FB1-AE27-0CCDF826BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8a7a041ff93bff40d0a62ca8d141586c011b34","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b2ebec975665e45482edb63dc6ea72a4ffd4d8","datavalue":{"value":{"amount":"+0.80123127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$5A53AE2A-7E00-4263-98C9-1CFC40343EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d3ee437004547660667019a963d23ec7b081c2","datavalue":{"value":{"entity-type":"item","numeric-id":3408128,"id":"Q3408128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad21576593a9c784ae3c9f2058ae5fa8b5712b20","datavalue":{"value":{"amount":"+0.7970164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779588$700F4733-F709-4998-9CCD-2653FA8816B6","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":"Q4779588$AF2978C8-22C9-445F-8110-65B2B6EAA014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Tableau_Calculus_for_Temporal_Description_Logic:_the_Expanding_Domain_Case"}}}}}