{"entities":{"Q5756583":{"pageid":7786134,"ns":120,"title":"Item:Q5756583","lastrevid":50157731,"modified":"2026-01-13T07:24:43Z","type":"item","id":"Q5756583","labels":{"en":{"language":"en","value":"Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\\mathcal{ALC}$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187242"}},"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":"Q5756583$A1782AD2-BFD7-479E-948F-7D489269DA89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1185522b065f2bb10bbe2d5a40ef736559bd077","datavalue":{"value":{"text":"Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\\mathcal{ALC}$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756583$45D4997E-262B-471C-9FB9-56021C86A007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63b8e305e8c4dff4a2ffe2bd40ed258b962e243a","datavalue":{"value":"1187.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$6FE9BF29-55E9-4B6D-86E4-7715E1213143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7e1ce42f30aa22d1cd5dbb467d56108b99759f3","datavalue":{"value":"10.1007/11814948_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$30C56DAD-24CA-4298-B207-DA44938305BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756583$61DFFC26-CE39-43A0-99C6-9B9BD5B37C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11dc4479c6d84a37a43fbbc196047b99b181424d","datavalue":{"value":{"entity-type":"item","numeric-id":3651466,"id":"Q3651466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756583$E22D5C2F-E01C-4ADB-899A-C267A2B99E48","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":"Q5756583$6EB014CA-791D-4332-BA76-5C57E2AE1952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756583$36522B73-8D13-457B-AA10-74BC2282DAA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$FD686818-4AB9-4A66-97E7-72A2F38A8082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$FF156AC9-F759-4036-9C7E-78BBF192FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$C1BB1C37-F4F3-483B-9557-ED7284099E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$FB9C4031-748A-4CEF-86BC-32D45CE5C57B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ba342c90f2a07f25627d5fb01473cb8c3357e9","datavalue":{"value":"5187242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$4AFD1786-F10E-42BA-98E0-78BCB37C6AE4","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":"Q5756583$6360A805-B10C-4088-84D2-83611A5124AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de644e3bd8e60ee445b512be50c73d822e0e612d","datavalue":{"value":"https://doi.org/10.1007/11814948_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756583$4A1099F5-0998-4515-AA63-8F07038FF73C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60075a3d4eb891458ca81bc197be5eca8d81052c","datavalue":{"value":"W2155817064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756583$8B9DB023-BADF-460D-A3F6-020951114C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba115146e37a5033c6a195f423b807efe40ea32","datavalue":{"value":{"entity-type":"item","numeric-id":3651467,"id":"Q3651467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4780194fbaad6e6b9c5f5c32c3dd371e866c0e33","datavalue":{"value":{"amount":"+0.9743047952651978","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":"Q5756583$2CDA3984-4CF4-4D96-92AD-FC055EF1EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c4466195aeb3e5a71dfde54a3d77737c40506b","datavalue":{"value":{"entity-type":"item","numeric-id":5897228,"id":"Q5897228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d37cc70b46ddc0b140a68910d9794a426f22de","datavalue":{"value":{"amount":"+0.7712819576263428","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":"Q5756583$2398D2DA-6199-4300-9DF0-8529D529E565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545cfdeb187600afabbd9d6dea9d40e131869927","datavalue":{"value":{"amount":"+0.761928141117096","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":"Q5756583$EF761EF5-D35A-4860-8800-C788EC149057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddafdafc0cc474e6cb079b419ef77d4f7b22b75","datavalue":{"value":{"amount":"+0.760030210018158","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":"Q5756583$C3721376-D938-41DC-B2D2-4B895E2810D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5f321bce2072a037de1a81b4790f837eedb037","datavalue":{"value":{"entity-type":"item","numeric-id":4518914,"id":"Q4518914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9429e2df35ad96aa6faaa322eaa0f3872962ee38","datavalue":{"value":{"amount":"+0.7557345032691956","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":"Q5756583$EDD608D7-20C3-4C0C-94B1-116CD76D5D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756583"}}}}}