{"entities":{"Q1392142":{"pageid":1402882,"ns":120,"title":"Item:Q1392142","lastrevid":70776315,"modified":"2026-04-13T16:54:37Z","type":"item","id":"Q1392142","labels":{"en":{"language":"en","value":"Monad as modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178779"}},"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":"Q1392142$4D094517-FB9C-407E-9459-1BE6B72ECEE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"794016a8681780d9a779e4a525f3a29eb1f8ca1d","datavalue":{"value":{"text":"Monad as modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392142$A5AFC6C6-14EB-42FE-B8DC-36CAAAEF1543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1014400cebcdc1b56eb82059fb33607327592b34","datavalue":{"value":"0895.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$224C9487-B44F-4801-8DAF-40B4BCAC6137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bb3e0428784ecfa60db3bbefa5041780eee1341","datavalue":{"value":"10.1016/S0304-3975(96)00169-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$0217C2E4-6162-4D85-B1D8-A101099D4583","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4896c5ea447353f69640bc9f7bdc4a8a12847d8d","datavalue":{"value":{"entity-type":"item","numeric-id":391181,"id":"Q391181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$403A5442-A357-4671-8B19-553379B2E4DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$9EA75EF4-27D9-4DD1-8161-023090670C67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1392142$3E9E5854-0CE9-49E8-B5C7-C191AAFE6C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$532B505A-8014-4E98-8370-D127429172BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$E0DDD235-EEB5-47F7-9F67-8EBE1B114198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$3F56F425-8BBD-4A59-8081-E169AB9CD4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$C754296A-0BEF-44EA-B2A7-7B4A5F1D8A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$74107617-57DB-4A34-B213-933007E38EB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47fad467cf8c53c85731ea4de71cbd5abd8a0df7","datavalue":{"value":"1178779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392142$13885E76-A54C-428E-8A30-0E250939F662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$8AE98B2E-4D9A-4C72-AE8F-F978FF1BF34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$6444767B-F2D4-414D-B2A0-5208EBE02B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$C7493C49-BC98-47DA-8DD7-ACDAA82D05FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762913f29d7a14a53e1fe6c869809f8651a97f3","datavalue":{"value":"generalization of string monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$D4628807-142E-40AD-ABC4-A429D78B7CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$2A8C33C7-F20A-4937-96B9-A400533A6FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dbb829fa62f82a87def784c3eaaca056070a254","datavalue":{"value":"method to extract a monad-based imperative functional program from a proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392142$91E9CADF-C7DC-40C3-9461-1E2CCC60FC86","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":"Q1392142$E4805ECD-272E-4F27-9A61-E6D733AFB5B7","rank":"normal"}],"P223":[{"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":"Q1392142$739BF276-86CE-41B1-B961-3392D1676F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edbdab7479dd0c5bf0ad867a7e2d54e523b2c83","datavalue":{"value":{"entity-type":"item","numeric-id":3138535,"id":"Q3138535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$30498B19-1175-4997-92FA-ABC3B56B1F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$D1944C00-1835-4C9D-AFD2-51F5B6375087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$16D6DB07-EAB3-45FE-99F4-893CE0FBB62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$3BA1F36E-C082-4F1A-BF27-D0BC58345127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$41136939-6633-4EA2-98FC-CC063956B09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$73AC924B-454D-4FA4-A6D4-5400F3161A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a302e97f4dae048921ad64bb0106a61e260df05d","datavalue":{"value":{"entity-type":"item","numeric-id":5096236,"id":"Q5096236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$02A6B4E9-A9E8-4E2A-AFF5-8997389A6982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$77DA885D-FE32-4D82-AD1A-192DCA7589C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$098FDC20-AB8F-4A51-B58E-A3D0413D7FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392142$F1873FC9-67DF-49CE-83FA-85B6F3033A12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa9803735d0bc10ae19b7101bf4ecc895a9b3e5","datavalue":{"value":{"amount":"+0.7972521781921387","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":"Q1392142$11172867-8C00-4EE2-A6CF-434B095B3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e444e9af7523f3ae7c361dc38c57984447b8bb","datavalue":{"value":{"entity-type":"item","numeric-id":3818372,"id":"Q3818372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac265020e3b96dfadfafdc3a41b5407c9ef9399","datavalue":{"value":{"amount":"+0.7804986238479614","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":"Q1392142$25B5DB08-DB4A-4311-85FC-82D50204E81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c798fcaf86f1b609a0581d561a8a0c4e64d0ea34","datavalue":{"value":{"entity-type":"item","numeric-id":4994687,"id":"Q4994687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02eada5e5299970054e32f27ae20aed8eab837c1","datavalue":{"value":{"amount":"+0.7674446105957031","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":"Q1392142$6AE6A70C-3437-400C-876D-B6CA26473F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2cb985aee507bbbdfea7577cb419d00036e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":5900835,"id":"Q5900835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60abbe6b8905df876cec97ce06e649955bf794c3","datavalue":{"value":{"amount":"+0.7639720439910889","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":"Q1392142$3F2DF836-EB43-4D6E-BF47-F6811A67F35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c7a77fd9131d33a9ed5c2488606264fc304b83","datavalue":{"value":{"entity-type":"item","numeric-id":3698294,"id":"Q3698294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cf236967e577dbf188dab01fa76d34645fb784","datavalue":{"value":{"amount":"+0.7604204416275024","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":"Q1392142$390BB8F5-27D5-4C8C-9BAB-59E5A066A896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monad as modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monad_as_modality"}}}}}