{"entities":{"Q2177591":{"pageid":2188334,"ns":120,"title":"Item:Q2177591","lastrevid":53725385,"modified":"2026-01-25T15:07:09Z","type":"item","id":"Q2177591","labels":{"en":{"language":"en","value":"Modal type theory based on the intuitionistic modal logic \\(\\mathrm{IEL}^{-}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197416"}},"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":"Q2177591$F5311AFD-3539-4E95-84BA-CE836314A495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"082cc82c7ab184e6a27aa04cdcb8e9992d7faf02","datavalue":{"value":{"text":"Modal type theory based on the intuitionistic modal logic \\(\\mathrm{IEL}^{-}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177591$A1D24DCB-A40B-4688-AECF-7F4862B6CA37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa290de5d436d135c17db70daab0ad7f8c67681","datavalue":{"value":"1485.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$E2B4E88F-158D-4F29-8375-40BEAEC3F4B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d6f59fc43d9596bc0364769136a3ac11c5b4fef","datavalue":{"value":"10.1007/978-3-030-36755-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$95B6A84E-99FD-4A4E-8D1B-7843DF99A847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5eadec4908b0d0d55296c11194fdaead805293b","datavalue":{"value":{"entity-type":"item","numeric-id":2151414,"id":"Q2151414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177591$12E7B220-ECBD-47BF-8E56-F49FAFF67759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177591$EFF8D7FD-D275-458E-AD86-061F00FDB733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$35E37229-021F-4311-AF3B-F0DBB908073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$169208FD-E1E9-4F44-919E-375B124D4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$6176F384-13D2-4B8E-B96A-990FCA623461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$13D31BCA-9F17-4BA2-8269-F33865F65EB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6bee127aa54e0deb5a70f657ff10fffd3ae89e","datavalue":{"value":"7197416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$86AD406B-6BD0-4E86-B01C-30774774C82B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803263dce689ca80e4507cacaa16faf87cbedd05","datavalue":{"value":"intuitionistic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177591$B3DA6D6E-5CD9-4D5E-93AD-C4B7DFA9E81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a278ca41aeffd803235a81f8fccb632735b2a2b","datavalue":{"value":"modal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177591$B363CF2B-4C76-4935-894B-71D0970DF6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177591$AE37B6ED-90CD-448A-BAD1-7EDDEFD768BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81888c4d6183f6fc8c359863bea068d276499d5b","datavalue":{"value":"applicative functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177591$E110482C-7368-4793-ADB6-CD9A39803A2A","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":"Q2177591$D3B72DAF-CE55-454F-A82B-114A35B80D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8565cfcde29b0af6219e2369129c5340f9291d03","datavalue":{"value":"https://doi.org/10.1007/978-3-030-36755-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177591$8F828E5E-85C2-4DDF-9C30-52C8E197C68E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aadc321ab11d8cdf3ce31e79371837fe0c09200e","datavalue":{"value":"W2994613220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177591$CAA47323-FF2F-4ED8-B58B-ECD93C6323E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d541e9766da545841d2fb0b5052e7a3b474c","datavalue":{"value":{"entity-type":"item","numeric-id":5028321,"id":"Q5028321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52558424500888925673f43526266ba6aa9e0f07","datavalue":{"value":{"amount":"+0.8610028624534607","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":"Q2177591$0C19BF4C-6EDC-4BB5-85E4-77B49FC3B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7907095c48225d90e8f5fe7de394828f4c2b8afe","datavalue":{"value":{"entity-type":"item","numeric-id":3457712,"id":"Q3457712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a09b38386c80fa208a2d89a9544b2db5620b47","datavalue":{"value":{"amount":"+0.7857402563095093","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":"Q2177591$4DFE4FDD-1077-4FA2-A52C-15C45191C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7f3bc9356358b9f94668635adc4d5588619e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb329c5e3a92182ae7339f938587e77f8adc183","datavalue":{"value":{"amount":"+0.7817960977554321","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":"Q2177591$591989B6-8709-4762-B0F5-DFB4117F8F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43136c15ae2e3429a8ea898176b874536389e27","datavalue":{"value":{"entity-type":"item","numeric-id":1289102,"id":"Q1289102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b546c2735e226006686c9643abe6ee6a0142f175","datavalue":{"value":{"amount":"+0.7734667062759399","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":"Q2177591$9A0FB4DB-DFD0-49F9-968D-39F4B398BC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5246ecbc2eb2378e93e87a74f5e840abf5e2d43e","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d372c9bc49db41355df401585a87ec8fc1a158","datavalue":{"value":{"amount":"+0.7734664678573608","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":"Q2177591$4E0B6F63-AE47-43FA-B201-890C6741B422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177591","badges":[]}}}}}