{"entities":{"Q5215376":{"pageid":7244946,"ns":120,"title":"Item:Q5215376","lastrevid":91595597,"modified":"2026-06-04T23:34:38Z","type":"item","id":"Q5215376","labels":{"en":{"language":"en","value":"A multi-engine theorem prover for a description logic of typicality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165540"}},"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":"Q5215376$6B01581A-0D96-4FED-AB88-D0A07363E4B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0841690763953121aa4ae6cc534e2c328f715b82","datavalue":{"value":{"text":"A Multi-engine Theorem Prover for a Description Logic of Typicality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215376$5FFB4C8C-690D-41AE-BC15-1922FCDA8B03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fe2494f39c0445333fb7a51e38ca5c6aeda87e2","datavalue":{"value":"1430.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$64C1DB5F-19E6-480A-BB36-93775C4F053A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4bfc646bef7921be82aab04fa4f2193f3151d38","datavalue":{"value":"10.1007/978-3-319-24309-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$04ED3E34-5D14-4896-B1C6-4FDC18729750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$F1CE0E36-4D99-4672-B1BE-2CDEF4F83003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c74c24d27ec9f628ba726f84cdd4a1a6e87c474","datavalue":{"value":{"entity-type":"item","numeric-id":5215375,"id":"Q5215375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$EEC7B51E-E249-4AA8-BAD0-55957740227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$B5B3182D-A218-4EF3-BE73-9796687F8290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbec35a2e96f9d13a1123f98a466a76ce9d01080","datavalue":{"value":{"entity-type":"item","numeric-id":1602961,"id":"Q1602961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$5503281C-477E-40AF-8677-83A20061BACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$B702ECDB-6651-49FA-A4B0-37BF44122682","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":"Q5215376$EA826736-7809-4169-A6C1-F1189671DAB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c81b0ff7a16cf5dd5907466303464ced8542d6d2","datavalue":{"value":{"time":"+2020-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215376$5D660303-95B5-4770-B16D-493B8CCC56A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$3560785A-CA78-4B4A-8DAB-387177FD7788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$4EFF2A9E-3661-41E1-AFA2-0807B4DE7459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$09766911-A748-4289-9162-F7C3364B9C81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45fb46a573ba708718dc0703a39cacba173997c4","datavalue":{"value":"7165540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$10543DCA-8E03-4BD0-A06C-A6D4466E1651","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76a540e5b0a4587683b2dcd9ea3434cde53db790","datavalue":{"value":"Q58207588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$C5EA8A4E-BE96-4172-BE82-587BB03EF88A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$F40E0C46-93F7-4DCA-9961-C352EC90A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8945a2c7162e6449d44365397a38b8de9b213df5","datavalue":{"value":{"entity-type":"item","numeric-id":25631,"id":"Q25631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215376$0951D748-4608-44FA-A2E2-EB321035E738","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":"Q5215376$E46161D4-DFA2-4B48-8F02-C754DC4CE1E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc92ea2bc18159a154c3255178f16846b64980c0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24309-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215376$24430D3C-FA8E-4D47-ADA8-545DD87EE251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f029b2f6bcd99abfcffddff05a03382dfe21175","datavalue":{"value":"W2269254491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215376$AA458A20-D59B-4BB9-91E4-B38E369C44E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805bae651b74bd815efb0ce93c18ea737c167009","datavalue":{"value":{"entity-type":"item","numeric-id":3532467,"id":"Q3532467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4361c69faaf258521e8812206f486219e77885b7","datavalue":{"value":{"amount":"+0.7964721918106079","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":"Q5215376$EBE54F34-6B6F-490F-BEC3-FC9D6225D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371ded2efa419b9a387d6892bf9988bfb80353b9","datavalue":{"value":{"entity-type":"item","numeric-id":3498470,"id":"Q3498470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5dd401d0d345fd9a3dd0f81d275395620f8cc6","datavalue":{"value":{"amount":"+0.7963523864746094","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":"Q5215376$631D69DB-B2BA-43D7-8B31-C1145F00D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20efdc8811a60db6080249809ceafd9e2b4a2a5b","datavalue":{"value":{"entity-type":"item","numeric-id":3400571,"id":"Q3400571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdacbb8f134172810be587676d53b6f5e69f8b6","datavalue":{"value":{"amount":"+0.7948392629623413","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":"Q5215376$1DB5577F-4667-4C63-8DE3-8F6D456AB151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e47ef757d1414a1bb7e348ef377d540192ef05","datavalue":{"value":{"entity-type":"item","numeric-id":360113,"id":"Q360113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7abf18678df0d3d12aa9c2bc7584e48daa0b878","datavalue":{"value":{"amount":"+0.7900915741920471","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":"Q5215376$87243A19-7058-4F72-87DC-4E003F167165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd7144524dc8a21b7ad1fdc5ee3f6402889abb2","datavalue":{"value":{"entity-type":"item","numeric-id":2401891,"id":"Q2401891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f8ffdeb1a7c7cf6d074f4d5d2635ff56b67a2c","datavalue":{"value":{"amount":"+0.7749832272529602","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":"Q5215376$705645A7-6E86-44EF-AC8F-E7C52C9A91D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A multi-engine theorem prover for a description logic of typicality","badges":[]}}}}}