{"entities":{"Q631084":{"pageid":632932,"ns":120,"title":"Item:Q631084","lastrevid":63104796,"modified":"2026-04-11T10:36:41Z","type":"item","id":"Q631084","labels":{"en":{"language":"en","value":"Axiomatizing hybrid logic using modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869148"}},"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":"Q631084$1CA6DDEF-A790-4DAB-AE4F-BAEFCCB0FC6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a75c9d67f40f235b28fe9ec5ba4b2752c7b2d459","datavalue":{"value":{"text":"Axiomatizing hybrid logic using modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631084$540FA71F-9F7C-4EDB-9B1F-E6878022AEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04fefbd2b0fa8bffa7ce8739247d7f6917f21a2a","datavalue":{"value":"1215.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631084$F5692162-31E9-4982-97D1-AFAFDA1D4077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"176885a6903d157b55abae0e44a45cba45cb9427","datavalue":{"value":{"entity-type":"item","numeric-id":631083,"id":"Q631083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$AB2B20C7-89FC-4C4B-BB8B-D40C851AA206","rank":"normal"},{"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":"Q631084$C329A20C-3E65-4ECD-8DAD-FCFAE68574F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$D8E14271-379E-418D-AC8A-D8F122BAD3AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-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":"Q631084$60B6799F-751E-4F15-97E3-AEEC5CC10801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631084$A5C4702A-D973-4345-BBB1-C24C4C4CA637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fcef5497f4639cde54a37384d3e2ccc36760444","datavalue":{"value":"5869148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631084$37960449-40AC-4BDF-8EDF-9A78E83CF674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$48A734F4-DDBE-411F-BDC0-99B0C5DA77A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8ea0ad4b9ece989d5fbf7a822f963737a3780a","datavalue":{"value":"quasimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$D76C2D80-6CBF-42A9-BE9A-248875BC6E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc05c42e07fc2092ec514d9aef291cef1996d7b","datavalue":{"value":"nice frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$0F4F4B4E-7AE0-48AA-A716-1B936A775261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00274f9980aaddadfee111b580eba647836378c4","datavalue":{"value":"McKinsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$D3C061C1-DCFA-4A9E-AD0F-68257E98D367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e00c0c446c2631d23b5db87b131ae24f7e093fd","datavalue":{"value":"Lemmon","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$FD7EF44B-E2E7-4229-BD91-6E666D07CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af60219a6702392f4ee4a1db3b8a6915f6523325","datavalue":{"value":"Hughes","type":"string"},"datatype":"string"},"type":"statement","id":"Q631084$BC35F9FC-EF40-4C82-BBDB-10A9357EAFA6","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":"Q631084$DD836793-88B0-432B-A3AA-520F2534DD39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"646e25282aead5cb66bfaacd6311953d023b86ea","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q631084$38CD0B84-E343-4292-AB4B-C8D3B328B0EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4afbfda38f4481660e15caef0905d1e862b7de27","datavalue":{"value":"W1989194874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631084$04B05D76-77B5-44EF-9A6D-451A4F43CEF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57c597c053f61f389639b21ace32fb627519dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3509046,"id":"Q3509046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$D40B2993-B234-40CB-9191-CC2959F1DC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$6CC262A9-6265-48F6-B6C9-983EE7F53EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d519bf51323299881b4ad216526b3b33bcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1906001,"id":"Q1906001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$25CFF89E-8FF2-4CE4-8092-4F19F9331998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a04e3553b191b8cd2368a3c4d1e864097608f5","datavalue":{"value":{"entity-type":"item","numeric-id":3629226,"id":"Q3629226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$795842B3-0BBE-448E-AE64-787B14FF8299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e2e685ff91daf374637bf6479502e645e02ba","datavalue":{"value":{"entity-type":"item","numeric-id":2372681,"id":"Q2372681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$D54CEACA-B6C6-4355-835D-66C74038102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba803a897ceb6676110693ed7004509393a7805","datavalue":{"value":{"entity-type":"item","numeric-id":2639844,"id":"Q2639844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$60CF0A82-A6E4-4847-8ED9-97ECF7E3DB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$2AB39BE1-BB35-4D3E-B3AA-761CF6C02E0F","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":"Q631084$44F8193D-D022-48F0-B8A9-D1E556758B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb31a4d62b5fdee2a7225c8d98c6eb3229564b1","datavalue":{"value":{"entity-type":"item","numeric-id":4065515,"id":"Q4065515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631084$BFA889E2-0202-4752-A979-A2F474B0C2C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14767f48b3b0261e1359bb57f7a5e3b031f1b857","datavalue":{"value":"10.1016/J.JAL.2010.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631084$E991DB06-1F70-46E2-AD8A-EF6930F87566","rank":"normal"}],"P1643":[{"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":"a0c97bc174875f15113787c78891db1dd1ed5faa","datavalue":{"value":{"amount":"+0.8368738889694214","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":"Q631084$AB741C7F-B22B-48A7-A38B-79F1A25915D5","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":"5958466d5ed773d0084e25042678becdc305248d","datavalue":{"value":{"amount":"+0.7597086429595947","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":"Q631084$D5EB19D4-3E0C-4C63-8CA9-0CDEF91374BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daffd5e4c6bec4907d3d64130efb9de5aec8997b","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86d93462ab4168ec3d4a64d8475e47728e128e4","datavalue":{"value":{"amount":"+0.7582592964172363","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":"Q631084$6F08ABD5-F1A0-4B12-BE93-0E554C6E4CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016f2e7132a797ec59ff79678ad1db1e19b2ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d32992ba42a1e578c993b80db3fa7ceca8be284","datavalue":{"value":{"amount":"+0.7563722133636475","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":"Q631084$E09009D4-3C10-4618-854F-B6C632AB5A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3528cd5e0673244891653adde24615d913b593b2","datavalue":{"value":{"amount":"+0.7541831731796265","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":"Q631084$8DA15906-CC4E-43F0-A7AA-C6EDFA60752F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing hybrid logic using modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_hybrid_logic_using_modal_logic"}}}}}