{"entities":{"Q3189828":{"pageid":3200536,"ns":120,"title":"Item:Q3189828","lastrevid":86071661,"modified":"2026-06-03T14:08:48Z","type":"item","id":"Q3189828","labels":{"en":{"language":"en","value":"Separation logic, abstraction and inheritance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344217"}},"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":"Q3189828$143705B9-9B7A-43F3-8D37-4DCA90CB1BB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a59bb345a72a54bc30f8d211516f092e167ca42","datavalue":{"value":{"text":"Separation logic, abstraction and inheritance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189828$370E38F3-7D8F-480E-95C8-37E80329814C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1fd19d650094251b475e6de12ee2d2d890685f4","datavalue":{"value":"1295.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$2DE53667-9CA9-40E6-B0D1-70FA6A44C5BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bcccb52653e6c78ed9e48bbde7f4665426cbd75","datavalue":{"value":"10.1145/1328438.1328451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$6E43EA9C-DC39-4B76-8AF5-5CC84337A050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189828$88D3D018-7F10-4EE9-9564-DC5CE08FC58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189828$46D4CDDA-EDC5-4B5B-88CA-83001EAB6D6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189828$A14CF18F-927C-4EB8-A337-8D5470A88895","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189828$EE07CE68-63FE-4951-B1E0-39EC60DD0894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$62C6D911-EDAC-40F5-A792-4680AD8BBC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$EF613EF4-7C3D-42C1-8EFD-313EBFCF3CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$6D52462B-CCA9-4B31-81A8-20FB28857E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$712F2CE7-97F3-4308-AB89-84432DB082FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$7D4D9E7D-E71C-4ACB-B0F5-12A171FDAD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$98CA9CCE-0B74-46BA-824B-D50ADFCAD961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3a822f1d328ea60b8e01caf223b40569559ebf","datavalue":{"value":"6344217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$FFBCDC1B-EE6A-4F0A-BBF6-03A36BEA8AEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189828$9AD3F764-C839-45E7-900D-D63C805B7357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189828$85EB5E43-E5F9-4D7C-ACF8-7EDC99FD3BBF","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":"Q3189828$FD4FAA19-6A29-404E-961C-F87711615AD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"155cd89af83d53f61cc625fcbb7c9dd2c7c6423e","datavalue":{"value":"https://doi.org/10.1145/1328438.1328451","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189828$86D2FE8B-5AFD-443E-8A71-4C6BEE4E959A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"414b4eac7741d913a5364ccdba3cfc7fbbdf0b18","datavalue":{"value":"W2050576837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189828$DDF8ECBD-A97F-49A3-A40E-8D5DF8211150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d635619d77a925f2b5286e84b127f96ad2e1d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d406ae4186e4c0c319bb6c6bea89cc93c3b519","datavalue":{"value":{"amount":"+0.7933738827705383","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":"Q3189828$70C8F509-1D3C-446C-9804-F6FC49DE43FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf99a17c664be4e4a4c80252d583fae0402c61a5","datavalue":{"value":{"entity-type":"item","numeric-id":5415606,"id":"Q5415606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884f6803b5f623a5b379c830babc357944dcd86f","datavalue":{"value":{"amount":"+0.7847703695297241","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":"Q3189828$89D680D5-C550-4A52-8C75-301E2C452C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060cfef53d13b68896ee8f1f3af56bf40d78477c","datavalue":{"value":{"amount":"+0.729785680770874","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":"Q3189828$BCA50730-E5C3-4FD2-A0EB-882AD277D2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f7a7ce1a7f13252635e130300201eb7250a573","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd75f7527484c7c788fcf27155a070ed89a2eb18","datavalue":{"value":{"amount":"+0.7290664315223694","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":"Q3189828$E12F7327-07E2-42D2-AF96-673A5600E848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a171bec68d208d15815f3809936897a4bb95b8","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b5abc7a5226b37b22ec1c1d1edd0d3e5c2e4fa","datavalue":{"value":{"amount":"+0.7251921892166138","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":"Q3189828$F48469B5-2945-45E2-B240-4A41DFD2301D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation logic, abstraction and inheritance","badges":[]}}}}}