{"entities":{"Q5014049":{"pageid":7043626,"ns":120,"title":"Item:Q5014049","lastrevid":54167051,"modified":"2026-01-26T09:33:24Z","type":"item","id":"Q5014049","labels":{"en":{"language":"en","value":"Proof theory for quantified monotone modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438987"}},"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":"Q5014049$C4B0ADB0-3725-44B0-8754-FF183A712B8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bdb3f01cb31e66a3d6bce403c283e730d516491","datavalue":{"value":{"text":"Proof theory for quantified monotone modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014049$F8E15920-0178-4414-B189-DF0898893903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b980fc638b9fe8b8ffd8af060153a0075c4c902c","datavalue":{"value":"1477.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$77B236F2-4886-4CB6-9F9E-D49A5A881F66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014049$C85A7E4C-DACF-4A83-AC0A-BA099ED91C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014049$5496182E-82A0-4464-B089-D39B3FE2BF26","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":"Q5014049$A358F689-EBB9-4DB7-970F-C4E88348BAA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014049$B36052E3-4D7B-4171-9842-6C487DEFA266","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a5b192be92048a33a413ba2b2adc591bd5e14b","datavalue":{"value":"http://hdl.handle.net/10138/307488","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014049$4828685B-3775-4743-8F08-17ABBA0EB46B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$FB095ECB-643A-4EAF-8D9E-811F16561F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$76FAE3FF-0D88-4CF4-BA57-05B62456BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$867809D7-AE98-4ABF-9380-86B5C8DC5843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8d2ff09b5eecaf2c50c15ed4f790d64a64b8a69","datavalue":{"value":"7438987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$35097DE0-0659-4BC5-836F-D669842B775A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19be05a4a446c55f9189b10a2e50fee1931cd56","datavalue":{"value":"non-normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014049$771E2403-2E95-469A-9C71-E0CD17BC84AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014049$FCFA74F2-09C3-4017-81AC-7A9210AE19F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014049$98C41F57-52E0-4327-A33F-0CB4510D0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014049$C3F3F8C2-4EC8-4831-851E-3B23F81165EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17811fc2a9482e487bde4207074b89eae427acfa","datavalue":{"value":"Barcan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014049$39D6EF22-9F97-4EC2-8AE5-455AE4B9AEC1","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":"Q5014049$C2BC4E19-C3C3-4049-877F-D9245A75EE8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3196b0415d0aa6959115ae5a75202dc9ac54e57f","datavalue":{"value":"W2946543186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$8EC88AE4-0274-43EE-8EB0-C1817C356B0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"642e40133736fd3110c53239966463b7ba3ae0be","datavalue":{"value":"Q128041044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$BE40CBF2-1205-4AE4-8807-B065A3E57C6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03827f46ea194c3c015c20c90cd1966337350ea6","datavalue":{"value":"10.1093/JIGPAL/JZZ015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014049$DBF69726-E06C-48F9-ADC3-BA22BC4767C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932681efaaf8eb3441d76a79611a0df681bf1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de8dadd4fed7c5126dfef07996198965917e3c8","datavalue":{"value":{"amount":"+0.8240653276443481","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":"Q5014049$E48871B5-48C7-47E3-8045-132D66E64FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de8dadd4fed7c5126dfef07996198965917e3c8","datavalue":{"value":{"amount":"+0.8240653276443481","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":"Q5014049$ADAAC48B-F244-417F-AFB7-69B58F3252F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2406e49aa4a0e13ff9ec767a322f43863c9b1f9","datavalue":{"value":{"amount":"+0.8018804788589478","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":"Q5014049$695EACDD-EE0B-4ED7-902D-A25348B22DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f883bbda5a1d7ddec759552a2ac24ee6e5ad1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e80b8848aacd6d55e2a542812a58b3d6f51e13","datavalue":{"value":{"amount":"+0.7919847965240479","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":"Q5014049$5297711C-720E-4652-A9D8-0531D4992FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a68747d97978852730b02ef9bb37bf49095d51","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e80b8848aacd6d55e2a542812a58b3d6f51e13","datavalue":{"value":{"amount":"+0.7919847965240479","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":"Q5014049$B17A95A9-37E5-4336-93EF-0C507FFFE438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014049"}}}}}