{"entities":{"Q2947467":{"pageid":2958187,"ns":120,"title":"Item:Q2947467","lastrevid":52350689,"modified":"2026-01-22T10:17:07Z","type":"item","id":"Q2947467","labels":{"en":{"language":"en","value":"An epistemic separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484975"}},"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":"Q2947467$8023E8C9-9DA4-4AB1-B7F5-D824E27B5267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f8721fba26c890318de2b19c8198ffffd99bda","datavalue":{"value":{"text":"An Epistemic Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947467$8692B91A-9285-47C9-99C9-13E1A8AFCF74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f605800be8c76ca7af7cb7ca2717787a3eaf73d4","datavalue":{"value":"1465.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947467$3919B9A4-DABE-4FD2-B628-CA7EF3D13243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d89d1b48f74f2dfa985061987e8ac446a0f5db6","datavalue":{"value":"10.1007/978-3-662-47709-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947467$A92E1717-F353-4D2D-8A07-73222F112B8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70cc2d30e04bf11219f934649dc4a901748d7b0e","datavalue":{"value":{"entity-type":"item","numeric-id":290915,"id":"Q290915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$9C580465-2CD0-4E4E-9B3B-6DD5AFC5D369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$222E830A-08AB-439E-A494-C7DEE75BB67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$89C0BDE9-FE03-4F59-A4EF-7703A901E863","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":"Q2947467$3640D42A-96FF-4CCA-A349-30323C43D6CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947467$3ACA27DA-FEA6-46EB-A30A-CF38D27BFD82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947467$CBC2EDBA-42AE-45D3-9AD8-09F6B774A0D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a7b60fea2449d172d19ddb948568fe2194da81","datavalue":{"value":"6484975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947467$C9911970-E838-4655-A5E5-0D493A46B618","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":"Q2947467$3D59CB58-CDA3-4C79-9B2E-ECB224081FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c0236b7581e99994f22ba515bb96c9c67f8bb1d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-47709-0_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947467$81AE3872-CB14-40C8-980B-917C8A627D6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cea2a2411cbdd3e013ddcdbf4db3fbc6ff30c344","datavalue":{"value":"W1443086472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947467$C7D6E772-6F5E-4337-8F55-4D0388FA55EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bd2ed02e926f25d97705d4609f5ab02fd8358e","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$B6E08EB6-E3AE-4609-8DD6-F1165DEA78B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86662c318c14ff8359b6290573d385138728bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2848068,"id":"Q2848068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$599BCEB1-5571-40A1-B6E2-C67E708EBA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$153BD814-8EB7-452D-9F38-250F4724EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3c64942525af869617033e16b711912dde8409","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$F6747E9E-EE3A-49BD-9219-9E27596751D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$DA910E34-99DC-41B8-9C67-EBAEAB672BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f583f3fd345c27b49b204b50e2f3db6a761535","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$A2937DCA-BE99-4209-9275-4F7C94CE4F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$184CB7FA-E535-453C-97B8-FCB4EFF12251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$87414008-9B8B-4699-9CE8-0760641B41B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50e0df23cb79623ff315efbeaf38a33ea09bd53","datavalue":{"value":{"entity-type":"item","numeric-id":2849430,"id":"Q2849430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$8BE10E0A-255E-4F74-83AD-7ACAA0A27BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$51A7AD09-06B1-431A-A649-71C81AA14086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$1E837C45-597A-41FC-979D-08F4E1397999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845dbeb6b13e20a4a0e67132e07ccf7e6aa8d45a","datavalue":{"value":{"entity-type":"item","numeric-id":5739976,"id":"Q5739976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$83C0C593-8A4F-49ED-B258-4B145FC047A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c704ff998b44e195f6134a4f2cef8f379bf3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4180316,"id":"Q4180316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$63B8C65A-C37D-4A6A-9B7A-BF3B048C87DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeb961f37a0faa60e7e35fbd5341166f48ff68","datavalue":{"value":{"entity-type":"item","numeric-id":5711863,"id":"Q5711863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$76D32028-E652-4956-B87B-A3AEF71B6419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$828742F8-3B42-4ABA-91F8-B0334964C5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$52B939D8-3163-4F00-9283-EAF9F000A0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$A093AC41-E6C0-4CBF-BBA7-DF0A2556A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947467$A5BA3A49-BAB7-4264-B2B4-72778B7CA1FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1035876c95dc99f397fce3a44833e795f9f1985f","datavalue":{"value":{"entity-type":"item","numeric-id":5377700,"id":"Q5377700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570647d85d19338d5eaf037beb977363b3510fa1","datavalue":{"value":{"amount":"+0.8610385060310364","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":"Q2947467$E6EE2E31-E483-4575-BF1A-7577F5B73F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f306c0b5759d5b02e9f046614dc5ead7c4dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":5224495,"id":"Q5224495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a576df61244b785878b909474afc83d0af8ea741","datavalue":{"value":{"amount":"+0.7913733720779419","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":"Q2947467$2B6C79DF-5C41-489C-9EBE-8BB155E73644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9aa05a2840408bde1325c70532bd52ef72048d","datavalue":{"value":{"entity-type":"item","numeric-id":5216343,"id":"Q5216343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76bcbae2587f43d6200f15004dc39d4a7a095b5","datavalue":{"value":{"amount":"+0.7832759022712708","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":"Q2947467$5BD44A6D-DF5C-472F-8511-49BDDBA4012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4f51b3670ee2a390fb5ee263dcf68dfeb8e48b","datavalue":{"value":{"entity-type":"item","numeric-id":2897954,"id":"Q2897954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459f13185c9a497146ec8cf72180a2e4d940a6dd","datavalue":{"value":{"amount":"+0.7621774077415466","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":"Q2947467$DBD6CFAA-1C1F-428A-9B07-4F0FD5C62E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e13ca25df2de71a9a71b5f2dda098f088a56ca1","datavalue":{"value":{"entity-type":"item","numeric-id":290917,"id":"Q290917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0011eb25888eebfb0490d80b01e6e429767a0fd7","datavalue":{"value":{"amount":"+0.7593242526054382","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":"Q2947467$D63B6331-A069-460E-8933-E1AE237530C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947467"}}}}}