{"entities":{"Q352965":{"pageid":354732,"ns":120,"title":"Item:Q352965","lastrevid":51766934,"modified":"2026-01-19T22:32:16Z","type":"item","id":"Q352965","labels":{"en":{"language":"en","value":"PS\\textsc{pace} tableau algorithms for acyclic modalized \\({\\mathcal{ALC}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184686"}},"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":"Q352965$9ECF7F84-95AB-4FD2-B603-3ECF1E495227","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4bbbe208a4e9acd451b09273afeb0e225145bd8","datavalue":{"value":{"text":"PS\\textsc{pace} tableau algorithms for acyclic modalized \\({\\mathcal{ALC}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352965$E50C2D26-3DD3-4CBA-8564-20E896D820D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8858d53a48fd0fd2d725d2cc03ecf8058f07a086","datavalue":{"value":"1291.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$83804CC1-9C34-423B-B798-6A60E30D438A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d32a1035d8eb7defcba59c585627ef7cd01d9943","datavalue":{"value":{"entity-type":"item","numeric-id":352964,"id":"Q352964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$9F721847-0EA3-4C39-BD57-61B169FE6C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ba637809b53e4790813aa0d55f52c072a29a3af","datavalue":{"value":{"entity-type":"item","numeric-id":235683,"id":"Q235683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$22BCC0DC-78D0-4A27-A457-9561AD9DEA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a443cf86709eddb564204fd68774d48f5e7e551","datavalue":{"value":{"entity-type":"item","numeric-id":207940,"id":"Q207940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$95CED5D5-C2E4-4BAE-839D-8DEA2018D3A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$584D444B-BB75-44B8-B41C-6E403D307326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352965$44A3F584-6C2A-4C9F-AA82-4186369E5649","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$419B78A6-1C38-4E49-B146-707B15F7AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$551E8E2C-C653-4EBF-BBAC-B618E8869344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$C3BBC2AF-D1EC-4D69-98F7-DF93496C3D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$63B5217B-F25D-48AD-B140-859C27D0965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$E3654EA3-20C8-4D25-B3B1-43D6381BA2E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5debb56ed52ac4b53bdc5e3f08fca47ab45b9ad8","datavalue":{"value":"6184686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$5D7923D5-9E74-4FF6-A6C0-ACD085DAD5D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q352965$9DAA1207-7CA5-4C87-B90D-2DB6E1A13F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847c98e0b3003a853b99db09037baea88a8f4581","datavalue":{"value":"\\(\\mathcal{ALC}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q352965$91CCA823-11E1-4229-8303-5289A1033F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q352965$3F3C6658-35B5-4621-8B32-0DCB58941A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ac9bee5a1986b4b64cfd2f22189509173f34e5","datavalue":{"value":"tableau algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q352965$9E812DD7-E987-4717-903C-C17CEA8FFB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d4a22932f64c5b477fada2c6e789717ce3925f","datavalue":{"value":"\\textsc{PSpace}","type":"string"},"datatype":"string"},"type":"statement","id":"Q352965$8EBDEBF8-6596-44A6-BF8F-9A26244F927C","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":"Q352965$AAA3817C-33EE-4D7C-9184-0EA344288401","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":"Q352965$C9E70B04-B5A5-4A3C-9FBC-B38A5D75DF45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d8c0749589c5434d0f8e09d54f6156544b5e9bb","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9232-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q352965$7909DDD4-6C37-48C7-B984-83261830867A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5334e48557cc7c0cd64d539254c9c869006c7480","datavalue":{"value":"W2002928961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$E1E3AE15-BE49-4CD8-8FB0-F8DA4F0C54D3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"855255b183d528f058f77821d5147480f787f86c","datavalue":{"value":"Q57015133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$CD3020C0-F167-478C-94D7-84384B04FAF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$A227C8AC-7302-4C26-A439-D08F16CAE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$02E6480C-D858-4EE7-BC1D-CA664EF12090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8e59640adc2e031f083e6fda52174ca232f3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2751375,"id":"Q2751375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$77799DC0-7BA5-46AA-9C62-61A7F1F5F05C","rank":"normal"},{"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":"Q352965$13DDEE39-C292-4DA1-A514-965B7ADF6433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75dcc66dd7c02761bfdae3bfb285783f55645057","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$9E167B09-735E-438B-AA40-82FE605D0083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37dbeefce40ba41011b5d4250c56734df3ac525","datavalue":{"value":{"entity-type":"item","numeric-id":3044362,"id":"Q3044362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$78AE9F2D-E121-4306-BFBE-8DB5FC4E3F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$B30C0E90-8F3C-4913-BEE5-6D1D0A40EA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$D9812484-1748-4A1C-927A-FC00FD2758C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$4603BC2F-915B-44C2-9E19-6DDD00E7338E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d348f7642fd3207b18fca167fc057269c1c37b7","datavalue":{"value":{"entity-type":"item","numeric-id":1128772,"id":"Q1128772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$87AA985A-B955-4396-A2FF-F41489DBC7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139c7d9efdeb56f237ad395d93ed9d91278792cc","datavalue":{"value":{"entity-type":"item","numeric-id":1863829,"id":"Q1863829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$F59A7773-688B-4B8F-ABFC-B105CDF6E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f9bb6e8727d3e369d07dcbff78755f5d7d468","datavalue":{"value":{"entity-type":"item","numeric-id":4868227,"id":"Q4868227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$F43EBB48-A63D-4C6E-885E-F0256CA006BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8307b889c98abe0d57e4bbd3e72c1928d8f72af0","datavalue":{"value":{"entity-type":"item","numeric-id":4939661,"id":"Q4939661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$E4E99CD7-E9B2-4F0C-80D1-07C04A5CAF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e843e7001c909754f0c4ea51f370232ae5cacdd","datavalue":{"value":{"entity-type":"item","numeric-id":4329248,"id":"Q4329248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$FA838EBF-C6E2-49F0-92BB-3FC5A0642023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$CD575090-AAAE-4F8F-A65D-21D08715C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b865ce92197f42e8c2ca2702a034b76de244f0","datavalue":{"value":{"entity-type":"item","numeric-id":5738954,"id":"Q5738954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$D2C358EB-4B88-4BF5-A482-9C0FC29087AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$8A8117BE-A292-4210-9FC1-70CA50BD0F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e473b8e641dbfaf76db8227c4e98b00936e51","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$ECF84C7F-FD4D-4AEE-BEF7-9BBB91D7F7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e85f3a9a7559091d86669bc4fc274698f8c179","datavalue":{"value":{"entity-type":"item","numeric-id":948069,"id":"Q948069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$C8FEE06E-4E6D-4442-9A01-D4A72ACE5BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c7d902d44d1593a2e8de6e938e4f184203da4d","datavalue":{"value":{"entity-type":"item","numeric-id":4938425,"id":"Q4938425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$C5AF7792-C0CE-4357-BC29-54EDB33F31BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4269cc2603fa09c659096d281ccf8413d4ba0983","datavalue":{"value":{"entity-type":"item","numeric-id":2638816,"id":"Q2638816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352965$5ACDE7E4-961D-4B71-9926-5F7015F9DDE2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ba8fbcdda9b324d378c6c7b8c43218b5a963737b","datavalue":{"value":"journals/jar/TaoSH12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$43630190-EB25-44C2-8A3A-40C1965F991F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81b7bd25603b636c737031f08c35ac40c3b70ba1","datavalue":{"value":"10.1007/S10817-011-9232-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352965$E2F4F100-4A02-475D-B395-9EC246D0C6B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c076e06b38fab21062b3d11c14a464214dd3e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2323444,"id":"Q2323444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac82bad806a7511b4770753edb9840a0024c9179","datavalue":{"value":{"amount":"+0.8740555644035339","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":"Q352965$8CF8BB39-BB36-4E5B-BC3D-36B88FE08E62","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":"520b71dbb4c78b60ecd668ff4b9d39246a68344a","datavalue":{"value":{"amount":"+0.8066030740737915","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":"Q352965$56339D7D-E441-4304-B98A-6ADEBF71FFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4a9838e61a6260264cd3ae1d55d29c0d61ca58","datavalue":{"value":{"entity-type":"item","numeric-id":2721180,"id":"Q2721180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7fa70331039fb597f74889aeb12c17759a431a","datavalue":{"value":{"amount":"+0.7994547486305237","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":"Q352965$132E17AF-7714-4D65-A56C-1F3E8267914E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee236544aaf6c0eeeea98c72a83826469950a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4982117,"id":"Q4982117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7fa70331039fb597f74889aeb12c17759a431a","datavalue":{"value":{"amount":"+0.7994547486305237","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":"Q352965$CA7C89A8-2BAB-4ED8-85BF-87D7371E97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5392a079cfb45f057f03635aee8515cbf3ab808c","datavalue":{"value":{"amount":"+0.7989857792854309","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":"Q352965$C0B10303-F300-4D64-BB20-78F80944BD5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:352965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:352965"}}}}}