{"entities":{"Q2908475":{"pageid":2919200,"ns":120,"title":"Item:Q2908475","lastrevid":51543674,"modified":"2026-01-18T17:33:03Z","type":"item","id":"Q2908475","labels":{"en":{"language":"en","value":"SAT encoding of unification in \\(\\mathcal{ELH}_{{R}^+}\\) w.r.t. cycle-restricted ontologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076896"}},"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":"Q2908475$24141A3D-BAD4-440A-A2B2-0B3F26C20ACD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f51d2333b85d2426e6beab5e2aa4f565957865","datavalue":{"value":{"text":"SAT Encoding of Unification in $\\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908475$D950878E-11C9-4650-BC8C-891AAB33CB81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce9f19f19504affca7f2c8af3ffc2fa69fcd7a04","datavalue":{"value":"1358.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$2CCFF6A3-3E2E-4768-8A10-15FD1446FAC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d49df3cfb46863e03f9927d072cef702776e82ec","datavalue":{"value":"10.1007/978-3-642-31365-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$F0538C45-36BC-49CE-9E44-5EACED6692FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908475$65614E54-B138-4897-BB15-6BE2C97173C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f773cd2c2b0a8303c67ce589d3a1e87c08c901","datavalue":{"value":{"entity-type":"item","numeric-id":465590,"id":"Q465590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908475$1FB1769F-E0A4-430F-AA4F-82C1F9769614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0da10a71518197eaf1ae106c72317624a8a57f","datavalue":{"value":{"entity-type":"item","numeric-id":2374389,"id":"Q2374389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908475$E2585218-832C-45D2-B21E-BA42BD1223F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908475$29E2BE16-D0D4-45EF-9861-1257803E4FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-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":"Q2908475$2F443F44-0CAE-4562-AE4D-064E8E541593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$1A964EC6-007B-4AA9-9268-0EC94D5F007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$4D89DD38-7F76-4264-86D4-7AD75DE2BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$200F0079-0DD6-47FB-94AF-261605B5C327","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"030e992adc657a9f120ca81d7979757d5065dfcd","datavalue":{"value":"6076896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$4B3D71C9-433B-43E2-A827-40FED92E229D","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":"Q2908475$D8AA5AD9-485F-4B54-B1D5-983B3ED8773F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d89ca8721ce0a424ec07b6ed03ff7e5e3e3b758","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908475$800BD0F5-0397-4DBF-9814-B2EDC058C63D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da720eb01a89e66353142bc3f89bac7c8cbc9e5e","datavalue":{"value":"W2142835256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908475$7835C2AD-0F0A-46FF-8123-F7CC7196989B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dd5259c02f1f2a59b7ebe83414a85744ffed69","datavalue":{"value":{"entity-type":"item","numeric-id":4933298,"id":"Q4933298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e078266a44f0b6630d3f8ea2aec7d9e4ae03b4f","datavalue":{"value":{"amount":"+0.8957896828651428","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":"Q2908475$BF9B4A41-ED8B-4C78-BCAD-E2ED3A514A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823a036ff407caa034771d77324e264511a439fb","datavalue":{"value":{"entity-type":"item","numeric-id":2849496,"id":"Q2849496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8479900170bbe19c67d2d8962dc1db88464bb3a0","datavalue":{"value":{"amount":"+0.8346450328826904","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":"Q2908475$34F4AF19-1D55-4872-8D55-19E0B83C4F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9590b817dd81ddf7272f8fd2a25d48c3e60412f7","datavalue":{"value":{"entity-type":"item","numeric-id":2786134,"id":"Q2786134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a998fb2663c2746f782fa1f3d4d91c31d1c60ee","datavalue":{"value":{"amount":"+0.8173773884773254","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":"Q2908475$0D51ABC8-AD35-4E63-BBB0-40646D28CE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13db1a73bcc6f41e62518fccba5a082a51c97b82","datavalue":{"value":{"entity-type":"item","numeric-id":3636834,"id":"Q3636834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1b131ec64eb86ef36feee901bd078adfda6420","datavalue":{"value":{"amount":"+0.8135512471199036","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":"Q2908475$43903AD2-D9C9-4D79-A720-E0359B2D2267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea1f582e8ac077888e9d3fca63bbc928e0bdf88","datavalue":{"value":{"entity-type":"item","numeric-id":5200016,"id":"Q5200016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969af74832bd448968b860cd945a56162d036b62","datavalue":{"value":{"amount":"+0.7999352812767029","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":"Q2908475$5A26D5D6-7D8F-4C08-9F13-8B297AE6A458","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908475"}}}}}