{"entities":{"Q4916063":{"pageid":6945644,"ns":120,"title":"Item:Q4916063","lastrevid":51697769,"modified":"2026-01-19T13:13:46Z","type":"item","id":"Q4916063","labels":{"en":{"language":"en","value":"Constructive completeness for modal logic with transitive closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155878"}},"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":"Q4916063$14336602-8E54-4BB8-A481-A1F5E641E711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c212a8a0d88085316a63aeaa82f85b3e87e65d8e","datavalue":{"value":{"text":"Constructive Completeness for Modal Logic with Transitive Closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916063$12E886C0-673F-4B19-B055-964E0C050921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e987af8ca502cb0c80c9b34ebf8f31f8c113cd9f","datavalue":{"value":"1383.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$FDC9B0D3-0875-4032-9064-214DEFF46E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a474b990be184306e2a39afa96e213d579254511","datavalue":{"value":"10.1007/978-3-642-35308-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$27D59F38-4597-4CFD-8003-0442FEC2933A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916063$5323D7D9-A973-4B2C-9AF8-3CA2197F013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916063$9DC93726-1477-428D-9075-D91DCEEDB5A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916063$52970EBD-338B-4CCF-85D3-4E779A241C08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916063$C9802C80-C445-4843-A4A9-E071C33756A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$9DAC7B70-1F15-4F49-B5C5-D4C3D37CB5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$1737A295-D6B9-4390-B1F0-698F0062D16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$702BF083-F75E-49B2-96CB-2F8B439F717A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8358560871f1309193a6172dce48e8ed727f9d1f","datavalue":{"value":"6155878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$08BA42CE-7AB2-4C8C-B9D4-D5D3D06A7DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$03C066FF-5430-4EE2-83A8-E655D6159EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$82D0445E-21CB-4CF4-A99D-63161DDFE67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$6218AC2E-37B0-48A2-9354-6DCD67625986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$DEA797C3-D501-4F78-B99F-FAC604C98AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d2cd6c808ad9febc6998c9d303f1acef764ca9","datavalue":{"value":"Hilbert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$D3162EE2-5B66-40D1-8897-D3F12594E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$2C8AE917-B33E-4CB4-BC16-FBF0C40BE11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$C0528AD4-F2D6-434B-8258-22DB56D6E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0fdcef04bd18fdb2c1db8188d6e228ee53b085","datavalue":{"value":"Ssreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916063$4E3BF11A-98DF-4C23-9D11-9A7B07BF07C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916063$49D16EF9-F9FC-4DCF-8F77-A79411F4528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916063$A5ADDC0A-7E5E-4CDF-940B-4901DAE71D82","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":"Q4916063$CC2979CD-066A-48EF-B413-55283F99EECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8208c77264c9badea957baed3d16a17d66a995d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916063$D9EBA20A-F8D2-45E4-BBC8-D6E04E0ECB72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e52790ef78a6bed5c7c37bab5f002ecdf47802ca","datavalue":{"value":"W101180772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916063$3B656DF9-327B-411F-BD90-D18AA7D70E08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9996710516bd0250997e2a4af86b3ea67416e316","datavalue":{"value":{"entity-type":"item","numeric-id":287375,"id":"Q287375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d4efd1580af67c935d22d581f9b37173f216e8","datavalue":{"value":{"amount":"+0.7826952934265137","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":"Q4916063$2E6DD5BF-BCB2-4D08-BB57-E643879A3F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80602ca25b3a373942fe4933467f1ce0dd764eff","datavalue":{"value":{"entity-type":"item","numeric-id":2879254,"id":"Q2879254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c847d0c95c216aa72cfad256b12c1a6cb62ba108","datavalue":{"value":{"amount":"+0.7814863324165344","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":"Q4916063$C712626E-9A4F-42F9-9063-993F192A5EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ede9332282c72032ec38edd2793a8a72ee3b6c","datavalue":{"value":{"entity-type":"item","numeric-id":2904055,"id":"Q2904055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393c60660290f9b445ce691213c9f8edd9cae124","datavalue":{"value":{"amount":"+0.754034698009491","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":"Q4916063$A3F5FFD9-3BA3-472C-97D8-B062EB1FC90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486f0efab64fac3064ae9508a0b2c47de21a5f7d","datavalue":{"value":{"amount":"+0.7406546473503113","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":"Q4916063$0B4F44AE-DBF3-4AA7-8E19-38A040018C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c9ebba90732b85285e5558b6898295ea4a12ef","datavalue":{"value":{"amount":"+0.739830732345581","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":"Q4916063$D188AA86-8EF4-4613-8D6D-A3AB89C0D442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916063"}}}}}