{"entities":{"Q1580652":{"pageid":1591392,"ns":120,"title":"Item:Q1580652","lastrevid":47509288,"modified":"2026-01-01T22:46:48Z","type":"item","id":"Q1580652","labels":{"en":{"language":"en","value":"Axiomatizations with context rules of inference in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512003"}},"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":"Q1580652$3F2FF826-F5CE-4AA5-A5EB-B9467AABAA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"effe5a195b06974e1cb62ae0655376f26dc8cdce","datavalue":{"value":{"text":"Axiomatizations with context rules of inference in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580652$2515B1A5-9301-490F-9274-B9AE3C8D7E31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f51fcde56eba817d27eee63c7a45c061d928654","datavalue":{"value":"0962.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580652$DE1AD5CE-4F86-47C2-87D9-3E23E1C31BDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0192e4ea66627cf857d1e3f3866c276923f3e66","datavalue":{"value":"10.1023/A:1005021313747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580652$DFA4191D-A018-4CF9-A142-1586332968D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580652$D81C457D-ED37-4C80-B6A6-7AA54A75CAD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ef3f6560167740260a2d41c03e598d5baaf9651","datavalue":{"value":{"time":"+2000-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580652$7137C602-187D-4611-BCDA-0432770564CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580652$5F1CB4F6-2FFB-4D65-9019-31C94C6D53CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a81f684c255d52da1051fd80372932e546914fe","datavalue":{"value":"1512003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580652$9E82D4F7-0209-47DC-B0C2-AD7946286208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580652$42C6D2CB-02CE-4E7E-9338-FE5B200D1E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580652$EBA57C4A-0AC1-45A9-B7B5-3EB98DA16696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580652$C3547753-6EEE-4CAF-9805-C062D99345E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580652$55CE4B34-7C82-432D-82D5-2CBCE0AEBDC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580652$9D2633B1-0EE3-45A4-9D6D-DBF735419B38","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":"Q1580652$54102D8B-2B1A-468B-B3B0-AAC4865BA029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cbabe4584955683134f793f45456bc29dd222c6","datavalue":{"value":"https://doi.org/10.1023/a:1005021313747","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580652$2F5ACB57-1D81-437E-B8D1-EBD7C4C104EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"157c5cd6bc0b9ad5c1f0e4ee55efa52bbc30e501","datavalue":{"value":"W1503079215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580652$69BB84B5-F95C-4476-B2CB-3DD407987F87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b31df0b0af5c31cea5874540110b917fe968703","datavalue":{"value":{"amount":"+0.7472454309463501","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":"Q1580652$41C6AA8D-FD61-4C4A-87F8-4C98773A30E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09d171e815687f844b292fe8a876cf1a7a06aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4376076,"id":"Q4376076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae836279ca7fd3edf7901974912d95934b8f67f","datavalue":{"value":{"amount":"+0.7469481825828552","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":"Q1580652$929B59AA-6BB8-4D8A-B425-09D0810A6E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64c7d28921d914a138df8135fcc3a1b3e2f145","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6bbd730d36e021aca9d3a9529b42d5cd30be54","datavalue":{"value":{"amount":"+0.7404394149780273","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":"Q1580652$7EB70EF8-13B6-4566-A042-546A235B4C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3baccfc2dfc8e13cba7b006ef3be6827e6c6e698","datavalue":{"value":{"entity-type":"item","numeric-id":4851412,"id":"Q4851412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5378ad1db94ce9c9f69bd70c80c0b23ba3f91d7c","datavalue":{"value":{"amount":"+0.7397019267082214","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":"Q1580652$B3AFA99A-6A2B-477E-89A4-DD3613A1EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e2ad342afc33dcabe051cae8b1c9c4f0f010bd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa277451a59e8ff3189ceeb6ee3cbe2c9ca9a5b2","datavalue":{"value":{"amount":"+0.7387244701385498","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":"Q1580652$89A91E93-EC1A-425B-87EE-FBAE48F8022F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1580652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1580652"}}}}}