{"entities":{"Q5382581":{"pageid":7412155,"ns":120,"title":"Item:Q5382581","lastrevid":92568560,"modified":"2026-06-05T02:02:31Z","type":"item","id":"Q5382581","labels":{"en":{"language":"en","value":"Analogues of Bull's theorem for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067263"}},"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":"Q5382581$0D50468A-33E4-473F-A462-1E8BF8B9F901","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baacbbad25ccbd9fa54101bc90826f2c91407ce3","datavalue":{"value":{"text":"Analogues of Bull\u2019s theorem for hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5382581$081C102D-085F-431E-8A89-4F188B74B333","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":"Q5382581$D7AF4BE6-1D77-4732-AA3A-FE8D131DB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e17daef230e44883c97d3dc6b801fb9fd24a5702","datavalue":{"value":{"entity-type":"item","numeric-id":2035341,"id":"Q2035341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382581$0E257DBD-B55C-4277-88B6-45AF8F52178A","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":"Q5382581$B9700FE4-7B11-4E2F-94CA-BCAC5F05E4F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5382581$1A0E6492-8EBD-40D6-BCB9-E4A56870E288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382581$340A295A-B8E8-4AED-89FE-F09FE746F18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382581$4535D9CF-FB6C-4586-BEC4-78A80E50E085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4948d4fe0f970f8ca7c294ae5c1b65ca30a732fc","datavalue":{"value":"7067263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382581$1E22884D-D789-45ED-936D-60003A751425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382581$7E267149-34FA-4BCF-9BD8-BB1782CCDCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382581$1AA3856E-D0FE-4A4E-981B-C3635E85668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08223614b91574d2749abf7875512eaf621f589","datavalue":{"value":"hybrid algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382581$8DBC3FE2-818B-4B6B-990D-FA3EBD6A3B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d46c1e83c288df3efdf9753ba5d2a5ee3c4714e","datavalue":{"value":"Bull's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382581$2B47AC55-8777-44C4-95FC-5C687FC1BD17","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":"Q5382581$90EB1BD9-5F09-437A-BDE7-9D0A3186AD98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"656bba16811f9c9030e69cc28b9a35fb51bd89be","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy039","type":"string"},"datatype":"url"},"type":"statement","id":"Q5382581$B7DAA52A-92D1-4FE2-963E-D2C7B72C78EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbf0c5605b5ad5273b38c75d145f1038c141f477","datavalue":{"value":"W2893764095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382581$063B07D2-AD7B-4A2D-BFDD-2044E6782B70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e088c3dcd07676d3294bf45bad5ecdfb901178","datavalue":{"value":"10.1093/JIGPAL/JZY039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382581$5D59976C-6582-4DA7-BA5E-61D60FB82830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f586a3486a76dfb77bc4d0e43b6168f099571689","datavalue":{"value":{"entity-type":"item","numeric-id":1288961,"id":"Q1288961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b88ddc40202d3ca1f2e12595de54d3cbfd4fdd2","datavalue":{"value":{"amount":"+0.7469865083694458","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":"Q5382581$F59E1606-08BA-4523-8191-3D43E06F3852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73981feac23e1b43f27f9ea749301212daedc8ec","datavalue":{"value":{"entity-type":"item","numeric-id":2867949,"id":"Q2867949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b88ddc40202d3ca1f2e12595de54d3cbfd4fdd2","datavalue":{"value":{"amount":"+0.7469865083694458","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":"Q5382581$8068DAA8-60C6-449D-BEF9-85489109AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0ce4fe78c09913d431bbf88e272565f3b5e11","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c904cd757151058e9cfb52a711e8d62b979bbb7","datavalue":{"value":{"amount":"+0.7441291809082031","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":"Q5382581$3E9A618B-D5D2-44CE-8E61-D23437A4A294","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":"b3a878c56a968dc4790809bc8efb5ab27fb22940","datavalue":{"value":{"amount":"+0.7217758893966675","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":"Q5382581$37A96DD9-DD34-43C5-BA96-FFC12CF12714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da7cd8378ffd2d629d6a28f0e67f0cf1c5dc057","datavalue":{"value":{"entity-type":"item","numeric-id":3195619,"id":"Q3195619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4be2f86de8cc67b39c21f258c52570be5e2ada","datavalue":{"value":{"amount":"+0.713063657283783","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":"Q5382581$1036B207-DA47-44EF-864B-E2CFEB3F1AD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analogues of Bull's theorem for hybrid logic","badges":[]}}}}}