{"entities":{"Q5168878":{"pageid":7198450,"ns":120,"title":"Item:Q5168878","lastrevid":58455558,"modified":"2026-04-05T07:24:18Z","type":"item","id":"Q5168878","labels":{"en":{"language":"en","value":"Formal verification of monad transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318855"}},"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":"Q5168878$BDA90579-A688-4A09-AD37-4AE13CB3B294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1fc580afdd81f2def3fcd9194c27891457b54e1","datavalue":{"value":{"text":"Formal verification of monad transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168878$0B953E1B-18A4-419B-B0E6-CC71E4CBC1DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a00077d7f276e69c98777e35e753031d06f8304f","datavalue":{"value":"1291.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$4AF6B523-CF18-405A-BDE0-8DF26B036904","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e88c2fd303be04199063711df1bc10a289cb04a","datavalue":{"value":"10.1145/2364527.2364532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$E1DADC62-7BC6-48C0-B667-302BC89EC10F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab2f745f26ee211bc2fd3f1017cfc1bf31e01f03","datavalue":{"value":{"entity-type":"item","numeric-id":832213,"id":"Q832213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168878$248FF2BE-99D6-494F-92E8-9645AC9DAE62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168878$E44CAE7A-306F-478C-9336-C4F3EDA65347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168878$FAD9E762-55E6-4991-962B-745A3CC3D334","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e042b6e0296550221a309fbc3c17247b6b36534","datavalue":{"value":"https://arxiv.org/abs/1207.3208","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168878$9FB8F9F1-B67F-4A1F-9A36-A3B43404C28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$23534807-CA7C-451C-BD33-8226A2D84569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$B9C19FB5-A430-4913-B61C-DEB81650962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$B3367776-FAF0-43FC-A027-12E4FD8FD1B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f97c95640f3ca8857c22819975c5777dfe83b9b","datavalue":{"value":"6318855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$C6F53381-9BEF-4E6B-B502-753419E7EAE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168878$44420E20-448F-41CD-B636-BD53537C37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168878$42C9B485-806F-4BED-AA21-F5AD9ED0A48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168878$3B542EA7-83D6-48B4-ABD2-9F258D5164CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168878$1BEEB41A-47AE-4C23-9BBC-603BDE5849DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168878$821A02D3-F06F-4096-A615-B2DB847ABA56","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168878$F10A4C73-AAA1-43BA-B39F-3A925F499414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"468f42208e329bef96e3b7d794626b00cc3d6e27","datavalue":{"value":{"entity-type":"item","numeric-id":37008,"id":"Q37008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168878$B3860DE8-CAF1-4F11-B3DA-54AD46252FFF","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":"Q5168878$1A3A2B01-F54B-4079-9245-E5FAA7F9AEA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3676c2d6798adfc92cc31a05dce9d5155fbc94db","datavalue":{"value":"W2030163690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168878$33377673-1C7D-4781-A90A-B2FF4BDFD34F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc48efbdeee56bca3f2742f8b5286de45a51ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5477652,"id":"Q5477652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d16aa1eeb9152f62df4e7012c9244f1c08ce81","datavalue":{"value":{"amount":"+0.7877395749092102","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":"Q5168878$C31367B0-3457-45C0-AF0E-2FD512D80445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeed565c9521f860d719481c4f2ac1ddfc60ba20","datavalue":{"value":{"entity-type":"item","numeric-id":3617691,"id":"Q3617691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253954817e6c3c272f6719390ea6fbd7739d87ea","datavalue":{"value":{"amount":"+0.7662354707717896","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":"Q5168878$6189407E-2F6E-47C9-9875-3B661D62A96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6569b8beee14550e5dac0c42d664c688bec80b89","datavalue":{"value":{"entity-type":"item","numeric-id":5919584,"id":"Q5919584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5b3491368040344feb53fa518b793d46f8fc5e","datavalue":{"value":{"amount":"+0.7507117390632629","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":"Q5168878$5D271283-81CB-4543-84A5-130B7535E003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a7c6192a5b245a93f879cd314ed0a6c251dab6","datavalue":{"value":{"entity-type":"item","numeric-id":5915785,"id":"Q5915785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b75905aeda1a8ce93997a94e00abcb833f23f6","datavalue":{"value":{"amount":"+0.7440126538276672","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":"Q5168878$A7739216-D89D-493C-A8C6-4D7127FE0B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4396f2c61f5b1482acbeb7171522ae2069740f","datavalue":{"value":{"entity-type":"item","numeric-id":615955,"id":"Q615955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9928c65d90deb55785b0c5c7c280921212b3015c","datavalue":{"value":{"amount":"+0.7438778281211853","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":"Q5168878$8622358B-D800-434A-986D-09743874FD9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168878"}}}}}