{"entities":{"Q3100197":{"pageid":3110912,"ns":120,"title":"Item:Q3100197","lastrevid":45450727,"modified":"2025-12-08T14:26:46Z","type":"item","id":"Q3100197","labels":{"en":{"language":"en","value":"Constructive Formalization of Hybrid Logic with Eventualities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977500"}},"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":"Q3100197$294B5CE4-0319-455B-A17E-0C89A6C557EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4039686abbad2c613ac1c328a5bba2d9b9805843","datavalue":{"value":{"text":"Constructive Formalization of Hybrid Logic with Eventualities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100197$18120A8C-23A8-4158-A072-D32EEE4C400C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"909d005a735e624d61a8ce8199eb057020c5ce7d","datavalue":{"value":"1350.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$5EA16600-7A97-4EFF-8ACD-C29D388D433B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb60227035ac7e37b51b8ed82fa593ae8814d8d8","datavalue":{"value":"10.1007/978-3-642-25379-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$D3FE44B8-95A1-4955-920D-F89B46B32A98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$DF4F87BA-48DC-4878-9BCC-823C58709AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$AAFD01E3-B886-4467-AEEF-0D2D2CF43045","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$887A7104-A39E-4BA0-8046-1FB21B3A6124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100197$96860812-33FE-43A7-AE43-24716368C1D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$385F2904-D782-4FCB-9D8C-4768CAF9AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$C74B78FA-552F-4386-9D39-E3533D06BE0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3423ecb1a9d8ce9a6c69b19b2ea418dddaf1f2","datavalue":{"value":"5977500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$315DA71E-1D40-4636-977A-107FC1EF8E55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$670C2E34-07D7-429B-9539-D0ED8D0FA93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384ec7dd953f31c4194991079e8b7f0f83c5bd1c","datavalue":{"value":"eventualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$451DB5CB-C631-41A5-B796-FDBD57AD2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7d063599eb6935bb25ac11601b73c8ac0a892f","datavalue":{"value":"small model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$3BDCC6B6-5632-4F64-8767-6865392F6ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$9BDE8C45-1199-4134-A74E-D6FA51A22A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$339A4980-4744-4853-87D8-06EF526FCEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0fdcef04bd18fdb2c1db8188d6e228ee53b085","datavalue":{"value":"Ssreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100197$07242641-7D06-4C0E-9A65-3B670AEBA549","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$EAB75915-DCE6-47EC-AFE1-24778533966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$E42ABD7A-68D5-4AAE-850C-40787DD2FE63","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":"Q3100197$5E47B1E2-6B8B-4E5F-9820-B5BF9DB6E264","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc83b7bbce7d06425c22e6989fcaba01056702de","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100197$73E2901B-CA0C-47BF-93F1-15FFD1B0EA54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66792a5a0e4f78c4bb6eb9a99d84e4164f97c540","datavalue":{"value":"W2200608472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100197$82187FE5-8A46-4C69-905D-31019C515AAA","rank":"normal"}],"P223":[{"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":"Q3100197$2D947352-5F69-4300-A32A-D0246FA90C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74a068a1ab71d4ef97685fc538b4f03d7a7a2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4247075,"id":"Q4247075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$9E488940-2BD3-4A07-B0C4-739983ECFE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$A3F20355-2C32-48F5-B54F-EEA05AD83F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$6650BFB2-0216-44A8-B7BE-74151E8BB650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$4798BE71-9B70-4BD2-A0C7-AB4F796DD1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$CBE62DF0-DE83-4083-8687-AC58CA866CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$359A600E-A6D0-44C9-9130-809271167DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d543e3d3acd20511f9fe89e53a99853752ecdb5c","datavalue":{"value":{"entity-type":"item","numeric-id":636371,"id":"Q636371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$67D9DC20-FC55-4495-A379-38EDDFC26ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec2568f4fb49cd31d8af7174cf456f4fdeb8249","datavalue":{"value":{"entity-type":"item","numeric-id":3010369,"id":"Q3010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$413676BC-BA70-4EAD-85FF-7D811143A1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1dd211c182dcc6f17ff4c9f496b9e4de9d61ee","datavalue":{"value":{"entity-type":"item","numeric-id":5747764,"id":"Q5747764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$87D460A0-F07C-4405-B6DD-1AB7FA71320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5d72d07cce88cdf50698d240a7171f3b8b351","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$BCD9F597-8590-447C-AABD-C407C3D2BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100197$F9DC89F6-63CF-4C05-95CA-84BAD5E93015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d2f0f7914c41f5cb59d061929b4fd96df9bb17","datavalue":{"value":{"entity-type":"item","numeric-id":5747764,"id":"Q5747764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c793765e8264280665460c5012c45804f08bb92","datavalue":{"value":{"amount":"+0.90198624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$6D58E0E9-311D-4B75-8B22-43D4EC8D73D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b4336f8b01bfca3f4b51d129e7099220676385","datavalue":{"value":{"entity-type":"item","numeric-id":4917077,"id":"Q4917077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ab70b6e929262a7977f0dea2982fc106491fa4","datavalue":{"value":{"amount":"+0.88848644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$495CF8D8-73A7-4EF9-A390-FAC1E691FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a67e363680c02d17936ed37d33b2bef54e39bf","datavalue":{"value":{"entity-type":"item","numeric-id":5190784,"id":"Q5190784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07334e6ccabd52eb23bbdd1034af9a82ecbe3af4","datavalue":{"value":{"amount":"+0.88624835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$6B6114E8-72FD-4CD1-ABC3-3237E104110A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8416295b0f7e94cdcadedf10503cadcce7e307","datavalue":{"value":{"entity-type":"item","numeric-id":2372681,"id":"Q2372681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8cdab9774d00b322494de4030b6ad6fe2e6187","datavalue":{"value":{"amount":"+0.8814733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$6AE7A43B-296F-4781-B60B-F015A771D03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfd9c1167cf02253bd4545c5aaafae6d1b8c3b1","datavalue":{"value":{"amount":"+0.8814585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$C99BDEC0-1218-4B2A-94A3-7A947E65CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d62b29d65b802a3ea75e46970dc08b7619182e6","datavalue":{"value":{"entity-type":"item","numeric-id":3785913,"id":"Q3785913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a75b3888f21dcff9bd5a6e1edb44bc9e354e29","datavalue":{"value":{"amount":"+0.88063955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$C86D8466-90FA-41ED-B98F-CAD63569E303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6107cf15f4c8e8003ccce8e8f7d215740d15325b","datavalue":{"value":{"amount":"+0.87325823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$7820EDAD-B552-454D-B678-B37F9980B306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c249304f80d136bd014375f500b69a9026915dc6","datavalue":{"value":{"entity-type":"item","numeric-id":5881449,"id":"Q5881449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25cecfb283e577e49652be11cf49303a48a36fe","datavalue":{"value":{"amount":"+0.8729496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$B58F59A6-5420-469B-BC53-075F39373B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0021b2ff60ff403e4eda1b7249d748643de6a770","datavalue":{"value":{"entity-type":"item","numeric-id":631084,"id":"Q631084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a95f5e169db01b42952f5c2c96ba10d596833d1","datavalue":{"value":{"amount":"+0.87291104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100197$F352621D-0E9A-45A9-A404-376A2DAF5A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100197"}}}}}