{"entities":{"Q5884933":{"pageid":7914485,"ns":120,"title":"Item:Q5884933","lastrevid":101997128,"modified":"2026-06-06T03:16:52Z","type":"item","id":"Q5884933","labels":{"en":{"language":"en","value":"Combinatorial proofs for constructive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668089"}},"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":"Q5884933$D910963B-7B36-4CEC-AE00-D925F7B5C125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884933$30BBD894-4F43-4D4F-BD10-4F7C6077A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884933$56B595D6-0F5A-4394-BE1A-59ED9163DC35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884933$1F02B423-EC1E-498A-9850-6B501AB11798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884933$BC89BF3F-6252-41B8-9EA5-1863EC79F929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884933$F45BD8D1-43AE-463F-AF8C-3F2C0A567019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4562a99a7d3bd1bd17df7b3cb7dc169bcbe7cbf","datavalue":{"value":"7668089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884933$43CEDEE5-050D-463C-B9FB-9E88A734D1A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4309af4b8f8828493281cfa73802dbc17c80f7","datavalue":{"value":"combinatorial proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884933$60BC7BCF-5B91-412F-9EDD-912AD41290ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26aaf7f8d8e6b587c83ad964aae77e7cef8a2e7","datavalue":{"value":"proof equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884933$FCCB0CBB-F7D2-4DA9-AB56-2B858E0F4169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6223110772a526c67e57abe666112c998d38c7c","datavalue":{"value":"arena nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884933$4303EA74-17C7-4CF9-971A-D897FC2A5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884933$88CA97D0-295E-4D4E-A319-FDC9B67264E0","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":"Q5884933$F9B7AAD5-C113-4067-B7C5-5FBE237D3ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79684012e11d8e09f64bc028fbe74dae495512fb","datavalue":{"value":{"amount":"+0.8726999759674072","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":"Q5884933$B107F140-B52C-4E2D-BDC9-97E7A633CA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ac04db89ebdcab00691499db0feeb7a3a9cf80","datavalue":{"value":{"amount":"+0.8494873642921448","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":"Q5884933$76C366FA-549A-4993-BD49-90708FB53124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca1a39f6a76e1e2fc4edf8e804b545052e6f932","datavalue":{"value":{"entity-type":"item","numeric-id":2303577,"id":"Q2303577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d5ca3b89acf579ad8a66c130218ff8a5fe51d0","datavalue":{"value":{"amount":"+0.827812910079956","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":"Q5884933$9B7E4F6D-0CB4-4EB7-9667-6E0D7A4C1D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196cd9a5b604a058c4152ddf6e66003ea009b727","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b3443c6a04e8f54983f2ac3c6f0eebe54d9cca","datavalue":{"value":{"amount":"+0.7979937791824341","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":"Q5884933$77B00EEF-F529-44B6-BEA3-1BD3212ACF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceaca97c5f16deba5d26dddd147d3c5d8034043b","datavalue":{"value":{"entity-type":"item","numeric-id":6651950,"id":"Q6651950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff15429de39c552f34d39cbd966d972f370c7dce","datavalue":{"value":{"amount":"+0.7855768799781799","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":"Q5884933$B4A849AD-CEA9-4BBD-A5E0-2BECDD2FFC39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial proofs for constructive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_proofs_for_constructive_modal_logic"}}}}}