{"entities":{"Q444500":{"pageid":446267,"ns":120,"title":"Item:Q444500","lastrevid":51528302,"modified":"2026-01-18T15:55:32Z","type":"item","id":"Q444500","labels":{"en":{"language":"en","value":"A relational realizability model for higher-order stateful ADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065765"}},"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":"Q444500$9409FA20-A0ED-4554-985E-E8C2438BFB29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72715fbe2f6bd7d18edf876c6f7dcecf5a08d2fa","datavalue":{"value":{"text":"A relational realizability model for higher-order stateful ADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444500$667C8DA1-6C9F-4D56-9944-6CF295AC1CA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd8c54e87ae42ef443efae525d98a265a009bbb0","datavalue":{"value":"1279.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$185FBFF4-09C7-48DD-80C9-174C02FD3E19","rank":"normal"}],"P16":[{"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":"Q444500$AD72AF9D-9275-43E0-BECB-A37E1273AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$09C5C7F7-6D1D-4947-85F9-44F5A3389E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"762c14c2030dd3ad29959bb2de51a0d6a2d43cac","datavalue":{"value":{"entity-type":"item","numeric-id":444499,"id":"Q444499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$0248160A-0C93-4465-B42F-9A41AADCC920","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$146C94F6-45B8-4EA7-A134-C14DB2C584EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444500$AD6DFF5F-AB5A-4FF0-9CB3-925079504A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$4496B322-F985-4172-9F3D-DB2F2BBF1141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$982EC1C4-C00F-417D-AEC3-18A6424B02CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$EAA67982-40F1-4117-9937-614CBFA06F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75f11ce62599618215614e98a622e1cb3a4ae880","datavalue":{"value":"6065765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$22F1CE2E-6AA7-43F6-8C05-C5571B9B70F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q444500$53ACC89A-C1EF-4963-A36A-D4C2B3CE7E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q444500$DC53B8C8-C046-4648-8EFB-AE8D27F97DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f96ee27011412b92d5d55f9acaf0f31ccacf2","datavalue":{"value":"local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q444500$4B8CFC97-8D18-435D-953A-6281F402456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q444500$65F7E058-F7D7-4785-A757-B7EC07BEEADC","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":"Q444500$DE7BA4B9-A49B-4061-96E8-6B6B8C587C51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4769da7d2da48e1a669ca8f561477746a28d69e","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q444500$369D0298-98CE-4B35-B6B0-4519C3403F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec349461f8c23e330c254d6cd90e38a2797f7571","datavalue":{"value":"W2166810499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$03088346-B8A1-4125-8F94-9332386A0E15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$3117C43F-125A-4CC7-B199-0000FDE4C101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$00BD48ED-A8B8-45A9-B3AA-42971966B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$9858D006-759F-4CA2-B7B2-D3B920718CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$D0525BAD-6E27-43B2-A31F-8421A1EBB9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$40FDB460-59BF-4BFC-B5FF-8A8DCBD8E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed3ed7ae448edbb5daa7c01fa9554b7dee4d425","datavalue":{"value":{"entity-type":"item","numeric-id":1377300,"id":"Q1377300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$8E2A92CC-E481-4D8F-9D00-DA2BD333DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab9adda359a74593427d87a3469f37ca8f86229","datavalue":{"value":{"entity-type":"item","numeric-id":5704031,"id":"Q5704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$AF49C5BB-D746-45FA-BC04-4593ED30AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6251e2141ccc31a7588f3fd89d0a24bd1ce5e11a","datavalue":{"value":{"entity-type":"item","numeric-id":3617747,"id":"Q3617747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$3182126C-A622-45D1-94C8-FC1225234AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09b3091108c83af9f420dcf6fb2ccd5964c49c8","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$AC5CE056-1F06-46E9-B4A8-38C1D938BB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$56DD4B72-92CE-4DCA-A380-43CF34AFE613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be2b55c26066558b2b0eab18ba7aff923244432","datavalue":{"value":{"entity-type":"item","numeric-id":5385588,"id":"Q5385588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$14E27047-83D3-48E4-9D15-D1DE850FBED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$06560199-FCC5-4FA9-800D-E7ED2D33A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$1C244FDF-94E2-41EF-8D0D-0E5CAE270884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145e622600d34e2e2f04dd6d81034ed240f20627","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$D78197B3-0820-4EC8-B494-123B2619F615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b55fe80b836bdbacc3e30271106de59dfc5a01","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$AC0C0DA3-FEF4-415B-A6D9-58B2FFF61240","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":"Q444500$813C1DAB-9959-49C0-AC10-0137FA482C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$E5688280-15D1-4B96-87EC-EC68E3DA902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$7CB4747C-C611-4951-958A-F299D6133203","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":"Q444500$D350ECC6-1D41-422B-9E32-703A68FB6FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$4774AD31-9DFF-4C4F-8669-C2733C5C54D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$E5A21BB1-3C8F-44A4-8F90-482A978B0B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25969f7743b29002639cae4174d855918498bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":671997,"id":"Q671997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$3A118C1F-0C55-4EA2-8AC0-CDFF5BE51487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$E159AE6E-BD9B-4D79-A8AD-665A18A6B94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444500$4A8EEC87-E536-4B57-935F-66C4D8385DB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd5b00526ebdbf8e375fb7017382fe9e51ba6e4","datavalue":{"value":"10.1016/J.JLAP.2012.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444500$9361B460-8A6F-43A1-B618-E7DB3D670F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5eed8b2b0ce529aef03a7af3abd3a06543ce431","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"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":"Q444500$A66EE249-B0EC-4690-B7EB-0ACE6A1212ED","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":"27fee4e4454f7562256f40c46045766b445e3e83","datavalue":{"value":{"amount":"+0.8103363513946533","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":"Q444500$6598E773-F01C-42B2-ABA0-740516159AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d9bc390ffde116272ec5536f0ea29af5f8e29e","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217c217a742b2fe782bc27d4bea7a07d076d5b9d","datavalue":{"value":{"amount":"+0.7749056220054626","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":"Q444500$03A8EBF1-726C-4257-A1D1-2898F5D4E196","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":"d821e77d3ec19c05a99895f6222295af676ec3e1","datavalue":{"value":{"amount":"+0.7525900602340698","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":"Q444500$EE80F1B3-5143-4EBB-B122-007A2F44520C","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":"8bf6cebe131326ed361d511d49ecf80c8ff8e9e5","datavalue":{"value":{"amount":"+0.7510167360305786","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":"Q444500$65EFC08E-50EE-4482-92E2-7310B7FC0526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:444500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:444500"}}}}}