{"entities":{"Q6970694":{"pageid":21327228,"ns":120,"title":"Item:Q6970694","lastrevid":84047369,"modified":"2026-05-08T18:52:04Z","type":"item","id":"Q6970694","labels":{"en":{"language":"en","value":"Finite-model reasoning for graph queries and description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053604"}},"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":"Q6970694$F2F7CF6E-2624-4513-93D1-299055720C8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34b58c7ed2cc29495e6d5bf251976f4ee686dc6d","datavalue":{"value":{"text":"Finite-model reasoning for graph queries and description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970694$5021C7E0-6FC7-4C8D-A26D-9E644A9774C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b4e986df8fffa8fa35d7a64574d74c9363c34a9","datavalue":{"value":"1567.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970694$0A3DA754-5CD2-464F-8E07-AA51BD0FD00A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6adb8274943bdab3eb99ac0c086dddeb6eb55324","datavalue":{"value":"10.1007/978-3-031-80283-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970694$25A0F4D9-46C3-4AEC-972B-D758E0A8F32D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ad5e7fb61ea45976b602ee06873d3f04081c67","datavalue":{"value":{"entity-type":"item","numeric-id":389224,"id":"Q389224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$08084C87-D1FD-44A8-9154-954A97F5B67E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0624fa178e03b9fff03ae621c7db899ea102bb25","datavalue":{"value":{"time":"+2025-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970694$5459ED6D-683B-47AB-BAAC-A466997DF6AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970694$7863558D-2135-41D2-AAE4-1C9DA26EAE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970694$48B6CE1C-5924-488E-A180-8EA9455775DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f76034b957c2529a92797eec4dd799a259ae5b31","datavalue":{"value":"8053604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970694$12A716A7-3C6E-4985-8798-8EE31FF2141B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059b8a3d3779d34ec82be7560ea87472dbbfd3a1","datavalue":{"value":"conjunctive regular path queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970694$9FEA7BBE-0ECD-407C-9FB1-EAB86AE4942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17e4c8b00e7e5f907c6fb74e5821171e0ba4b66","datavalue":{"value":"query entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970694$4C158477-D531-4115-8976-1D5F3A207219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970694$B2DC9054-1697-45A5-A7C5-93B6EEF5689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d719d92396902813b708f5c0a829bf89d5940e21","datavalue":{"value":"finite-model reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970694$E7327211-24D5-404D-A8F9-9B686EF4B28F","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":"Q6970694$1A7840FE-42F6-4EEE-866B-ACF2D8E33544","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$0B02567F-964A-4BDF-AA19-99F3661F689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd99f7406911f4e1a2982cc954412d01cd0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5417742,"id":"Q5417742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$987BB404-68BC-4283-B1D7-7B674BBF1029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366a2f7e1ca39a32372102a3f412ad1d58d8ba65","datavalue":{"value":{"entity-type":"item","numeric-id":4962146,"id":"Q4962146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$CFADB23F-DB1D-49A3-B417-E00EEC520268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165e231b651a86a470bf761d7786936dcfbebcab","datavalue":{"value":{"entity-type":"item","numeric-id":5092376,"id":"Q5092376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$6B501D99-7157-483F-90DD-65A21F9970E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$035CBF79-6B9C-4ACB-A858-64CD32BAC1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fa1c8033cc566dcc0eaa34e42b29070cedc8ac","datavalue":{"value":{"entity-type":"item","numeric-id":2680773,"id":"Q2680773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$FD94F55B-E09D-4034-A049-E85640760A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$B3380829-700F-4FF2-AD69-F3077AC2C89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5650c4e4fa8a532b90079a68af401e1af143155f","datavalue":{"value":{"entity-type":"item","numeric-id":2389348,"id":"Q2389348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$1F3E2263-736B-4AA4-B9D0-EC8B898BAF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d85f7addec959984ab4d5dca798bff20b19473b","datavalue":{"value":{"entity-type":"item","numeric-id":3055811,"id":"Q3055811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970694$726AB49B-EC8E-4FAB-B937-CACA1297E0D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-model reasoning for graph queries and description logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite-model_reasoning_for_graph_queries_and_description_logics"}}}}}