{"entities":{"Q5902295":{"pageid":8011245,"ns":120,"title":"Item:Q5902295","lastrevid":102016187,"modified":"2026-06-06T03:19:00Z","type":"item","id":"Q5902295","labels":{"en":{"language":"en","value":"Terminating tableaux for graded hybrid logic with global modalities and role hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640970"}},"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":"Q5902295$0327235F-39FF-4EEE-B229-C3D6A065BF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b4d560ad94c03880fa572f3fbf41115e572570d","datavalue":{"value":{"text":"Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902295$C4DCBBD1-49DD-4512-9F52-2069E5193275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"952e083ae2d4bf90f8c6937e49e0340dc7625635","datavalue":{"value":"1218.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$A8341215-1DCB-4DED-AA68-AEA8730FFDF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eed78228690d78fe2706a609ba15afcfdce31498","datavalue":{"value":"10.1007/978-3-642-02716-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$1E497746-2B72-4257-820C-11859A15C565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b6965f702c25ca4aa2bb1fe3823f82e953c560","datavalue":{"value":{"entity-type":"item","numeric-id":286084,"id":"Q286084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902295$8987ECBD-75B4-416F-9732-4409F7141575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"100490b5d0f37ecb293a78b85d8f7135c6312edc","datavalue":{"value":{"entity-type":"item","numeric-id":1687760,"id":"Q1687760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902295$1B97B631-A656-4226-802A-83448516ADE4","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":"Q5902295$1ABFEE85-CE52-4298-8162-43850993D071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902295$BA866E8A-1CD3-40CA-A533-06EE6E8270CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902295$0CB2DE45-2A3B-432F-B7A8-96A8FBA12C1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d3c4ef9ee2d6c2a8d0bc03cd45f42a1174b138e","datavalue":{"value":"https://arxiv.org/abs/1012.0746","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902295$B9B8DF57-21CC-4090-AA44-F64E4C1DD4E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$BCABCF29-34BF-4F39-B3B7-53F49657F473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$FC626412-7AF6-467B-917C-252E27E1F4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"780c42d24f6a4ebad3135713ce49de86680b31d8","datavalue":{"value":"5640970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$110CD112-AF9F-444F-9067-35054CAD2865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902295$A1A25745-58C6-4FFB-9860-DDBBE5366BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902295$B6620622-69C7-434D-A2C3-5AE7A93F6145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902295$F67768E1-EADA-4928-BC19-6505AE147C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902295$0710FA60-DF2C-4023-81DD-44DA2247C448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1009f1c2f7d8b68cb6b46cd558c1fe1ee56cc23e","datavalue":{"value":"complexity bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902295$EC7CEFD2-72E0-46FB-8340-A4A63684BAC6","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":"Q5902295$E4D507DB-CCB9-44FA-8332-E661CE2D6235","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68c53f83d072dca24b17ebd2858aec02222d5164","datavalue":{"value":"W2144102914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902295$C58BAA4F-E0FA-452C-8FA7-9F239CDB39B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1115f4c7142b9d2291e047dabf27c136a2a91f0","datavalue":{"value":{"entity-type":"item","numeric-id":5892513,"id":"Q5892513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf6698816ca4387885988eca34bc0535dc80623","datavalue":{"value":{"amount":"+0.9999999403953552","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":"Q5902295$BE0BEC3A-69A1-4B82-AC41-DE4ED7833AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c70343cf1313c72846a12d900a44627f3b6924","datavalue":{"value":{"amount":"+0.8523205518722534","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":"Q5902295$763209BF-4E58-420C-AD30-D96909E56A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe63fef61b0fb8dd0117de46000b3f1c599d4ce9","datavalue":{"value":{"amount":"+0.8374588489532471","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":"Q5902295$DBDF962B-329F-433A-8DE5-DB2E33582E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2712e0a93d8fe416eccc8defbaa30fc711ccef64","datavalue":{"value":{"amount":"+0.835552990436554","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":"Q5902295$4D362CF5-E9E5-40B0-A755-801CE0A9763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac70c152169f0947abd4ded9c44fcd545c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2351166,"id":"Q2351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44542983228eded1c49d913778b4a15eb658690e","datavalue":{"value":{"amount":"+0.8345848917961121","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":"Q5902295$552EF593-737E-40E5-AAD6-0FF2E588BD23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terminating tableaux for graded hybrid logic with global modalities and role hierarchies (scientific article; zbMATH DE number 5640970)","badges":[]}}}}}