{"entities":{"Q4503914":{"pageid":6533507,"ns":120,"title":"Item:Q4503914","lastrevid":41626048,"modified":"2025-05-06T12:59:43Z","type":"item","id":"Q4503914","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507194"}},"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":"Q4503914$0B4A91EB-E0BF-44A9-9538-6AF143D1515D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb3330e646f854ed2b7010d5a72e546c358d667","datavalue":{"value":"0963.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503914$B0B13818-E094-4DA6-8680-3D170F97AD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503914$18D22348-195A-41FF-B7F3-03A6A5D53242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3592adebaf5375a0aca8d0c2df6b20cb85499565","datavalue":{"value":{"time":"+2001-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503914$11CD2DAF-B798-4D12-BAD3-04F4AE6DB6C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503914$0677B1AE-76AC-4BFE-B93B-378D4CAAF7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503914$C3E14811-E3CB-4146-B9C9-72F3A55EB47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503914$C3D98FE9-50AC-4FD2-9831-893CF3304AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fd142e8d952448fa4114e16e9fc0f91bd29ffc","datavalue":{"value":"1507194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503914$46D6E3E8-2ED9-4637-AD7C-9DFB5660866F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a53bd9df290c19ead6521e4751c8d3c46916558","datavalue":{"value":"indexed sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$B6E316F0-3EA2-44C1-84D3-720E28BBB150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8a23d6feedaff0bf0f43b51af5d48a46e8e655","datavalue":{"value":"effective properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$30015522-D573-4B1A-BFA4-7E43B3EA5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790a5a526eea8c7033a2ab21ba06353375dbdf71","datavalue":{"value":"first-order intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$A6EF9B2B-6D06-4F44-A7B8-85708BB8BC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4c813c96de31789fd6d315cedee081899724","datavalue":{"value":"Barcan axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$A30A170A-3ED6-4C08-8CFF-6FCF3766B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$96E15B78-B51A-40E5-8DF6-2BA003469F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503914$371C7FAD-F73A-4BC6-A38E-277494C37D6B","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":"Q4503914$69BD2AF9-042F-45C1-AD41-D64ADE184F72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d363ff023e53acd87d56510fe179aaa32ea48b","datavalue":{"value":{"entity-type":"item","numeric-id":4942000,"id":"Q4942000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a76a76da493abef775215dcab11898230e29280","datavalue":{"value":{"amount":"+0.90976226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$083A843A-1636-43E7-8F29-33AAAC2E0B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd49034f418630eb2080eb498816a62cd138565","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe8d3e3617765b7aa4a32e39fd213092ff3413b","datavalue":{"value":{"amount":"+0.90790224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$87BE2BC0-EBA0-4831-8F74-2692102FAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47f677c0960860a40fa1bf750ba5a6fb4ace4cb","datavalue":{"value":{"amount":"+0.90444064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$0ED804F0-3AA4-44D4-BAC7-FDC2EAE22B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d757875cf6351cd4776c2f4e4b255528dbafcd","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf2ad605c13da7b5bf26d08c7d262cd3332c815","datavalue":{"value":{"amount":"+0.9027834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$B5F23B05-8FA2-4BEE-AF5D-941E26298059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a418bdd253a523bfe6b897693f0d30c39224be5","datavalue":{"value":{"entity-type":"item","numeric-id":4507867,"id":"Q4507867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0abcb901855a7d06417f15366ffd8c51ba2b012","datavalue":{"value":{"amount":"+0.89679426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$7802D4D6-99C1-4596-90EE-FD417CBEF4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9199773d36a4360b83f11317ac77de08cefcd085","datavalue":{"value":{"entity-type":"item","numeric-id":2751831,"id":"Q2751831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc930a27c6684c6f18acb63078ffd66e8b822c1b","datavalue":{"value":{"amount":"+0.8942286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$80A09C87-08B7-4F3A-97AF-40EA4BF44B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c70cd15ecda03d51113f6e752fd5f08adb01944","datavalue":{"value":{"entity-type":"item","numeric-id":4551606,"id":"Q4551606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c43b7dbbaa2120b8fc11ebc4f3e077e8b9c5ba5","datavalue":{"value":{"amount":"+0.8932686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$B69D48CE-2D3A-4B1D-839D-299238CB85F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44900fea966451a6666b697ebfa2032f7c577d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5413353,"id":"Q5413353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8911d24caaf0b00ac2e72c83911f71023dc1765d","datavalue":{"value":{"amount":"+0.89305204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$9DCDEE8C-2F92-4D3E-AF6B-6C6D09522CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48f6057bf8ab6b1a0b0d5a294cb22f97cfc2290","datavalue":{"value":{"entity-type":"item","numeric-id":2721195,"id":"Q2721195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2204c31b910c219478d7d3e089d4a538dc2deb7","datavalue":{"value":{"amount":"+0.89139074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$AB199E13-218A-4C01-9F49-5C434EFDCC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5103f9f4a766bd0fb0a80cc74fafe7d36929a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab27b3dbb4c17093401977eaa34469cae264a5c","datavalue":{"value":{"amount":"+0.89135855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4503914$141CF0C1-ECD8-4807-8466-290BF8AD5AD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503914"}}}}}