{"entities":{"Q3608764":{"pageid":5638670,"ns":120,"title":"Item:Q3608764","lastrevid":50592101,"modified":"2026-01-14T12:18:25Z","type":"item","id":"Q3608764","labels":{"en":{"language":"en","value":"Optimized Reasoning in Description Logics Using Hypertableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523766"}},"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":"Q3608764$AE37D930-6E75-459E-9081-6D195E9DFE1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2fe8b8ea3a931ec75b8313229421d08c0e3ac59","datavalue":{"value":{"text":"Optimized Reasoning in Description Logics Using Hypertableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608764$2B7D59BA-8F64-4243-8F7B-001D035ECDB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2c882429a071f85f5b806e0eefeff2bcd468d5","datavalue":{"value":"1213.68593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$32BFD018-D755-46C2-B5AE-0454887F5ECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f1b59e09897c9b3f4ef0b81fb629f1112920f28","datavalue":{"value":"10.1007/978-3-540-73595-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$2D6B3A42-676F-41AA-90CE-FC799384D6EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ee395fd65691c261bd55b4313b02cea240ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":490522,"id":"Q490522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608764$3EA423F8-73EF-4592-934C-B93AECE6537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"861fce240ff1f83b7bbd6d0819e0f2a1cace08b6","datavalue":{"value":{"entity-type":"item","numeric-id":3608763,"id":"Q3608763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608764$2B3C28E0-F4D0-4D05-9F59-6E4BACD729C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608764$0684C705-4831-49C6-A48D-81111527DA1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608764$4B3E7143-EC2F-4E4F-AAA3-7D9CD070E0C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608764$C25D6BB4-9CD3-40B0-A338-0F193193BBAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$A1A16BED-E913-4B89-BD8D-DA00082025D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$7BCC15E2-8D23-4561-B016-B04AB1EBEB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$E7F86233-5847-479E-852B-28B34548584E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc21ab62716eda875769b6562081214da520d2a2","datavalue":{"value":"5523766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$7C3AE1DE-6852-4B77-A720-23B835C778E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608764$82872EFE-300E-4AA9-BDFC-06F7E37EAD31","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":"Q3608764$4F3CDBF2-CC10-4817-B735-4CADA8DD291B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dee2d35a4eff01cfc4c926d47d77d9435318f4d6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608764$4F150CE5-A5AE-46F7-84BF-929C781D93B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fec55a007d071dd29f7cec4c5c93a680218c866","datavalue":{"value":"W2165433828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608764$D1B9705D-B28A-4560-94CB-D937B70219A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6156693e2fcb22e1cfdebb11a106a522a0a42","datavalue":{"value":{"entity-type":"item","numeric-id":3651485,"id":"Q3651485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de3d29dc698d3d324e0b799d19a91c3210db4cd","datavalue":{"value":{"amount":"+0.9057027101516724","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":"Q3608764$58F3C911-AFC1-4870-949D-5F5C5E016FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4411c0a6945df180241d0bac7a6bf2417ba221","datavalue":{"value":{"entity-type":"item","numeric-id":5747784,"id":"Q5747784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ce416b22621b5a0f037bce07a6a27bd0a8d439","datavalue":{"value":{"amount":"+0.8324945569038391","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":"Q3608764$82EF2526-D948-43E3-A824-1ABFE5FCC9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0d4cc92216fa6a997e9aecf91492094185721c","datavalue":{"value":{"entity-type":"item","numeric-id":3541705,"id":"Q3541705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d274654a3a3666bfb43a620c3cb6521435b111af","datavalue":{"value":{"amount":"+0.7975196838378906","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":"Q3608764$21B3BC7A-1729-4DB8-A2F6-1D951C64BB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658b92941a8fcdeae89f3b30225df07f1f5c6895","datavalue":{"value":{"entity-type":"item","numeric-id":2851945,"id":"Q2851945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2b28eb37140722336b7a75cc99b1f18ff2cc7c","datavalue":{"value":{"amount":"+0.7945528626441956","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":"Q3608764$4001F1B0-906D-4FFE-A5AB-B36DA352C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121c3434d5f32ab707691d119fdc2e89d8124b67","datavalue":{"value":{"entity-type":"item","numeric-id":2462645,"id":"Q2462645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222fd58d09f477d0469edfc22863305b6859bda4","datavalue":{"value":{"amount":"+0.7852802872657776","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":"Q3608764$00A7508D-9773-4F6D-90B0-96CFA8399B41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608764"}}}}}