{"entities":{"Q4982120":{"pageid":7011698,"ns":120,"title":"Item:Q4982120","lastrevid":52231580,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982120","labels":{"en":{"language":"en","value":"Completeness and correspondence in hybrid logic via an extension of SQEMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418740"}},"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":"Q4982120$09337188-5370-4FD4-B73E-825F40F0B018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34895847415c8c39358e530e66a6aba711c81290","datavalue":{"value":{"text":"Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982120$0839FF9D-982D-478B-B244-9F7454B0C474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ad5f0f12114e8c60220695414472c87914c1fc","datavalue":{"value":"1347.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$F501C828-0E27-43F1-931F-BB33DEE1B184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$C117EEB0-BD3A-418E-AFE9-5DA1E9D008B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$437DCCCF-775A-4B5B-9979-8CEDF185CBF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982120$510AD1BB-DB54-466F-BA55-C6689DE1B32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$386061D1-4DC4-4829-97D7-666B5CB3F113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$676727A1-651F-44CC-8DAC-FE580D318FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$7B877812-8210-45CE-ADB5-83102BF839CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$F715049A-7665-4A2B-AC5C-6BADB61D79C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a7fe2ada1a902e23cb25d9ee416f7907895e4d","datavalue":{"value":"6418740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$4EEBBF9B-3371-4CD6-90E2-7C8815051631","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982120$9872CA97-5C69-43A1-AEA2-323EAFD5408D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ee3fa61c42ca5b815448288eb8709b7cbc2e0b","datavalue":{"value":"first-order correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982120$B16C6F92-67E4-4BE8-85B1-FAD5A0F4A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982120$6DDABED2-C2D2-4D30-9CE3-A6F42702B128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1252069ff278cbe62679e458fc74ba86bda4a4","datavalue":{"value":"Sahlqvist formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982120$82E3073C-8304-491E-A580-500884092D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf26d47f35f7f256037dc95d7d5a101451e2d10","datavalue":{"value":"SQEMA-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982120$F04BD1E7-EE79-453F-A36F-78A59ED7D958","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$570C8AFF-CB3B-4DFB-B06C-0851DBDA770D","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":"Q4982120$994F21CD-6CD0-4ADC-9753-D8BB30520F0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6dcd58e579518466e685d50cc7905828bf516a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982120$60CCBA46-D01E-49F7-87B1-421E58622F3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ce0d244879379cea39a2ed07e5a326ec7381aa3","datavalue":{"value":"W2066519065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$9D837F05-AB9B-4151-AE1C-D0C4208D4CA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$05F809A2-DF87-4867-9881-894B9133C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1395c744df1ca2360889ea7b358c8120b328a3","datavalue":{"value":{"entity-type":"item","numeric-id":4873968,"id":"Q4873968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$12C22B46-0D13-4520-847B-F41B96C17D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48c0961621e4305d3b815cca22b306bbde9de93","datavalue":{"value":{"entity-type":"item","numeric-id":3647241,"id":"Q3647241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$00F3675F-3F33-4717-9370-7FE3D222FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$680DF2BD-54C4-4F5B-9962-85A9F3CD2F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1f554d4f6e144778576d6a62ab834bc544f","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$2791FB31-8E79-4017-BB4C-C48EEA1983DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$52C313FA-9821-4B26-8348-D09B7E5F0E10","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":"Q4982120$6EC460A3-3598-4BB9-B830-CF484084F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$B9FBC0B5-26A4-4B6D-B05F-B39853BB8F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$5C1A4C00-7E14-4A1F-9AF0-90D0D5B8C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$EA62C58E-B0E3-4669-BC58-16C0B89F956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$CB3B0BD1-B222-4911-80EC-B76CFD38B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$F6477F07-47CC-4DA2-9F22-32441DEF1AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e98956eb0e9a29848be95bf5e3ba04cf2505e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$FE54E477-3ED0-4395-9EF5-83392D0D27A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e39f652d0e6f631d7d8d06a29e27d73daf67d7","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$B06BAAF5-0A72-4938-88A2-2BEAC72F9422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982120$C241B6FD-9A3A-4589-A2AB-90C61C704D5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae186128e1e1090edd275768bd0cf162d1f93d99","datavalue":{"value":"10.1016/J.ENTCS.2009.02.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982120$EBF0B6E2-372D-4395-91F0-2F5AC9377F43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca32e838e7ade0031addbe2e5ffa7bb4ff03699","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85722d0064a1f7f5783ac991a3d91b2d36296b07","datavalue":{"value":{"amount":"+0.8746992945671082","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":"Q4982120$C61A9F34-97F0-445F-AC2A-6379CD44CEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226a51c741adc5a4c4b8ee9f6d388ed76827d62d","datavalue":{"value":{"entity-type":"item","numeric-id":2983399,"id":"Q2983399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336a33cbfa3dc27d33b0590dd0f803cfa34dfbef","datavalue":{"value":{"amount":"+0.842860221862793","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":"Q4982120$7E2A4406-F04B-48FC-811B-ED8B4AC66CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3104510586189b966c4dad2fcc28b2067c4ba8a3","datavalue":{"value":{"amount":"+0.8372197151184082","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":"Q4982120$D6BC1A93-A20B-4410-9870-670449DD263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abf329cf4bf7213bb8150816ccf05987d4b0a1a","datavalue":{"value":{"amount":"+0.830025315284729","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":"Q4982120$FED741F7-0922-4DEC-8B93-8C63DC69E48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c198fa2cb4bd890f55d6326bc117a8d42381a79","datavalue":{"value":{"amount":"+0.8257472515106201","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":"Q4982120$1DB25E2B-1718-43E6-8F57-5BE53FD2CC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982120"}}}}}