{"entities":{"Q5176952":{"pageid":7206524,"ns":120,"title":"Item:Q5176952","lastrevid":94485389,"modified":"2026-06-05T06:56:24Z","type":"item","id":"Q5176952","labels":{"en":{"language":"en","value":"VeriML: typed computation of logical terms inside a language with effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411521"}},"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":"Q5176952$DA9F4F4F-A10D-4BA5-A52B-CA9876DF820B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6f97493656c1db90bd676b86cd7081297c19fd7","datavalue":{"value":{"text":"VeriML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176952$8BAAC5E9-E8F4-44A3-89D2-A61678968E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dc8189d6ce9b16a9310f3231108896c02d1959a","datavalue":{"value":"1323.68384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$1675E292-7CC3-492F-BBA3-48E294080D8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4d1ef463f30760a73e19710cacd1b06eeff0e9","datavalue":{"value":"10.1145/1863543.1863591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$25B6102B-40EA-42A4-9FAA-9FEE8C0A7F43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd83bd74c907c998e088268ecc586b95f425c756","datavalue":{"value":{"entity-type":"item","numeric-id":2942879,"id":"Q2942879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$A44B0FA7-3874-4244-A44E-331C3C8A55DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$9CB69DFE-71C1-40DE-B8F1-951B3949EF69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$F8A08EDA-590F-4793-B966-61E4BC6E4CEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176952$9DB45472-8284-48B4-8BFA-11641E64AC46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$B95540C3-9F00-4AEE-80BE-F7FE886E3726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$E68A483D-1EA6-446D-9666-31DDE60590A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$29967FA7-2340-4874-BB13-C9E03DF10988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a18662a7e405eed3a22103a342363501cde6bb8","datavalue":{"value":"6411521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$8A19E71D-972C-4F23-8F57-43F14EDB86F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176952$ED5F6C42-C101-4BAD-8B7A-E43E30468BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176952$C3A1B0D8-8FA8-4123-A7AF-8A413E3A09B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176952$F9579150-C10E-4BEB-A54A-6CD9407D5A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176952$A6480EDD-4B16-406B-8CE2-2B419CE89C8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$DE22AFD0-D4B9-4A5E-A970-58C04851C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$58D5ECA1-C3EF-408E-8741-200E296A1FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$C99DDBF3-25F8-4926-9EA8-5331FDB2CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176952$3BCBDBE9-A0EF-4974-A6F9-235A451E6549","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":"Q5176952$C783772A-7B16-49D7-A1FE-65C132E0062E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55fa38720ea62e4e12807db444b1a6e290c0a318","datavalue":{"value":"https://doi.org/10.1145/1863543.1863591","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176952$5D91EDC9-FAFC-4A53-8C4D-90CC544573AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6136767b9aba756dfc8c331383c673aa55aa7eb2","datavalue":{"value":"W2011757033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176952$0ED608F6-BBEE-4FBF-86F3-47B8BB2BDC14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8fc519c81890f963ff41e9abebedea516f59fd","datavalue":{"value":{"entity-type":"item","numeric-id":5371944,"id":"Q5371944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc6fae98e908a0b712a4be3dd7dd0419b43a615","datavalue":{"value":{"amount":"+0.7464278340339661","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":"Q5176952$F70B6F56-828C-4F5B-9323-CA82F0029A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e572badf5bee00e7427a40b4cef297ea325698","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f55ef32fb790ba184e789baafeeb7123b0994a9","datavalue":{"value":{"amount":"+0.7354641556739807","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":"Q5176952$30778BF3-3024-4108-B80E-B2CB9CA15B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977574fc1c904980d55cd18359ae8bbd41d40c6c","datavalue":{"value":{"amount":"+0.7328746318817139","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":"Q5176952$DA53DB9F-2491-4E6F-819F-9DDB6D51A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce3f395e4a868731a07978b04f5bf892f174f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2942880,"id":"Q2942880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb02817df7315933976db07b2b356b18dbd28d6","datavalue":{"value":{"amount":"+0.7221163511276245","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":"Q5176952$817C7212-5194-4AF5-9427-636435AB562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1173f2ba9d8b2d2f606b89f84f504a412e8d567f","datavalue":{"value":{"amount":"+0.7176575064659119","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":"Q5176952$867F2C75-B223-4BFD-B0EA-B1AA96D7D43A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VeriML: typed computation of logical terms inside a language with effects","badges":[]}}}}}