{"entities":{"Q4933298":{"pageid":6962880,"ns":120,"title":"Item:Q4933298","lastrevid":41686144,"modified":"2025-05-07T05:48:46Z","type":"item","id":"Q4933298","labels":{"en":{"language":"en","value":"SAT Encoding of Unification in $\\mathcal{EL}$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798890"}},"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":"Q4933298$1CE56AA4-CC03-47E1-9195-E207ACEE0CB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d804ca91869d94357dc9bb80942017a2735c92f9","datavalue":{"value":{"text":"SAT Encoding of Unification in $\\mathcal{EL}$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933298$867D12B8-5F85-4937-AED7-AF1249101C6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"026954f6164621bb59933f72b139a57101159910","datavalue":{"value":"1306.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$95964174-AD5B-4B7B-A422-BFF4ECB5FDD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d201e89e3a4af854735b3f3721fd9e9309e1cce5","datavalue":{"value":"10.1007/978-3-642-16242-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$12D906DA-2AE9-4D86-A1D8-7C322672F826","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":"Q4933298$A61DD0C3-58B3-4F34-B2B9-1A9EDFFC2822","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":"Q4933298$C860BE5A-C5FE-4A28-9E5F-4659E1AD4360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933298$EEB57A62-2C1E-4463-A24A-A93BACF61553","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933298$328C61D1-28ED-44D5-BE14-C3623865A5EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$3EC78439-43FC-4845-A6E9-38C4BD51D1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$6C001959-134B-4174-8C5B-39CA5D4F714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$03A3F185-9C6C-406D-9FC2-955286515F75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f28f2931cecc9b2f1cbb367a2774333cb43a3ab","datavalue":{"value":"5798890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$05D28623-113E-4A08-9167-A21DEEDF7C66","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":"Q4933298$74EF7060-5771-49E8-BDB5-0814A90FD7FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aac5acf5bbc819d19934c7f7374bae7908bd245f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933298$434CCA9A-35D7-49C8-8748-F70614C8CBF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea99ea004c8d5cf76c16e4480af46a45c909ca22","datavalue":{"value":"W1805108069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933298$F368B253-544A-4504-87E1-CF13CE5DDADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8909dfde657b34fbc951ce212fc3556951f71184","datavalue":{"value":{"entity-type":"item","numeric-id":2908475,"id":"Q2908475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3581256d4a738a4e5b8cc99e5c4be548ab1ff45c","datavalue":{"value":{"amount":"+0.91130245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$972484E9-3C94-4C9C-A831-96500FE7E3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8826be1b5b58b3b9a0717748031d96b7a3c19","datavalue":{"value":{"entity-type":"item","numeric-id":3608794,"id":"Q3608794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4530d0f54055fceb2fe29873e3cb3fd1a5a0c8d8","datavalue":{"value":{"amount":"+0.86520845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$1B8692F6-E652-4CD2-83FA-ECEE21A093DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3359b05cf13a277d3c539b4e9cda73acc8350d55","datavalue":{"value":{"amount":"+0.8570709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$143503E6-67A2-4925-AEB5-6D731353ECD9","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":"5d647a2a4af6b428e1a990671bacf5a8a901825b","datavalue":{"value":{"amount":"+0.8561901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$135BC4B5-E362-4C51-82A9-99BE9A8E9D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19b61494adff70f82e8d8fb5584d0aa8ed24fed","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d95f9f377909c167109dffdd479a10f6a4883dc","datavalue":{"value":{"amount":"+0.85577804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$C23019AB-D155-42F0-9F4B-2995A7D13662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852a7c34bd40f56ada9a3772f8609d47677c4ce3","datavalue":{"value":{"entity-type":"item","numeric-id":831945,"id":"Q831945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3c1a118516c17b104e5572788a2b142fde8900","datavalue":{"value":{"amount":"+0.85459375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$1296A882-30EA-431D-AA35-06D87B6A127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536df0474f5e71cc877b7306735d9d50934f4b5f","datavalue":{"value":{"amount":"+0.85435605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$E3398F0D-E9B0-4284-B6B2-D89898B9D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b06b7325da0848dc839b18acfc9eb41d8ebb87b","datavalue":{"value":{"amount":"+0.85376173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$C380AEDA-069F-4EE2-A515-834F81FD4230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553fe0d0f6f241603400608d49fd5ac3ca938f88","datavalue":{"value":{"amount":"+0.8525224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$E88207D5-10BC-4A2A-9741-8A24D4AC2D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32d6b9d650b40bb4f5a90f869f721fb7569426d","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd35a11ef65045651a843e153d99bf3e11313353","datavalue":{"value":{"amount":"+0.8520106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933298$0E913BAA-56AE-4414-9292-8D86AD960426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933298"}}}}}