{"entities":{"Q393137":{"pageid":394904,"ns":120,"title":"Item:Q393137","lastrevid":51904703,"modified":"2026-01-20T12:33:16Z","type":"item","id":"Q393137","labels":{"en":{"language":"en","value":"Generalized satisfiability for the description logic \\(\\mathcal{ALC}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6246046"}},"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":"Q393137$E0E9C5FD-A0EA-4343-BD9D-1680DFD82F30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"991c13499deebd90e5f24f91b292e9a2bd612d7f","datavalue":{"value":{"text":"Generalized satisfiability for the description logic \\(\\mathcal{ALC}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393137$FD21338C-3DAF-415F-894C-2D9082474E8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4be9df4ad4c82d58bd56f6733eb6f45a1d6e99bf","datavalue":{"value":"1301.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$5EA66174-DA87-47E4-9DD7-36B861B4BC72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$E06E537A-7596-4FE1-8D9B-EF7216BFB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d20f48cb9540482c9af2a4f4b1e9f17e57749ba","datavalue":{"value":{"entity-type":"item","numeric-id":393136,"id":"Q393136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$F4617707-932A-4AB0-8575-BE0C4B074843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$4B194D9F-7E06-4A88-B61C-D1CCB9F3CB34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9094b62160fbbb09066d67269c0f1a577ec33a61","datavalue":{"value":{"time":"+2014-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393137$77712CA9-6E77-4861-93B4-DAB1F223FA89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$378B77A6-6463-4262-8C91-29DEA0522B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$8D4BE5CD-1FB9-4BEC-AD03-9D2C1DC51589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$EBA0B91D-0E5E-48D6-B1EB-6D9C9480A291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$20AE0660-84D5-4AFA-A963-05121918B943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356bdfe1e75938c6cb786d9db83ec9e73a6ac764","datavalue":{"value":"6246046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$3FA7C6F3-A879-4360-9631-3AC6590F769B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$9EC1939E-6664-4F3E-ACF6-1C08A96C1249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38255a01ff8ffb1fa692e624f7913a6f3083aeee","datavalue":{"value":"ontologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$4BE533F0-927A-4FC9-80D0-0A5AF6CDEDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847c98e0b3003a853b99db09037baea88a8f4581","datavalue":{"value":"\\(\\mathcal{ALC}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$5C0330C9-C0C1-4171-AAE1-565C315E6AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$7CFA5119-CB2F-4F4B-A589-D62DA0433B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$C445BAC7-6AA7-4696-99E0-9364531328BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393137$5AFF70A5-C21D-44AC-B1B7-4E9F9AAA4292","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":"Q393137$E4A1AD10-B465-4996-838C-B00F76CB35F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fe9fe10a1506501e8455350140b674c9835df92","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q393137$DB21C16F-F349-430E-B639-F5D71D4FA9A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2411b0a1bc1fbad6ec42f7a61569cd34f795cf7e","datavalue":{"value":"W1724963320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$1EDD4FC3-E00D-44E7-944A-A109A6565CDC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ecbe6275f9ace96722ba06c92880baed2059853f","datavalue":{"value":"Q57998296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$116D224C-AEC1-4E17-88BC-672D473C1845","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cffbac3909a1af68ec8e68449638849b57184e0","datavalue":{"value":{"entity-type":"item","numeric-id":3651482,"id":"Q3651482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$687A643A-20C9-4402-826E-1A8B7AAD5071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7b9451e1d02a32c7875e6cc54d3ccb73743d32","datavalue":{"value":{"entity-type":"item","numeric-id":1380409,"id":"Q1380409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$F1B8441F-6B64-4C28-A66E-3338E5705FBF","rank":"normal"},{"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":"Q393137$97923EF7-C51E-49D5-92CB-C7E96A31BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4724c47f3cacb30f5e37f3e2ace4b84b4d68e76","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$A1902689-0E42-49EF-9A16-E404C16C9CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d528ac2cb4d52ba27373c0f416c6688031f47","datavalue":{"value":{"entity-type":"item","numeric-id":989577,"id":"Q989577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$2C3143F0-74A7-406D-A10B-9E2C2C4B4B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$5F035146-530A-459F-9B24-0384065D2FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$2417BADE-96D0-40A5-869B-A4B7F92A4BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30503e2191a985b06e59de37ad4b47ce193e33","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$FE38E589-8CCD-4ECC-B294-2BC2AC1DC596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa73dfe0d0c7090d64e64b87f9b4f3015ccdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$42FA416E-46E0-4AD8-98D8-69A5E42FC530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b31d42752818e20953d134c34840978912619e","datavalue":{"value":{"entity-type":"item","numeric-id":1854523,"id":"Q1854523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$4DD9DBC1-631A-4C8D-96DF-ECD6F1DCB3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41120a1aefb8ef4531db2ab097b9e99aa7ccb9b","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$27AF0450-E2F5-4C1B-9338-EF904E76699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$B9945AD0-E7B4-43E7-A0BC-60A35FC491AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6be9e522a8a382b3a3dd054801106426e94ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":631087,"id":"Q631087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$76E3352C-7A83-4D7D-BC08-E1481D74E915","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":"Q393137$70AAC7C8-E800-42E5-AC29-03E5AD4F45F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$B5FC3DB3-E72A-4378-B75E-071EB2309EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$2D94F63B-308D-446A-B32C-101F6CF703C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$ED7C36E0-9F3F-4553-A4D8-814CC705B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$DE89F804-C6CB-42A5-BD5C-912E8D129CCC","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":"Q393137$10A4B6ED-0AFF-45A3-944E-DA17DF20C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$8B593A54-02AE-43F9-87FB-DE30A02CBC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393137$12A8EF02-9FC9-4FDA-9878-321F0009DBF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03613dbc4cf2465c9a4703efc6fd9adb5cff137d","datavalue":{"value":"10.1016/J.TCS.2013.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$D621124C-51D4-489C-BE8A-B082588EE6C3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d0a1a99df956817233a354d7a8d99d11eb534409","datavalue":{"value":"journals/tcs/Meier013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393137$4FB62495-B479-49DB-A264-10ED1F17C2DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80e2d18ba56dd2912dea773cc649affe51eacaa","datavalue":{"value":{"entity-type":"item","numeric-id":3010434,"id":"Q3010434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8281994c9c1c3398733887b6ee52614ed5c67117","datavalue":{"value":{"amount":"+0.970700979232788","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":"Q393137$C2447348-86CC-4A61-B24C-DED385BAFC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32327be7c7ee0d8956daa6ec734a71672d8e32f6","datavalue":{"value":{"entity-type":"item","numeric-id":2815247,"id":"Q2815247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c637de66b663ef70e951b654115b539497df3e3a","datavalue":{"value":{"amount":"+0.8084574341773987","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":"Q393137$9274DCCD-5AEF-419F-AE00-1A6953A24741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397d8e4224505482a38a7a90eae514610d93d58b","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fbf664ae3a7414abcbc1c570a8646680129c0c","datavalue":{"value":{"amount":"+0.7853789925575256","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":"Q393137$24EE878E-9178-4813-93D3-19B8F1A70AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ab136385447afc95f1c56a47f27234bbec9324","datavalue":{"value":{"entity-type":"item","numeric-id":4795881,"id":"Q4795881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fbf664ae3a7414abcbc1c570a8646680129c0c","datavalue":{"value":{"amount":"+0.7853789925575256","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":"Q393137$28C18056-6A12-48BC-9085-9B7E86062984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c02aca72242fbca7f0bc76cfbbf97fd1fafd198","datavalue":{"value":{"amount":"+0.7767243981361389","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":"Q393137$370FCEF3-B007-416B-9F32-39D07B962E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:393137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:393137"}}}}}