{"entities":{"Q3616445":{"pageid":5646351,"ns":120,"title":"Item:Q3616445","lastrevid":88535516,"modified":"2026-06-04T14:47:10Z","type":"item","id":"Q3616445","labels":{"en":{"language":"en","value":"Coherence of subsumption for monadic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532712"}},"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":"Q3616445$503F3D7F-7DC5-4D01-A7B5-E911594C9865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64d488cb14c9f7c08a5f29f1912054ae01825bd9","datavalue":{"value":{"text":"Coherence of subsumption for monadic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616445$BDA2B6AB-19AD-4B30-815B-BEA46EBFA5F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9601b4fd941dd7d9bd301edf06924b4439afb57","datavalue":{"value":"1178.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616445$01F89A67-FEDA-4284-9AFE-FA17189F59D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f318bd59c933b590951ec5057c2ef6e4faac461","datavalue":{"value":"10.1017/S0956796808006886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616445$87F86A0F-0019-4DD2-81BD-9E04BEA5F63E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$F3CCD4ED-6BEF-4E90-870F-ACB009D270D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3616445$571AD998-CB08-45FA-B424-72F243B0C0FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616445$1A17E912-79BA-40DB-8290-D00290291104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f7b7730a3f7587f60d40daf130a2c8bc0dbe6e4","datavalue":{"value":"5532712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616445$89B619A8-4F74-471E-8DFD-605CE2C31341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b9f361f5e9247309afcb3774c6344adad3efa8","datavalue":{"value":"Moggi's computational metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q3616445$3B697E7B-310A-4100-A326-71B36B38F8DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$5C409ADA-3A09-4EEB-BDCB-5FB514EBF508","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":"Q3616445$2A7B6829-1A40-4938-A033-7D978C84F224","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e417d6d5926695afcb0f22fb006eacd6484b213c","datavalue":{"value":{"entity-type":"item","numeric-id":5267422,"id":"Q5267422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$1EE70765-AEBF-4EE4-9A03-F2B85900B5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$897C2000-FEEF-41E3-A7F9-C96C0C9E1C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$720C0FC7-4261-4B35-B88F-5CC3F0DC86B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$727B17F8-FA44-4D17-A98F-6B5532E88C36","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":"Q3616445$D9E32704-2CBE-47D7-B681-58698B82B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09fe04cc563e68af4f5657aa21591a29451fd2b5","datavalue":{"value":{"entity-type":"item","numeric-id":4676158,"id":"Q4676158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$8BC955B6-76B5-400D-8081-41D1DBF734DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$5B9D1550-86EF-4632-86C3-929331FBA347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$3D3682B7-D7BF-4B53-8175-B6E9F0F4CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616445$9F22BB15-7CC3-410C-A7C0-1873182C40EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"017b25fdfeec8bbe12fd6f363689d6919eea4dff","datavalue":{"value":"https://doi.org/10.1017/s0956796808006886","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616445$80D76226-2FF9-4C65-9951-3B7FB931337E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e46b295e995ed18b81641045ac2d7afdca7d3f1","datavalue":{"value":"W2079002885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616445$FE7EDA33-1CCF-485E-A2AA-B989EB05F534","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d92dceb269c65cf39dff28b8770a29ee637fa22","datavalue":{"value":{"entity-type":"item","numeric-id":1177151,"id":"Q1177151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09da3d30dcd0b7ad4e1d10ff4081485475636f6","datavalue":{"value":{"amount":"+0.8161389231681824","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":"Q3616445$0C788EF5-8724-4BEC-A54D-034DABB9FF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9725f583a298b1d5899c228a6da772ae3c3df61","datavalue":{"value":{"entity-type":"item","numeric-id":4855340,"id":"Q4855340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09da3d30dcd0b7ad4e1d10ff4081485475636f6","datavalue":{"value":{"amount":"+0.8161389231681824","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":"Q3616445$CFAEED6D-8381-4C0D-A869-D3D8769846A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f6a0e9318f375d7d2af26ea03a839a49bfd40f","datavalue":{"value":{"entity-type":"item","numeric-id":5277834,"id":"Q5277834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7f509166dbfb1ca104df6b29f8b7e15e121ada","datavalue":{"value":{"amount":"+0.7792702317237854","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":"Q3616445$74410D25-BA02-45E3-9F17-328E66142F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc591fca5e327c7e36e41dda2cc4e32ece74ab18","datavalue":{"value":{"entity-type":"item","numeric-id":4603450,"id":"Q4603450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1372d4181c8062cf139918ad1937fbe3aab027","datavalue":{"value":{"amount":"+0.7792697548866272","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":"Q3616445$59F6A6DE-F06D-4508-8855-EF82F93C0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62056ac3dcdf60d5bd28b54f0643f403e0d014f4","datavalue":{"value":{"amount":"+0.7668928503990173","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":"Q3616445$8AC84E97-D3EA-4AB3-AA3D-9A6B7382B03A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence of subsumption for monadic types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_of_subsumption_for_monadic_types"}}}}}