{"entities":{"Q5310672":{"pageid":7340246,"ns":120,"title":"Item:Q5310672","lastrevid":50182688,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310672","labels":{"en":{"language":"en","value":"Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200142"}},"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":"Q5310672$7610A4EF-ABDD-44AF-9D1B-C2A875D16622","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b575900e2981955a2a6b0fc8eea9e221bd8230ee","datavalue":{"value":{"text":"Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310672$A0F3C917-29B9-44A9-99CB-4563DC6566F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14105b62100cb341ee6bbb8206bf02235e93bd60","datavalue":{"value":"1127.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$A71E8159-9467-4F91-938E-B49C68B0BDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d46318d65fa00eb8dba660a9c184084728b6031","datavalue":{"value":"10.2168/LMCS-2(5:1)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$F4F44414-C56A-47C4-8239-143E0CFDE1B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17e2c0346df5f53df6973c892b4fda15bec909d6","datavalue":{"value":{"entity-type":"item","numeric-id":607402,"id":"Q607402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310672$B811FFE8-54D1-48DF-BF49-6FB0A29F16F1","rank":"normal"},{"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":"Q5310672$3E19B9A2-BBDE-4A26-94A9-09FF3FD5CBFA","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":"Q5310672$CC65CF38-D370-437A-BD8B-06EFFC8C15A4","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":"Q5310672$416F066D-3D9E-4720-8316-D86E846A3564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-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":"Q5310672$DC833B10-DD8A-45C7-A51C-59345906E773","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$22095F84-8E38-41CB-AC7B-99EBEE03F283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$595251C3-BAD5-47C7-A3A1-2D802D2C1204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$5A24A860-7301-4826-9509-B517E1579E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b56ea9b04d1036d9c6fa0c24a8bb4eaff72e7ec","datavalue":{"value":"5200142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310672$698807FA-4179-4510-9E87-84E4A35E9E38","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":"Q5310672$75519254-AB28-4B16-8AB8-A0297E54AF7D","rank":"normal"}],"P1643":[{"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":"6b152e7a8323406170b32d0f8f729932b140a16c","datavalue":{"value":{"amount":"+0.8163238763809204","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":"Q5310672$D899373E-1354-4C3F-8297-A0C70B6A015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4a694d6a9aae8ce3081deb68de0cf7aedd9640","datavalue":{"value":{"amount":"+0.7970788478851318","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":"Q5310672$A29B251A-DEA4-48DF-BD20-42132FE15A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9414e9d74cd5ef6f9741cad91d739cd41e7c6163","datavalue":{"value":{"amount":"+0.7958023548126221","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":"Q5310672$B7B601A0-2504-4230-9F75-94129DC42321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9eb6265b84afbb19a5cb37144d3de84a13ee98a","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afee210bcf31851800fe1fbc5ce99dababbb979","datavalue":{"value":{"amount":"+0.7929812669754028","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":"Q5310672$FF38F766-239B-4586-B41D-3E3ACE1C7A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e80290f5edb83ca9f5192b55855c9c9835e51","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43673e133d029ec424bd45720fe671fd4b5e5e8a","datavalue":{"value":{"amount":"+0.7926070690155029","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":"Q5310672$450EACCE-44D1-43DC-97C2-26607CFF1512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310672"}}}}}