{"entities":{"Q3113787":{"pageid":3124503,"ns":120,"title":"Item:Q3113787","lastrevid":85807511,"modified":"2026-06-03T11:35:46Z","type":"item","id":"Q3113787","labels":{"en":{"language":"en","value":"Named models in coalgebraic hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999734"}},"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":"Q3113787$392D0022-1170-4296-91EF-FEF0133B212F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523ab212666107518cd49640fa69f597e735778b","datavalue":{"value":"1230.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$3865E89D-2742-493D-B952-DACD099B4460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113787$A6FF6B03-D76C-4072-B8E8-7B40E14DD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113787$49E33BA1-3E40-485B-A1FC-BA1C5F6B5E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113787$274DE358-631F-4A5D-93C1-2E675DAB8ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"501a1f8b95189783d02debbc4295466eb1a91be3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2123.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113787$AB323FE5-71F6-4D85-BA1E-5644F979F151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$FECEA399-110D-4320-B899-1E43D24651E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$60C738CA-C993-48F6-9EFB-C4313756CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$0E789094-225E-4892-848E-099F44850D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$418696CC-AF97-4181-A4B1-B0E10ABA6A06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48b3abc9bf8e35da7c80658bdb9fb16683478ef0","datavalue":{"value":"5999734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$647ED1C4-5E48-4180-BF5F-489ED67AF9FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113787$8C29C7EF-9969-4D44-B3FD-F78AA1918E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113787$8CE55195-60AA-4264-89CA-AEEB8FBF53E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113787$0CF49ADC-1442-467A-B0E8-7991A776E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113787$892EA32F-7EF7-4490-9F5F-7FA7B4608555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113787$3FC207A3-B7C5-46AB-B7B8-F9ADF2EF65C2","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":"Q3113787$77E12299-97C9-43DD-BA32-BB6059E5E2E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ad9406b1731006b3f59f950ff60532bd46d0d4","datavalue":{"value":"W2113271515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$2234C929-EA9A-454E-840B-9938EAD20E81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a52f5abcd247eb47c408402211739bbe8d786e2","datavalue":{"value":{"text":"Named Models in Coalgebraic Hybrid Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3113787$F1FA6C2B-90DB-41E0-B311-4AB962D0F64E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6b5d9e7f7db2f94c4d03463a00ce2df359a1184","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113787$AF400CC8-E809-49BE-908A-498F7494744A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e11462c67f907669c47585f3bfc53eac22cef68","datavalue":{"value":{"entity-type":"item","numeric-id":3617726,"id":"Q3617726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd40ef11d1da696044628a2bd81a9d5af1e847c","datavalue":{"value":{"amount":"+0.8539384007453918","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":"Q3113787$CD8C71E6-492A-454F-AEB1-34D1AAB2FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecab755ad0f4db37a6a96d088c6e98f6c2ec9667","datavalue":{"value":{"amount":"+0.7569999098777771","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":"Q3113787$C156D321-38F9-431E-90AE-F8022B6A4694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceec0d2118eb9401450fdcd74bbcf9e66a1449a9","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69469a02e4f885b9b9e48e66abec77459a0070a2","datavalue":{"value":{"amount":"+0.7564296126365662","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":"Q3113787$A9009414-D868-4BC6-AA1F-30179284F2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08e42771bc473f4f7f0ebc81fe6363250ce349a","datavalue":{"value":{"entity-type":"item","numeric-id":3090878,"id":"Q3090878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0711520a0ce49ed09117d62ee503bf49c1d484","datavalue":{"value":{"amount":"+0.7428476810455322","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":"Q3113787$C4205689-3D05-4063-AED1-B7B35D3862E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b88658ec81baff899505eb34614f38021aa803","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e526f3fd461c6306248b268d6039887b38d3cf","datavalue":{"value":{"amount":"+0.7416079640388489","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":"Q3113787$62B08C9C-1353-40CB-AFCF-43DEAF2D8561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Named models in coalgebraic hybrid logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Named_models_in_coalgebraic_hybrid_logic"}}}}}