{"entities":{"Q6909860":{"pageid":20961049,"ns":120,"title":"Item:Q6909860","lastrevid":84162137,"modified":"2026-05-12T18:43:00Z","type":"item","id":"Q6909860","labels":{"en":{"language":"en","value":"Characterizations of two basic hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111856"}},"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":"Q6909860$5A7B4EB1-693F-47BF-BCA4-C18DD57AF454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5290711dd6d2af524d180c744d43be6e6eece324","datavalue":{"value":{"text":"Characterizations of two basic hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909860$BFAC204C-7E55-4A86-BEC0-C91BD2CA44C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46d9fbcf02d338df1e3f674c5157bb94039a91a8","datavalue":{"value":"10.1093/LOGCOM/EXAF025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$8132880F-5B01-47A7-A45D-8F66A1B2F5BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$11C1F1A2-C7B1-41C9-B334-FB08F4B70896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$99C268F5-CCF6-4B33-80AC-171CB4DB1AB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909860$C16D3C58-3662-4BDF-A9F9-EE3922CE0FFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$4D78AA98-4BAB-4B8B-8FEE-D3F7057DC31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$9D3499AD-7EB6-4D78-BF40-0703C70F26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$2A9E0822-CA10-4B79-B277-B6EA0BC13D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$ED662B39-9C22-42C6-B543-8673338395FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$8F078D5A-D5E8-4073-8CB9-D220585C844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$65F5D505-CFC6-4628-A6CD-ACAE5156B987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d022de2e5a16aa78d5a67ef44734abd4830b2e3d","datavalue":{"value":"8111856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909860$139BF211-39B8-40DC-B3A2-F2A0BEA5B98F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$6BAE8C82-6AA7-4CF2-96B8-86A4593B63CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$86BAEFF6-3403-4431-AC7E-EF96EBA825FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$98A80CA6-B26E-4DF3-AC65-F0B98AF4684B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f54612b8997d237b9b45084759de5792a34320f0","datavalue":{"value":"van Benthem-Rosen theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$DB273EBE-3B90-4BCA-BBF7-21CF044ACD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c6e975bb272dd45ca955ef36328c072ccfffd4","datavalue":{"value":"hybrid logic characterization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$472268E8-218A-4431-B1EC-8A83948C13A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$A07FF092-A54D-40B7-80FE-0A895E4BE68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75ab1250543538c2e7fac1c366f4c103a591d77","datavalue":{"value":"bisimulation-closed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$4FD61219-2CFD-47C3-B4AB-C58C1F70A1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909860$8B58B2AB-5DC3-4D9D-9448-3BA27FAE05E3","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":"Q6909860$66CC59E8-F97A-4237-B8BE-0628EAED17BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3680f4bfa183c6a0df7d6882ab277d3057831b","datavalue":{"value":{"entity-type":"item","numeric-id":6583998,"id":"Q6583998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$A989EDEC-675D-475B-AD98-B265FE118DB8","rank":"normal"},{"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":"Q6909860$EDF8EF90-3CD7-45FD-AB11-3C367BEF8321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62771026789094b7d2d393d18cd92e77cd4f238","datavalue":{"value":{"entity-type":"item","numeric-id":2453534,"id":"Q2453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$90280FC7-E787-4972-88C5-0935025325B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b51d495a3dc93818bbf62a39d70f4f89b18d75","datavalue":{"value":{"entity-type":"item","numeric-id":6879479,"id":"Q6879479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$02E55D3D-0ECF-45AF-9A44-3120965E9899","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":"Q6909860$ADD17CE6-C948-44E5-B85E-602B02BE8B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$F0C25F81-5488-4889-A400-80ED923FE35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$DFD2860D-E46A-43EF-8C44-761839F637E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$66422495-6C2C-4D2E-8061-5236C1E46EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$F2042170-4817-4981-A76F-C9472F1B383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36027ada41535a47691dea2855f65f2d26c1c670","datavalue":{"value":{"entity-type":"item","numeric-id":3577744,"id":"Q3577744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$9FCF395B-A54E-4A3D-8792-9A02364EE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93970932bd7f6d4c83da854c59f14484a5035e8f","datavalue":{"value":{"entity-type":"item","numeric-id":3617726,"id":"Q3617726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$304DD53A-A55C-422B-84B7-D235F73D6823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f82cda58a137c8f72c5a96cd5b5ac98dff35e3","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$DA80EEFF-225B-486B-ADD4-3662C5559B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$CD347EF8-3F16-47E8-B18E-C3855490C58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568e0b625bf9e7e2f1c37f98764cb60ef3c45153","datavalue":{"value":{"entity-type":"item","numeric-id":3113787,"id":"Q3113787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$C64E45FA-6973-4A39-B317-17CFBB0DF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144cc564291ba706488e82118523950ed162c522","datavalue":{"value":{"entity-type":"item","numeric-id":2983396,"id":"Q2983396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909860$185599AE-758D-4BEB-BB46-4085261611B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizations of two basic hybrid logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizations_of_two_basic_hybrid_logics"}}}}}