{"entities":{"Q3518282":{"pageid":5548186,"ns":120,"title":"Item:Q3518282","lastrevid":50421518,"modified":"2026-01-14T00:38:09Z","type":"item","id":"Q3518282","labels":{"en":{"language":"en","value":"Relational Parametricity and Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308844"}},"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":"Q3518282$E7075955-B038-4330-BC4F-F7DBAF5C1537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c807967d0ca39f6fec08b631bba50e1e52f53e6f","datavalue":{"value":{"text":"Relational Parametricity and Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518282$0EF54197-BD63-4D47-82D6-1AB0F42FC92C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3ee1b829c82a434137f254e26511a05ff321ce4","datavalue":{"value":"1153.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518282$89E03D63-6F3F-43B1-AC87-38E33204EF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7446c70554e968ce451b7a09395703ddf40e050c","datavalue":{"value":"10.2168/LMCS-4(2:6)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518282$F89034F1-CA44-4231-9AEB-1D7FBB3F24DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518282$BF580FB6-BC71-474C-8992-52E684A4FB8C","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":"Q3518282$FA575D69-5C73-4E71-B8D3-D8202B5F3764","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518282$B9FEECC0-A611-43E6-9ED2-3AC0D0E88399","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518282$FDA3A290-B57B-4323-B21A-2CAF19A494FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518282$5E5B473A-3635-4943-A3B4-C42C0F584C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518282$FFB641CC-0159-4822-AA49-F2D4F5793296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5096ec29c7b42720be66cacca99692606a2909d2","datavalue":{"value":"5308844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518282$D75E8153-4FAB-43F8-BBFB-F81EE75E241C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525c6951c9fd5923fe7cbc811088fe73acad66a3","datavalue":{"value":"Reynolds's relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518282$CE5DB98E-C94D-4C92-AE90-875CF5B3C358","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":"Q3518282$8F2134C2-88F1-4A8F-9F1D-7E9921061EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3518282$41860736-6670-450D-B211-E4616A46C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb747c668beb879193844ca0bdd7d2cef96f2c42","datavalue":{"value":{"amount":"+0.8094526529312134","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":"Q3518282$9D682A46-28E8-442E-A563-71570DE69098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0790da19fdfc811e3a245708cdfc82946739af","datavalue":{"value":{"amount":"+0.8018054366111755","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":"Q3518282$65406E86-2FB7-4884-A5F3-CA93040E9553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349cbe818f866855406c85012c17d34a15a966","datavalue":{"value":{"entity-type":"item","numeric-id":2914243,"id":"Q2914243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3ebccdef4e05535b9d33c808f0fcd64d7df2f6","datavalue":{"value":{"amount":"+0.8002663850784302","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":"Q3518282$34A8E766-7C31-4496-AF68-B4BD8D510E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3c6288ae2b877d62f9026039c2314c5c15691","datavalue":{"value":{"entity-type":"item","numeric-id":5504642,"id":"Q5504642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bb015fde83ea716cc424fff03e6c2ac58adb29","datavalue":{"value":{"amount":"+0.7949151396751404","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":"Q3518282$1DC79F20-6600-41C5-A25D-BD2B4A268D15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3518282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3518282"}}}}}