{"entities":{"Q2849430":{"pageid":2860150,"ns":120,"title":"Item:Q2849430","lastrevid":51825749,"modified":"2026-01-20T05:51:59Z","type":"item","id":"Q2849430","labels":{"en":{"language":"en","value":"A simple separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208954"}},"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":"Q2849430$A0A54931-C250-49BF-BF40-6E0D77E04062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccd43a55359657f1ed55d6598a5268fd0f90e687","datavalue":{"value":{"text":"A Simple Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849430$B8534C8F-8425-4BD5-8D35-8354540B25E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c5b522500e3e47e9694ebff374a3bd6f4eb916f","datavalue":{"value":"1395.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$5B8B701A-9D28-4FEE-96F9-CE54328BB499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dad698c037b289ae1d4090a90e763a281cff42e","datavalue":{"value":"10.1007/978-3-642-39992-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$3D94E8DC-9D14-4A77-B647-BE75ABC03BBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849430$DD8A29C7-A5AD-429D-8E90-874162A32EC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849430$E88CE3AA-C76F-433D-9EEC-176AA8556F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849430$8163421D-CBF0-417B-9CE7-10A99D683200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$D519AB96-1C20-4305-B2E7-B5F492C7107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$45D57351-69B8-472C-B7FF-8FC183E7BF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$2A7785A4-4AB3-4AA3-BAE9-DA85DABD8F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$75FDDAAF-0669-4E9A-86F8-5EE9EE277BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e185079ce2481f87170cfde9e91408c8aa80f5b7","datavalue":{"value":"6208954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$CBC39AA0-FC3F-4A14-A984-4BA276799859","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":"Q2849430$2458DA64-B4DB-41D8-8FEC-F74B03952C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9d6483162407ea381a393ae6d3067c1df506dd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39992-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849430$7DBF3E37-11FD-4A13-A4D2-FCBD3C7E24CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fcf68e2c1c406b489045bc938b2013576b44c59","datavalue":{"value":"W162588085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849430$BF346C9A-DB8D-4B19-96B2-95B76DD36A62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f1d65b56787812df13e5bf551b0526c10c79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0289ad00194ba0842153af7e84cb213166915c89","datavalue":{"value":{"amount":"+0.7879719138145447","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":"Q2849430$F0EFC5BF-6AEE-4DEA-8E5A-6DB2289E45FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5800c2a2acd3ca15cc613e53a2dd3184dfdd7833","datavalue":{"value":{"amount":"+0.7755696177482605","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":"Q2849430$1AFC1E8B-14C8-4B79-BABC-DD4B5039DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bbbaf2f9ca3b66021c0b6f75bdf438c084c54f","datavalue":{"value":{"entity-type":"item","numeric-id":5896086,"id":"Q5896086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3205702e5d6fe6fe3be57fc4b453aebb5cb6f555","datavalue":{"value":{"amount":"+0.7727447152137756","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":"Q2849430$5B2DD9E3-B1CE-4436-9333-5C0D16240AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fadef567dfaba762ff0e1098f0e2f0d4bfd3956b","datavalue":{"value":{"entity-type":"item","numeric-id":5918351,"id":"Q5918351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08870ab9d84214913d2e50b3ab06ceae818922d","datavalue":{"value":{"amount":"+0.7720035910606384","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":"Q2849430$E882C9B9-7DF6-4EB4-9C8F-3851AE625E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c08caaa631ed27608e3c323c5ec4eeeba8b95","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb291199a80118174e4de9ea3cd2b810a1c8bd5","datavalue":{"value":{"amount":"+0.7691400051116943","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":"Q2849430$DF6DD2BE-7138-4595-84D9-EF03A7F07708","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849430"}}}}}