{"entities":{"Q631081":{"pageid":632929,"ns":120,"title":"Item:Q631081","lastrevid":63104769,"modified":"2026-04-11T10:36:40Z","type":"item","id":"Q631081","labels":{"en":{"language":"en","value":"Justification logics and hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869146"}},"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":"Q631081$A77F1F39-F2E4-4640-9FE9-ADC2BE20D1B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4244067fd10f4531a9e86771d7f7855c558e8c5","datavalue":{"value":{"text":"Justification logics and hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631081$5C6B7A57-FA60-46C6-9F70-380D18F87B40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27e0038e6f77069c1d54d33734b3f849221336f","datavalue":{"value":"1215.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$303AE2D2-9EB0-48A3-B3FE-78F21AF9C21B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$A66E228D-4E90-4471-9CBD-77BB8E087458","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":"Q631081$22188E51-0DFB-414D-8937-B199C6A439EE","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":"Q631081$46171D11-6C0F-4449-B8C4-85A5D27B229E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$75B1E8B2-94C6-48C8-ACF9-45525E380390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$E300DDF2-3E67-4B6B-8922-98A8AA12A78E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0d6e5b9955c6ab2f8f17c8ed8e2cc888f386240","datavalue":{"value":"5869146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$A337ED0D-5871-4E79-84F6-3B57C9D340E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631081$B5AA871E-C433-4810-ADF4-134DA1B798B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631081$7C445EC1-D028-463D-9E6B-46A7FF300259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q631081$97074C85-9331-46E2-97BB-0AC991F237FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q631081$040CC1EF-0C2B-4808-B9A3-BBBF46DA772F","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":"Q631081$C099D49F-406F-4198-9DA1-9630FA3E2115","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1048cdc9fe4cbbb5e1739adc085f7352bae7d9f","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q631081$5B3C7067-38EF-4806-988F-97F2A967C0A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"990fac74ddae46790d9a601d1dcd930b28d44742","datavalue":{"value":"W2059205954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$DAF67C3B-8CFC-42E2-A9CA-2D114A51EB7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$70CC8011-EB2B-4321-A928-5461FE411CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$C4D87F83-F9A7-4C27-AE2D-528AF7BCDC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$55518458-9E1C-426F-9F36-E51F86A1766A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$0FB9557E-1BBA-42C0-803B-AD91BD14F826","rank":"normal"},{"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":"Q631081$C62F1FDB-6310-47D6-B5F5-7904DAE44EF4","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":"Q631081$EEA9A7F5-DC6B-4620-944C-5C80D1CFEB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$7C90362C-FFCD-4993-9003-B036FA24F8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$F8BED743-A7AF-4E01-B6B9-AD8334427A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb98a98584fad26680b80d377e740ad3430b36a","datavalue":{"value":{"entity-type":"item","numeric-id":5727646,"id":"Q5727646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631081$B343A870-0FC0-4035-8579-B43EB42F01DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cdc01127ac908a10a44278f43f3aa8b553f572f","datavalue":{"value":"10.1016/J.JAL.2010.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631081$A045C200-73CF-4AD7-87A0-A6F3F4580095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ecb5be5b69fe94da51eb783f5f75b147dac48d","datavalue":{"value":{"entity-type":"item","numeric-id":5213663,"id":"Q5213663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9c3b09156ddd07b757b6a6c460a719e4ca256f","datavalue":{"value":{"amount":"+0.801605761051178","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":"Q631081$075BD0F9-E72D-4EDE-B03D-80974C4FB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3ffa4c8cb352e05d535d18be7d7bc4bde759d2","datavalue":{"value":{"entity-type":"item","numeric-id":6111085,"id":"Q6111085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45ddda97a23ade05dafc16a94e7e7c43887a5a8","datavalue":{"value":{"amount":"+0.799248993396759","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":"Q631081$964286F6-0DCC-4C85-AB62-CAB218324BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec1bcf02f393b5fbd45983af79356ab89fb1b43","datavalue":{"value":{"amount":"+0.7979269027709961","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":"Q631081$F7B19485-E01A-4C19-A042-57116BCAB99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da7c1721066b69907c0ea349a19eddf3a0fa2e0","datavalue":{"value":{"amount":"+0.7763994932174683","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":"Q631081$D672AA8F-36B2-4937-8E6B-41E27CBDD640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78571396feeebfe846884369ea8a5cd30bf4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5377318,"id":"Q5377318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc779aa754af07db4715f0b52b1c11a952bb2bc","datavalue":{"value":{"amount":"+0.7728848457336426","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":"Q631081$730ABFF3-279A-4954-9116-BE1BE8BDE6C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Justification logics and hybrid logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Justification_logics_and_hybrid_logics"}}}}}