{"entities":{"Q3010434":{"pageid":3021158,"ns":120,"title":"Item:Q3010434","lastrevid":51284294,"modified":"2026-01-17T14:37:20Z","type":"item","id":"Q3010434","labels":{"en":{"language":"en","value":"Generalized satisfiability for the description logic \\(\\mathcal{ALC}\\) (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916993"}},"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":"Q3010434$0CABFEC9-FE8B-4233-B6CA-6096CB7DA858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb28284ebb322254841c1325f28dc5d952ccd34","datavalue":{"value":{"text":"Generalized Satisfiability for the Description Logic $\\mathcal{ALC}$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010434$8BF7592F-FB85-4D24-8BE4-AFD15315B6B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45efcf1413d52015ccf464834a243eb3eccc1847","datavalue":{"value":"1331.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$22E94C43-A752-42BD-AC06-438BE3E1D58E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee3f3e92a9a0c2f303dddb30ab7c68254069b68c","datavalue":{"value":"10.1007/978-3-642-20877-5_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$65A5CF32-5129-4EBD-B5B3-5E03C0978BE8","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":"Q3010434$CB7AB9FE-4FA4-4171-87B1-65D47C6E9DC7","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":"Q3010434$1E8120D7-1F32-4E26-9C32-65F6CFFA1FC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010434$9A0CD96D-9A0A-4447-8E64-69ABD0C67325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010434$7439707F-BD71-4000-888C-2D800CCC95B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$FCAC2295-A1F9-4D51-84DD-D3CE90C085D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$C1955379-DA2F-4B3D-A46F-2921B10C776A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94dd708bbce06c4e0323b3eab6f5498b3b20406","datavalue":{"value":"5916993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$A1B4F27A-B713-48DC-9759-C72E58E02546","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ab6d839c381c6a39881d40342402c7b800cff2c","datavalue":{"value":"Q57998317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$A19902CF-C461-47F6-906E-CF4AB3D9D2AD","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":"Q3010434$661EEF15-16BD-479C-8012-DB72F08FC075","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c7dae9e2868e8761985e35d29dcc69180da48ba","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20877-5_53","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010434$6150649A-CE30-40D7-BB13-09CB1F0A1C7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e7e4a1ece0a59e6b9a6206fbd2db5b66b4a2b61","datavalue":{"value":"W2236535155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010434$6278D936-4F1D-4408-8707-FD47A25AE1AB","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":"Q3010434$19F9D06E-C6E8-4FEE-AF71-1032622CC40C","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":"Q3010434$3D29C5C1-C3ED-49E1-9C16-EF2C0B095A61","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":"Q3010434$46725A01-F195-417A-B87F-6F9630A1058F","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":"Q3010434$95C9F582-14A0-4BFD-9500-59F903F29239","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":"Q3010434$E66EC660-F470-40F5-AF87-37CDC1871F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010434$AAF71869-69BF-420B-817D-8A73BB8B973A","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":"Q3010434$B4D816AF-2CFF-49DF-9786-5402E1FD17DC","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":"Q3010434$144A45DD-539F-4BAF-981F-7A9816228376","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":"Q3010434$F618A4D2-5C94-426E-8653-BA6FD606C109","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":"Q3010434$310FB0E4-F09A-4C6A-9CA0-1634693B1841","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":"Q3010434$13986051-6658-4F1D-A5A5-20336EF73C9A","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":"Q3010434$B82B56E2-CD23-44BF-8855-A74291C4C29A","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":"Q3010434$93A7BB4F-94E7-43F5-9217-2FF8D43429E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508ebb12f962af56c874bab1f92b832a5ddeab28","datavalue":{"value":{"entity-type":"item","numeric-id":3182957,"id":"Q3182957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010434$3C8CA98B-51E3-43BB-9D35-489C4CB818DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52872a24b45453cde8887eb110be542aaac2e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":393137,"id":"Q393137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010434$18A6CC79-1D44-4428-BBB1-7C3CAD86829E","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":"Q3010434$7970B43E-372B-4493-B37F-BFA87F230113","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":"Q3010434$67AE6F32-620B-4D9A-BEF3-ADE03F6A487A","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":"Q3010434$713B090A-45F7-44AF-AEC0-0F26CF42D494","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":"Q3010434$7CAF81F7-6A29-44FF-A24C-CA65A569B49A","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":"Q3010434$57E5173B-7D6C-4781-B9EB-7B8C2528C5A6","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":"Q3010434$6F82BB2B-7FE0-4FC3-952D-A42C114EF4AE","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":"Q3010434$FE29AF0B-8723-4716-A6E6-69BE29918317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5287d0c08680627409181a3d8a21a0f37dc4b54","datavalue":{"value":{"entity-type":"item","numeric-id":393137,"id":"Q393137"},"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":"Q3010434$CDF7329C-EA8F-4BAB-B7DA-B6DDD3365B53","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":"c014f26c0a65b8320e0cb20696590ba053935972","datavalue":{"value":{"amount":"+0.8156664371490479","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":"Q3010434$F34FF745-220E-411B-9F6F-E4AA28B05F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca4d665f5371b0f0eaedeaeeb64c2e7f5eb8920","datavalue":{"value":{"entity-type":"item","numeric-id":2486582,"id":"Q2486582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c014f26c0a65b8320e0cb20696590ba053935972","datavalue":{"value":{"amount":"+0.8156664371490479","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":"Q3010434$B556464D-F7E2-422B-9E2F-FAD58DDE1845","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":"2ac0fbfe09c075409b7ff24609d85b4724124f78","datavalue":{"value":{"amount":"+0.7936646938323975","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":"Q3010434$D391EAC7-2FD4-455A-889E-55C4E9DA7E35","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":"72f364f6479bc0926c269e8818a65b6eeb4f9086","datavalue":{"value":{"amount":"+0.7758989334106445","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":"Q3010434$9D354CC3-A237-411A-B206-5F03D17FCC3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010434"}}}}}