{"entities":{"Q5877706":{"pageid":7907257,"ns":120,"title":"Item:Q5877706","lastrevid":93350201,"modified":"2026-06-05T04:15:25Z","type":"item","id":"Q5877706","labels":{"en":{"language":"en","value":"Algorithmic correspondence for hybrid logic with binder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7653982"}},"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":"Q5877706$3DD37B96-536C-46D8-A907-1CC4E8DCA7FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d324511cb8fc3e125f53eb9be87948cbdfa99004","datavalue":{"value":{"text":"Algorithmic correspondence for hybrid logic with binder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5877706$12873CD3-31C5-45D3-9C70-3A56D4D99E59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877706$B82D3EDF-538C-4721-A560-7603055B847E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5877706$9868234B-4005-471B-9430-AAECF3E599F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396d6589ca4ee5b017db072a4b7a874460ed3465","datavalue":{"value":{"time":"+2023-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5877706$71BE257A-CF4D-4AA5-8F80-566DA4D35356","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21ae858ac8b5f27c5d626a63a862b8ef326b161a","datavalue":{"value":"https://arxiv.org/abs/2102.13291","type":"string"},"datatype":"url"},"type":"statement","id":"Q5877706$0756ED1F-3F6D-400C-8FD0-726183921D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877706$97E5B4BB-B1ED-41CB-B30A-B7BE520FDD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877706$83579F56-C96B-4581-B447-79C4E0DD4F31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17307804707c1d8a42d6668e70935fd10e12b911","datavalue":{"value":"7653982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877706$E8BF52C7-52CC-49E5-860C-996F2886C5C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5877706$392C65DB-AF9A-4655-9580-38B71DD3C630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf711bf27584fd327cba048153f5f496cd090dcf","datavalue":{"value":"hybrid logic with binder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5877706$F8BC8EFB-33A3-4B74-A9A3-D8F33ECCF28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca33ff75e7e2cd792571979ef7f952d076325376","datavalue":{"value":"ALBA algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5877706$A904B6A7-B671-4838-B5EE-250EE23AE57D","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":"Q5877706$08ED74A8-F951-4845-8976-B99AD524EB59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51c6d5d7fe813732e724b449139b9c94236e9877","datavalue":{"value":"W3202771258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877706$23611A8D-CFF4-45BA-99B9-B291797303D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c397f9ec118a9b46c2907e77f6e535b22377842f","datavalue":{"value":"10.1093/JIGPAL/JZAB029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5877706$57855047-82D0-4B3A-8ECC-B2B1B1B7D6F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea8d8165302dc2ce23bf39f392b37c4a3acac3","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4692fba6e1cbd3ad072adab459905c53307339","datavalue":{"value":{"amount":"+0.8171776533126831","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":"Q5877706$B5A7F16D-BC2A-4149-AE29-D93AC2A60D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278f70e0efa85f7d20acd9bce998d5b5447502d6","datavalue":{"value":{"entity-type":"item","numeric-id":5459188,"id":"Q5459188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ec675a96ed11f12be1a3792a8a7a2a6062b68d","datavalue":{"value":{"amount":"+0.817143976688385","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":"Q5877706$B04812D3-1B33-4BE5-B455-57122E017E14","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":"9a893d7a27625359fc7472e39d472fb44b54b459","datavalue":{"value":{"amount":"+0.8115173578262329","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":"Q5877706$7874E343-4E76-4B8F-9D56-810303D43F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355485221907b9c0823e7b7e6b114a60da9cab0f","datavalue":{"value":{"amount":"+0.7784620523452759","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":"Q5877706$9CC24771-2264-4F21-ABB6-335202D3C503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50534d33b4a5aeca091ac50e71127f2eb42e44d","datavalue":{"value":{"entity-type":"item","numeric-id":3577744,"id":"Q3577744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56130926d2ff26578459d7f6994f3ad584d9f7db","datavalue":{"value":{"amount":"+0.774925708770752","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":"Q5877706$0916D3DF-915C-4615-8E8F-05EB9DC4FC1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic correspondence for hybrid logic with binder","badges":[]}}}}}