{"entities":{"Q3545276":{"pageid":5575180,"ns":120,"title":"Item:Q3545276","lastrevid":49493590,"modified":"2026-01-07T07:43:22Z","type":"item","id":"Q3545276","labels":{"en":{"language":"en","value":"Logical relations for monadic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5380205"}},"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":"Q3545276$BA246BEA-7143-41F7-9B1C-DEAB60377E68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9828c62364845502cc9dcdcaaf4c801fccc9bc1d","datavalue":{"value":{"text":"Logical relations for monadic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3545276$CA2E699A-FCC6-42BA-85AA-8A9831E4E569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14eef1b4a7896f19bd5cd768d1d2176415cab8ea","datavalue":{"value":"1156.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545276$65EAB2B7-E19E-4087-8A0C-BB86006729D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b65b9ce86c0a7dacdfcff982f69b7f69310f25df","datavalue":{"value":"10.1017/S0960129508007172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545276$6BCE4D7C-8B3E-4F3C-9B26-66072E486226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$AEEB09DA-B69B-4BC6-BA6C-55FA65C9B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$74F052DB-515E-4949-BC9E-33DCD9EB14ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$14CED818-6FCA-4723-84E3-B1FF049C77CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$99822D21-7FD5-4B10-9B47-D60F8101B1C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7e8730d4188cf8a4cd5a62da8eab7f6fdd55e8c","datavalue":{"value":{"time":"+2008-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3545276$C17CB883-FA5E-413E-BF22-3C606E18C984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545276$01DDA2F8-7E75-4FDA-AD04-9A6C2A17B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545276$5104C6E7-3C6F-43EC-B520-88B3053093F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fba95c38934c5fb3b93aaff8e246ae429070659a","datavalue":{"value":"5380205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545276$1271B0B0-21A2-4FB6-A1F9-A0771F5F4137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545276$558AD09A-7092-4CFB-BDDD-D8CB39A204FD","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":"Q3545276$656C5345-664F-4C2A-BD41-EC336BA2B4F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b736495aea3314de1463970f2749c04ad07802a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193588,"id":"Q1193588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$D1111585-C617-4067-AC17-9B0CBBF03423","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":"Q3545276$EA3C421E-B936-422E-9B9C-A3C9D2087C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbeae604d953db5b568f0bdf608fcd9e8026ff9","datavalue":{"value":{"entity-type":"item","numeric-id":673121,"id":"Q673121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$42B11468-5187-4BBB-AB09-72AA9EC6F8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$EDE33038-CABC-4F7A-9123-4D094231F481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$181394AA-8201-40FF-8F2C-EEAD294B017A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3d1e00ef86041eb202adf2c89302ade72ed92","datavalue":{"value":{"entity-type":"item","numeric-id":1854557,"id":"Q1854557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$92830B0C-71A9-4274-BD54-CF0558F19F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f07cf77ae7ea732fe35556751893e13c8d11556","datavalue":{"value":{"entity-type":"item","numeric-id":1397803,"id":"Q1397803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$D57CC5D9-DFA0-4F82-8C5A-BA673C97647C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$D2B1D88B-DCCD-4980-9EA1-4BA09098E589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25f5b6eec5dc2a79785a6b79f63ca3d6af6377d","datavalue":{"value":{"entity-type":"item","numeric-id":4675769,"id":"Q4675769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$1B22E4FB-4F14-4C64-A2ED-FD7992079A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151674fa3f2ae200e36c1848eed2f769352f64e","datavalue":{"value":{"entity-type":"item","numeric-id":2559535,"id":"Q2559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$6B95A557-7F38-4781-9434-F0BFF493C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3736318b4a44ec75afd79735ec0e093187f10999","datavalue":{"value":{"entity-type":"item","numeric-id":5567766,"id":"Q5567766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$D997B120-7110-4B71-8F2A-40D4B674B5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$6B7C8C37-1A61-4E88-ABBA-E25AD5587B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545276$6A9BD46C-5918-4113-A128-92144606DF90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$5180FED6-0C2B-49AD-9B4B-853FA0326E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fba82f0dcec115429cd4d57c9e84093b7eb89c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263807,"id":"Q4263807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f76228b7ba07800bef785b90389114ed51082ef","datavalue":{"value":{"amount":"+0.9241215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$298D12F5-DFC6-4867-ACED-D581F09E9FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e856a8e5fd147841c933bc93013457b0b56b3d71","datavalue":{"value":{"entity-type":"item","numeric-id":1372940,"id":"Q1372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab97c54c4f4e939dc716ca23b36ae658e813953","datavalue":{"value":{"amount":"+0.9022974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$8FA90A7C-1629-4FD3-A45D-1E745E94683E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e05dc66ccf63733bafee21f1036adfd24bf54f","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb96a9b19e6304d26cab5a708711c80a9e4eee1","datavalue":{"value":{"amount":"+0.9022572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$F52CB620-3782-4635-9BFE-969C709D4875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd9ea76e6c7f8f1d69e926643d33614a3f1b56b","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f18e63db021bf7afd1f5cfc51e4753d01530189","datavalue":{"value":{"amount":"+0.9021919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$CDC5EE57-5D4F-4BF3-B9FF-15570402698B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892df7bd910f9805e4d930b35860b81056ca1dd4","datavalue":{"value":{"amount":"+0.9015744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$47EFF429-C87B-43F1-8A5C-97CC61E362AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71341020b9726328193b01d7725d977f2891642c","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27021d25df93632b931ab3114a81c38fc62b2ca","datavalue":{"value":{"amount":"+0.8977938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$3C16031E-3773-402C-AAF0-E6C8F2C6E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13cb3fa9e960008bce4b5b64ea5993445f5c5a1","datavalue":{"value":{"entity-type":"item","numeric-id":6061674,"id":"Q6061674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcd1430728357ee71efdc941e4a24c68f15d098","datavalue":{"value":{"amount":"+0.8955314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$6F1BC2F0-C73D-4443-8A82-EDE7A854CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c027ff71ef6f4a51f3191e0025701e82217bec8","datavalue":{"value":{"entity-type":"item","numeric-id":5567831,"id":"Q5567831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe6fd2f7f5e46be950ecbdb480e1f54124b29a0","datavalue":{"value":{"amount":"+0.8953658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3545276$780497A7-04FF-405E-B92C-82C7464160EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3545276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3545276"}}}}}