{"entities":{"Q5255072":{"pageid":7284640,"ns":120,"title":"Item:Q5255072","lastrevid":91719743,"modified":"2026-06-04T23:53:48Z","type":"item","id":"Q5255072","labels":{"en":{"language":"en","value":"A relational modal logic for higher-order stateful ADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445095"}},"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":"Q5255072$0204482F-4476-4A09-8D37-B1FC70CF8D35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a15d543306685d2b2abd04892fcd3d02f4f66557","datavalue":{"value":{"text":"A relational modal logic for higher-order stateful ADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255072$A4C295D6-5A5E-486B-AC66-BC92DB30F044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"833b906458afbe3d83c8c37b8ca7f224e46a31fc","datavalue":{"value":"1312.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$94B129D8-F6C3-44DB-9A2D-34A9E14FEB49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af0d0fee89337a374507767c203f93c5b60dbc6a","datavalue":{"value":"10.1145/1706299.1706323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$06E688A5-37AD-4BC1-ADE8-85AD7FB1D1F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255072$CB665294-2202-4101-A221-DEEB1CDC6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b6946bad33c4ad6049a109a67ed0035e8c2a34","datavalue":{"value":{"entity-type":"item","numeric-id":2931795,"id":"Q2931795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255072$6FD52599-6831-4760-A598-ABA861EFEE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5336fda7fc89f35f6174f0095139f0b8cca5e57e","datavalue":{"value":{"entity-type":"item","numeric-id":2936810,"id":"Q2936810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255072$5865CCF4-E9B8-4459-A7DB-0022B4B0A8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255072$0011DA00-3428-4D21-9287-5064B8DA7485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255072$46C285A9-0AF0-4279-B4CE-D99584989A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255072$0943DD2C-1297-431E-A601-1B87811EA585","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$60A48940-5848-4B43-9AE1-9DED513462F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$3EF73FEF-D788-4CFB-B0C1-96B3976E839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$0E895313-BF48-4F3A-AD22-AF7BCE07F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$C35C26E2-CBF9-4CE7-B246-E814DEDC59FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$35F72CF2-878A-4F25-9BED-0E9238EDA295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b3742970336568d4f9d40b541dec232fbd4c34a","datavalue":{"value":"6445095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$FAFE7DF5-16DD-42F5-9442-951F7BC7885A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$D779E026-5688-4A75-9735-1FB6C9DEEFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f96ee27011412b92d5d55f9acaf0f31ccacf2","datavalue":{"value":"local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$E6928581-1926-43E7-97BF-453AF1F204EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$A6B96115-E278-4AF9-BCBC-42A894A0962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f12d468c5ffe4fe21a00b14bfe928049d73330","datavalue":{"value":"Plotkin-Abadi logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$E679F429-53F9-417E-B742-3AE7E2198922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$F938ABF8-C6C4-4BAD-AA6B-B9F9CBCAE8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905b948fe4bfdb7eb3dea0f42ea8b556d62e1229","datavalue":{"value":"step-indexed logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255072$8D0DB306-5605-45AF-A685-7ABB426C9F76","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":"Q5255072$32DB303D-88DF-4A32-AB06-A033D0E65355","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36e5234cd03ae3827d628b00b1ec6836fe619546","datavalue":{"value":"https://doi.org/10.1145/1706299.1706323","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255072$75336220-07AD-4EF1-9664-B290A6CF4F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa30166dba7774da60bacf858061414899808722","datavalue":{"value":"W2135365827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$A2C50D48-8C52-4D49-81ED-FF666C905A22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa8dca202b2508507bb337cce2f7d647d45bca96","datavalue":{"value":"Q130880117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255072$77404341-AB72-426D-8CE2-7A6B7F7C5767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b9e885617b0c6c9c9bae51ee1c39567edfdece","datavalue":{"value":{"entity-type":"item","numeric-id":444500,"id":"Q444500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7166a6f3469f49e65c37022feba55e1beacbe05","datavalue":{"value":{"amount":"+0.8235665559768677","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":"Q5255072$8021B67B-395F-4708-8997-9EDE2A988978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcb28e414112255b3a7240f3489e919013d3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1ec8b2ae19949629952679ba0f7d4df552d187","datavalue":{"value":{"amount":"+0.7780649065971375","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":"Q5255072$776FBDDD-02AE-4347-A7B3-7C341C932192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467476586a2a65a633f7f3f113ce6f99a9d440a9","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34048c81dc870e2f52570bb7558dd82c30be418e","datavalue":{"value":{"amount":"+0.7768514752388","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":"Q5255072$557E87F1-5FBC-4C53-BD79-FE8E9A68A512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0cf36fe7118bfa7990cd88c89e1bad2eb66cad","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7687d7429a3bf13ee3499ff602368aceae91ccc9","datavalue":{"value":{"amount":"+0.7689549326896667","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":"Q5255072$3C6B8345-86F7-4729-97CE-F2F3D498E09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a03647ea8e2a70e43e4a9ec1442cdf6acbdcf4","datavalue":{"value":{"entity-type":"item","numeric-id":2949445,"id":"Q2949445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f3dbbadd861d10a3aa7c7f0658e26d1bbd017e","datavalue":{"value":{"amount":"+0.7448543310165405","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":"Q5255072$699743C8-57D4-4A8D-85A9-FE739B17A88F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relational modal logic for higher-order stateful ADTs","badges":[]}}}}}