{"entities":{"Q1383996":{"pageid":1394736,"ns":120,"title":"Item:Q1383996","lastrevid":68767152,"modified":"2026-04-13T01:56:16Z","type":"item","id":"Q1383996","labels":{"en":{"language":"en","value":"Automated deduction techniques for classification in description logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1139821"}},"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":"Q1383996$DA11CAD8-7878-4D05-A704-32216C371C86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b469e135899e4536759f1a6d80daace15997fe9","datavalue":{"value":{"text":"Automated deduction techniques for classification in description logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383996$AEA069B9-E668-4A37-8CA7-8DFDFB22CA10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb15b6c93466b27ff5be8ab32251bc68e1dd954a","datavalue":{"value":"0893.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383996$8E2ACE2F-2573-408A-83C2-70D33A7C73ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bdb2cd34c7dada6e3d1b9856e17883edb0e66c","datavalue":{"value":"10.1023/A:1005866922570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383996$F2B058AB-C8BD-4CFB-AE9B-0F45AB8D7F00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6812152fc2d0f89a7f0ed46d8af0dc19397e5ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1383995,"id":"Q1383995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383996$1D5AAF06-2C03-4D91-B236-39EA1E0749D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383996$9433B91E-D262-43A4-8C57-3B660798CCDF","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":"Q1383996$ACF4BE98-E2F9-4A82-A380-A4FF5C529A66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383996$E9AED175-9310-43A9-AA55-00AC23524DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383996$2D69B70A-D5CF-421A-8F69-8904D861097D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6339f8418494bbea85399072f85f10566a4c98b7","datavalue":{"value":"1139821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383996$5AE13D66-B5AA-483C-9CC0-4E7D2B90A48A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa60865584c8b7ed58ca64c604952a1b1389efb4","datavalue":{"value":"description logic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383996$29892081-AC82-4A51-B7F9-275D0B53A66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"032b9d5328b924cc18fef73f77e1fefd6cf10d5a","datavalue":{"value":"mechanical theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383996$3F7B8AEC-26E8-4AD6-B372-5614A889BD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2864d1b6870ef2699e5e1958be36cb181ba7244","datavalue":{"value":"knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383996$0B4B0C69-0A1B-4D38-AB74-D2366DF7E2C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383996$1AB07112-5675-42E3-82F5-8BF918D80741","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":"Q1383996$CB9661F2-1AB7-45AC-8575-FFB749329B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148700445e1f13b2f0546a0b274d968c5d4e430f","datavalue":{"value":"https://doi.org/10.1023/a:1005866922570","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383996$F8CCB68F-9A44-4A12-B4CA-B723403518C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d5106d0603062e69c83132de93a2870de1f5c5f","datavalue":{"value":"W1512430070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383996$A5B5EDB6-95BD-4B42-BFD3-A3ACCB447037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5f625de31cec0ace487de0dbbc613c91011a","datavalue":{"value":{"entity-type":"item","numeric-id":4386959,"id":"Q4386959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0281b289b1d0c68be6e50d7d4b55164d7e416343","datavalue":{"value":{"amount":"+0.73714679479599","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":"Q1383996$9FD96C6A-7BE7-4FDD-96DE-5798E8460DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3aecf262633c0818138652466f6925ca420e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d32381e9cee55ce39a3bd21fa5e9d98639e87d","datavalue":{"value":{"amount":"+0.7295171022415161","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":"Q1383996$B75D1F34-EC75-4E61-BB0B-0B47892B4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80633712ee4d5c79e5d90f64374c3a6a2b1f9cc","datavalue":{"value":{"amount":"+0.708291232585907","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":"Q1383996$364E3324-9860-4C9D-BE7F-711C5C906DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c3f7e596d6658065de4cab1dd917fc8c1c7d4","datavalue":{"value":{"entity-type":"item","numeric-id":5449646,"id":"Q5449646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146a7fd6287dbb8aaf14f7f4065100266d9c4683","datavalue":{"value":{"amount":"+0.7076162099838257","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":"Q1383996$ACC7805D-8C34-4753-8B53-A1E6A6DC23F7","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":"a2e92b1f560055243847f63ca5a9ed1369543ef9","datavalue":{"value":{"amount":"+0.704441249370575","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":"Q1383996$D8FC45DE-553B-4B80-BB21-98BAEA1A79B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction techniques for classification in description logic systems","badges":[]}}}}}