{"entities":{"Q3460060":{"pageid":5239460,"ns":120,"title":"Item:Q3460060","lastrevid":52431434,"modified":"2026-01-22T15:28:43Z","type":"item","id":"Q3460060","labels":{"en":{"language":"en","value":"Focused labeled proof systems for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528787"}},"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":"Q3460060$0BF006A0-FB0A-4646-9AD7-B9BA57108E97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f195addbf608089037144b20d755ae2e540e514e","datavalue":{"value":{"text":"Focused Labeled Proof Systems for Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460060$63C81604-D3D7-424A-967B-597ECBEE6E08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a1a983279f06e8334c8844376eb988df3a4ef8","datavalue":{"value":"1471.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$E78CD139-9678-44D0-AC6B-00276C96BB92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a377a662a9f7fe6bc1153590febd9f9d117323f0","datavalue":{"value":"10.1007/978-3-662-48899-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$595F6968-5F32-4BA6-A44B-65A9F397BA94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e01041fe23d41c5fa2e9b7e399e4c0ecad96c4","datavalue":{"value":{"entity-type":"item","numeric-id":744989,"id":"Q744989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460060$3FA72600-6F7B-4B24-B9C3-24B2BF48959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460060$E2E31020-096E-400E-92D7-5B2359C5E6B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460060$7D8C5213-97E2-4F5E-B39F-FCB1A3985DF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460060$AD8518AA-FA70-4A33-A1B4-073E9C7485BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$ABB66AC4-6F1A-4087-B1AE-A3B2F166D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$B53B6308-1DAD-45C2-984A-1260E6419E07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20563ff1e88623c3c09919f42a050a1db80d2a5","datavalue":{"value":"6528787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$F27E5567-87A1-4998-97BD-99DEC22F8A97","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":"Q3460060$3EFBC5BF-5B45-4798-A455-A3404EDD637C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff9ed1f7d3d4ef6abcd67a929996be20caba3ebb","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460060$B86B46CA-D8C6-4C4E-89F0-D2E33B13C7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"716c8aa1aac594adb1256f9aefdef27f3628a8cd","datavalue":{"value":"W2277055931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460060$3459D828-19C5-460B-8F41-03B3E9F3AAFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c458e280a3f6b01a8c14ac4810b46bceef44c23","datavalue":{"value":{"entity-type":"item","numeric-id":4636050,"id":"Q4636050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7144735e72fcb247dab4305ab74ddf74c449b706","datavalue":{"value":{"amount":"+0.8186352849006653","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":"Q3460060$9E8EBFF5-2EEF-47B7-B0D8-D5F2F300D075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c47e24afaa2a4e7b41bf2f6e2d02c88dd7e91df","datavalue":{"value":{"amount":"+0.8100726008415222","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":"Q3460060$7A019396-E694-4C71-B73E-5EF6D2C34C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f8e48cae9e3be95e4b25037189a4718ef8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28833f1b8cdff8f1c9fd4ecdd2863249f20933ed","datavalue":{"value":{"amount":"+0.8066784739494324","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":"Q3460060$C145A554-4934-4FF2-BB06-233FE137DDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e1123c8f368846e90514f533206580abf572e9","datavalue":{"value":{"amount":"+0.7928576469421387","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":"Q3460060$542449ED-08C0-481A-A0C6-F29F6CC85C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da671d6918ea1c824a46c6cf0449a0ca81fadf2a","datavalue":{"value":{"amount":"+0.7801754474639893","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":"Q3460060$68D14B4F-59C4-43FD-9379-E61763F6C449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460060"}}}}}