{"entities":{"Q527171":{"pageid":528938,"ns":120,"title":"Item:Q527171","lastrevid":62504253,"modified":"2026-04-11T06:32:48Z","type":"item","id":"Q527171","labels":{"en":{"language":"en","value":"On bisimulations for description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715832"}},"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":"Q527171$DD32BFD4-5D05-4024-9191-B4E3AB63E4C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313bb8de66b8c37219b64b2482b8a2e11833a40d","datavalue":{"value":{"text":"On bisimulations for description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q527171$7974CB74-FCE5-4564-A80F-2F0B16BCF089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa54331943b49f24f8edd6b0b25c1f725b3bfd73","datavalue":{"value":"1409.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$C3D03617-5049-4CD0-84D5-B8831D59C66B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"218fdee69e605988e151146a5bc876242bb6b39b","datavalue":{"value":{"entity-type":"item","numeric-id":527170,"id":"Q527170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$9DE1748C-6FDF-4E0A-9278-6CBE11B65D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$C6FE007A-D5DA-4F92-9B80-520E6D51C992","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$D56F083B-B47C-4BD5-A3AE-D45006685037","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q527171$2F88807A-A260-49E6-99C9-7AD26AD2ECC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c8cd36ab6b76ac84085a0a60bedca303bd3713c","datavalue":{"value":"https://arxiv.org/abs/1104.1964","type":"string"},"datatype":"url"},"type":"statement","id":"Q527171$42FDF116-E154-455B-AF0C-92805FC8125C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$A44B6E76-1FBC-4E2F-B4CE-6AB21B1B8AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$00798440-3FC2-4296-BBF6-2B75A9FF45C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07d1f23e5810375159a95fc09cbdd20346fef19e","datavalue":{"value":"6715832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$F4FFC8BB-7E7A-4C95-837F-A88F05A62F79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q527171$5CD737C3-D643-446B-BFE4-D83BD89AB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q527171$6E6FDB7C-C34D-4C51-9EF8-25833FB601CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q527171$AF240A82-F51B-4727-8DC8-63408C0C37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q527171$C1893C14-65C1-4901-A6F5-1ABFE7D683D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b594998544fac43c1876c244b51749b1c2b65426","datavalue":{"value":"concept learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q527171$AF473122-AD42-4484-903D-0484D15D431D","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":"Q527171$92E99329-91FA-4D80-99C0-5C8B37FA2982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"affeafa0b84895dc1b29f763144ec43e21af265f","datavalue":{"value":"W1710605610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$8DE9F2DD-C34A-4DC2-82C0-1C6A229E4EBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$E83FFC8A-08C7-4DB5-9C2C-8F07408CDCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed214c2eacac5eb2c7eaf8dc1a5771b85384d3b0","datavalue":{"value":{"entity-type":"item","numeric-id":4870066,"id":"Q4870066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$1CD81391-10B6-4131-A443-35BD6BFC22E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9056725c77407146ddce9e91723a21960e99f759","datavalue":{"value":{"entity-type":"item","numeric-id":4537963,"id":"Q4537963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$EF9A3B3C-DD28-4C03-9D74-24C036EA919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$B01355C7-1250-472C-A642-2656CC801735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3015d011b718c45dcc4cd7ed7a347b9d253184ec","datavalue":{"value":{"entity-type":"item","numeric-id":2674209,"id":"Q2674209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$7364A486-C18E-4CFB-BB77-F7190F145C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380e2da8428b3cc3a4a654b05a929c04c5f81ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$FB8FCCB6-A0B5-4593-A3BE-49A0F2C916EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8b00f4e2ea4686d14ed220356e35b4d4e053f9","datavalue":{"value":{"entity-type":"item","numeric-id":527171,"id":"Q527171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$FFBF7A89-0F7B-4003-81C8-248F04B5952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d9573767d9bed999eb8e823c3c827f98fab7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5507389,"id":"Q5507389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$5C8AD425-21C4-4D7D-B739-C2D93EEABC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$889EE09D-0152-41CF-9606-9821960CA226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$C9F098B6-AF24-4AFE-8309-4ABBEF069481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13f651603337bf55c76880de44d2d3b66106f4","datavalue":{"value":{"entity-type":"item","numeric-id":4825712,"id":"Q4825712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$3653EF91-A1CA-4C92-B973-E773A1C34660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab7566b79bdacf4fa5f29f637fa7dd3811fa9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1606296,"id":"Q1606296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$925275F8-65A7-469A-AC2C-0363B76ED13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fc6eedeaf058344bcec4ac18e78c81fc6f85c2","datavalue":{"value":{"entity-type":"item","numeric-id":1959551,"id":"Q1959551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$5E1E1A79-3EE6-41FC-BADE-A0CC035418DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c991d07c74cc824c534e08a8b13b957192ea2158","datavalue":{"value":{"entity-type":"item","numeric-id":5245185,"id":"Q5245185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$E937AC90-8ABA-492A-B56A-271B03770A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$A7FAE661-BB1E-46F9-8A29-F868BCC1EF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$E040CCF5-6A2D-4F65-A671-746A97F54076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1681513c172dbb920d10817a14a72d0b2ed4b474","datavalue":{"value":{"entity-type":"item","numeric-id":4003537,"id":"Q4003537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$3C92C8A7-24A3-41A6-88C6-DA25E18588C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae351310c6fbc174dc38079ec3b3d9eb0f8646","datavalue":{"value":{"entity-type":"item","numeric-id":867594,"id":"Q867594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$704329F0-1C88-4F96-8FD6-7399C440F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdcac4aad3e5de78fae5b88a5df14d17d2aa0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3192965,"id":"Q3192965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$2721E5B3-B3DA-4912-B54F-DD5789D25EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$2E3272A0-59C5-437B-8B21-88C85C32F900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527171$7DBB8D1D-EA6E-40DF-A69A-96A5B08C78AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d6f13e3ccca72421e073501f413690bfe492596","datavalue":{"value":"10.1016/J.INS.2014.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527171$D3F6C019-9B5C-42CC-85F0-1E211A952F4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49e6ce96df7463c0c684dba99811279c856ae53","datavalue":{"value":{"entity-type":"item","numeric-id":2219174,"id":"Q2219174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f78ec7a64e1a020b3ebb58774ef36f8eb9d41ee","datavalue":{"value":{"amount":"+0.8458234071731567","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":"Q527171$43C99AB8-3F7B-4A58-8BFC-581DD5E9EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e1189382cc8834e506836a4a2047ecad04641","datavalue":{"value":{"entity-type":"item","numeric-id":5894701,"id":"Q5894701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e6cd18aa9c318092665be9178b896a60b7e41d","datavalue":{"value":{"amount":"+0.8207687139511108","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":"Q527171$581FDB0B-B1C0-4B91-8FD1-D83AEEF227FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7467e02a783505b32a4633fcef0039b2b520c4c5","datavalue":{"value":{"entity-type":"item","numeric-id":6104484,"id":"Q6104484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10eba8998c2634a049c2e0037f688e7fec19616","datavalue":{"value":{"amount":"+0.8037407398223877","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":"Q527171$89AA6D73-3563-4868-91BE-1719D231D444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29bf0e339e00987ef66f21e37b307887948e9467","datavalue":{"value":{"entity-type":"item","numeric-id":5283396,"id":"Q5283396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668d15e93652b7bde0e80f8167aa1d2543420dcb","datavalue":{"value":{"amount":"+0.7943717241287231","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":"Q527171$DBF4288F-F2A0-4C4A-BC54-23E8618E4324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34f7b4637436f28d74b4cf182002d207cd90ff2","datavalue":{"value":{"entity-type":"item","numeric-id":5498011,"id":"Q5498011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25df3821054a6cba73d3d132cebb3d1657e10014","datavalue":{"value":{"amount":"+0.7610238194465637","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":"Q527171$AD9AA343-714F-4CDE-A9DB-88C6C573A889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bisimulations for description logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_bisimulations_for_description_logics"}}}}}