{"entities":{"Q1758660":{"pageid":1769402,"ns":120,"title":"Item:Q1758660","lastrevid":51598025,"modified":"2026-01-19T00:13:09Z","type":"item","id":"Q1758660","labels":{"en":{"language":"en","value":"Classical natural deduction for S4 modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107850"}},"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":"Q1758660$B5EC6772-AE89-4B3B-A214-07ECBE59A6DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7304d29c7cc3e0135904f50f8ea3f3b4a20c5e64","datavalue":{"value":{"text":"Classical natural deduction for S4 modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758660$F3774099-26EE-450E-A746-CFB2F3566DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ee13a6c3f2a770c2ff50de30d57b0d1e0472eda","datavalue":{"value":"1251.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$BA6E1153-267F-4D52-9471-9400039BC779","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$16F05091-0218-422A-8AEA-A7DAFF563F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ebf2df140098a0c6a9bc31e47d1c904c4ea431","datavalue":{"value":{"entity-type":"item","numeric-id":491259,"id":"Q491259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$D49AB0C7-FAB4-4EB7-925B-0E4DB8EBC751","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$56305E0D-DE45-4FB2-AB3E-0AE0D925D496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758660$0727D73D-A85C-4343-ABEC-C8651F28EAF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$B298FF5E-1954-4733-AD27-CC25D85B7A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$09931BC2-6A97-4A58-85D7-625003FA4F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$F5F9E79C-9B92-4FBB-97DF-B5E3F528C9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10c7415cdaadcbc255a327d4ae3a4a38c7b088c8","datavalue":{"value":"6107850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$600F87AF-D6B6-429C-A7F0-2C32310CEA9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758660$BFBA78FD-FCC9-4D23-927F-24AC270560DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa56bdfc37161ece722096c6fe033cda4a09414","datavalue":{"value":"classical S4 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758660$4302072F-32D3-48CA-8171-3852A6EF0705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758660$57F7BB7D-434F-4B80-B928-736C60F7696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758660$FABDB36C-07EC-4FC0-85E9-B7A564760A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157bca91e28d01a7caf49dd46a335591cecd71c2","datavalue":{"value":"staged computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758660$DE217836-DEA7-4BF7-AA8E-26486FB723B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ead188a496a87d3e333e5816d445c1c1b4e07ee","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$A1852B5C-9BF9-4661-A703-9E66887FE8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$90B79C26-385E-442C-91DC-98A3131F731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$A3BFB93C-89E4-4287-9D59-DAC4D2B0E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$6E4F9274-5AC2-4BEA-80A3-2ECABC722D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e9aa8283541e6a8e1a9c064cd250820506f48","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$5BF86B13-3A8F-4C6E-AF0C-037DEE7E1385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$B984C9A3-9C60-4263-A7A8-73E67E8DA234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da40707ee73f9ee320e20b98e46e2ebc2da82e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4411844,"id":"Q4411844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$32A7D3E9-584F-4AA0-939E-0BD1BA28773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f54af227afcdea8836a10655140ef9cb3fa0b80","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$3413FDB2-E352-4D96-B115-E439AB15B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd19a4e2034c91a5498cdb406e681e58c88076cf","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$5DE327B8-FF60-4BA8-8C36-09C166BBA6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$8887BC6F-7BBC-4D21-A35C-D5DBC6F80DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$629E4798-8938-4861-BF03-50610409FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$BF970D4A-CE0F-4ABF-840A-3368B6C9CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$C78A5BA7-9626-41BA-869B-3285F36FBF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$DF579190-D5C0-44D7-88B2-382B7417D80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$32602CA9-E796-4317-8FE4-565B77F85B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2225749455c4dd2dc8c5b8c2994a20623567f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$FC51FDC5-A189-483B-8E37-52A65C178FF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758660$2A2F48ED-A793-4B27-AB21-A150E6C3E207","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":"Q1758660$A7BBC130-0AB1-49F3-BA81-65F1694D39A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb385cabb03972382606ca603415ace2ffd3fac","datavalue":{"value":"https://doi.org/10.1007/s00354-010-0099-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758660$5C7DA3CF-12DF-47E2-BAA2-7AAF70EFA7D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6d79407fb5d872787d19c3b1586b8c2478c5cff","datavalue":{"value":"W2067687795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$77387E7F-0049-4FFA-B440-BAF85577243E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5de75d7564d1bfa6ea44e000793f88b4da2cd8f0","datavalue":{"value":"10.1007/S00354-010-0099-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758660$D8B7E5AD-2A3F-4E3F-A152-DC877A829868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1062d7c3c33706f6cf8808e1b743b5b259ebda","datavalue":{"value":{"amount":"+0.8523954749107361","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":"Q1758660$CF478430-EA5C-4CB1-9171-D2AFD22CD49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18e079b6e997468bbda64a0f43329bed24d7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2478553,"id":"Q2478553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7e4bc51e59e5a63c8e9221f0942e9a724b1edf","datavalue":{"value":{"amount":"+0.8137553930282593","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":"Q1758660$73BD7A40-F105-48D8-9E62-9A9C1330AB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705f09eacb69a7f821a55d3261d13f15e59dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5540292c6908ba20aeea755500ae577e8cdd3ba","datavalue":{"value":{"amount":"+0.7912529706954956","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":"Q1758660$189122A6-2A30-485C-B5C2-3E525798EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa2766298d4a67b56a1f300df3b109a9b40f45f","datavalue":{"value":{"entity-type":"item","numeric-id":5704814,"id":"Q5704814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5540292c6908ba20aeea755500ae577e8cdd3ba","datavalue":{"value":{"amount":"+0.7912529706954956","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":"Q1758660$AA40293F-80A8-404E-B97C-5D2767BD3859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe4fb6c76552fc39d6149e616be877dc4c67ab6","datavalue":{"value":{"amount":"+0.787105917930603","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":"Q1758660$1E6F0C2E-4E39-45B8-910D-AC908661CC04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758660"}}}}}