{"entities":{"Q814615":{"pageid":816463,"ns":120,"title":"Item:Q814615","lastrevid":64540908,"modified":"2026-04-11T20:34:48Z","type":"item","id":"Q814615","labels":{"en":{"language":"en","value":"On the undecidability of logics with converse, nominals, recursion and counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003971"}},"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":"Q814615$C6B23FEE-7D15-4185-AC6F-22FCF4DF788A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3911518aeafc248b79cbc128f6045564b4633df9","datavalue":{"value":{"text":"On the undecidability of logics with converse, nominals, recursion and counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814615$675C5031-2D62-4563-9309-8BF7249B0C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96dd709a140061e8fb3afc0234a78ab863909cf2","datavalue":{"value":"1085.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$4AB6E7FD-4CD8-4E20-A0B0-3A602FBB5054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0631f2d933312919de86ae8c0f02f442e4f96c29","datavalue":{"value":{"entity-type":"item","numeric-id":814595,"id":"Q814595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$ADF1A21F-3762-4753-8310-74F79A4C685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$2DE41810-B976-44BF-A899-3EA5C4CA5236","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$E79C69C7-681C-4563-A293-51B875BD6972","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814615$1894F062-6266-4308-8D90-66CD06DD56D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$49B32C43-D87A-40F5-B972-8B93574B85D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$C3294DC2-1860-4287-8DDB-C4F2CECAC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$3BFC8E7E-430A-4CCE-858D-72AEC247E1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$7A0F6616-E7E4-4532-A7AE-0D5B106235D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bcf488bd3d6c6acc1484af7fe6a22df924c131e","datavalue":{"value":"5003971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$0320CF00-DFCF-48CD-86DF-8FBF72DC43A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f1afc52c56bb66486f3755a8155c1a32873893","datavalue":{"value":"Description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q814615$B1EFE400-AF2E-459C-8D29-785A6848D08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03410ba54f7a8ea0bdbcb6316623f7bc4dd24580","datavalue":{"value":"Hybrid \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q814615$F9A80326-C128-45A6-8459-46B4F4B2BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cb1f5abcc9b7401069e30662dcfebb42658764","datavalue":{"value":"Regular roles","type":"string"},"datatype":"string"},"type":"statement","id":"Q814615$B961B6A9-7D03-43F6-A8EF-0D550F114758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383edfe085d8483dc2b107aaf90ea604e67f637e","datavalue":{"value":"Graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q814615$5F037B97-586A-49DF-B441-1626E9C21318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5c1bf4a0d4c0f686c0aa3880d9877d6e5813d0","datavalue":{"value":"Number restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q814615$052C5F29-2D2D-484E-934C-31CE00F2EE37","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":"Q814615$DFA98D44-D437-45B7-9888-9A4092BB8C1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"532f8be5d431b80091534dedae043f5330f4af14","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.04.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q814615$9D7A1EA2-1942-4797-96A9-0FDF8B29944B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36a1fb8916347ffa59b776a38cd099bcdce4eb53","datavalue":{"value":"W2041580396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$CB387DCE-2D12-4DE7-AFC6-6FA0B1BEC52E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$DE42852F-06D5-4408-9E57-628FAF015932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$BF7DF3B2-DB94-4C2F-8CAC-A608542BD567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44361aa981ec66b9df63303ea04b64f22d6e6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4708908,"id":"Q4708908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$CB0E9E59-F35C-4E78-BD2B-285839DF8FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c0a05a9da7d5cc48ad051d711540ab3cf5c668","datavalue":{"value":{"entity-type":"item","numeric-id":920975,"id":"Q920975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$C55C0686-25E2-4395-A596-4F8C786EA201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$E3E48905-9EF1-4A73-A8D1-564CFC5D5DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8348488a9fc93209ce7997d4ddfc3cd10fc3b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1065786,"id":"Q1065786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$C5308386-DFCB-44F2-8877-3444B5D3AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$1172E20D-EA44-44A8-B589-400BEE5181D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86858da2a4ed22acecb259db2038829e8f11560","datavalue":{"value":{"entity-type":"item","numeric-id":921968,"id":"Q921968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$02CB3370-BCA9-41F6-AE41-8FEC04A1C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75dcc66dd7c02761bfdae3bfb285783f55645057","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$ED99D187-342B-43D2-8D1F-1710FB246264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$750D6F22-4150-4638-9CE7-36D76BC9CEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922a0386399841ad7448ccf9b09f9cd437e79a7a","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$664F3B1D-A50C-4FC7-AD42-6096AA2A1796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$E44B883C-0262-4D9D-9B13-A74B5FC3653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$D8E40100-DDEE-40B1-ACCF-F387D436D3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814615$7CED7CB7-E512-4E44-85A9-7F239C0C54BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a501daaeaef2e53c003e2d314249b6eeb17f1fc5","datavalue":{"value":"10.1016/J.ARTINT.2004.04.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814615$0B416C92-5786-469E-A746-8786B3B8D596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17d564b248d3b45202844f51fe93a48eefa186c","datavalue":{"value":{"entity-type":"item","numeric-id":2867946,"id":"Q2867946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0868addd3faf32d557425004ee8e6a2bb8b21713","datavalue":{"value":{"amount":"+0.7568126916885376","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":"Q814615$F7EA32E7-0457-4073-9595-D41C569A89EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12fc6ad10b08eda596e273397998b2601f047029","datavalue":{"value":{"entity-type":"item","numeric-id":3133169,"id":"Q3133169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f81efe6ff79f47a4045a376e2f482843e7e682","datavalue":{"value":{"amount":"+0.7506900429725647","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":"Q814615$62EFCFC3-AAD0-4B5C-BEC0-30374FC4F7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432b693c2e172689374734f50fcbfadb93deeffa","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ba3ac861bbc98269bf9ed1762186fb42bab1d0","datavalue":{"value":{"amount":"+0.7459995746612549","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":"Q814615$5DBEC460-7872-4EC4-B521-78AA947971B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50d5aaf4676997503bb3b703e78ba39d2df4e17","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454e3bedcc66176eb2fff8849ceb8bb4c1bd53de","datavalue":{"value":{"amount":"+0.7396335005760193","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":"Q814615$15C12739-700F-4157-80FC-89361D20CB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903940373308fc61ecc94d43713d2c3f3ff6442f","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbb2a87420449044795382f64b0e45fea61a643","datavalue":{"value":{"amount":"+0.7300101518630981","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":"Q814615$31CD8664-D182-47C3-BF67-9CD443B39998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the undecidability of logics with converse, nominals, recursion and counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_undecidability_of_logics_with_converse,_nominals,_recursion_and_counting"}}}}}