{"entities":{"Q6831474":{"pageid":15517932,"ns":120,"title":"Item:Q6831474","lastrevid":84297056,"modified":"2026-05-14T19:24:43Z","type":"item","id":"Q6831474","labels":{"en":{"language":"en","value":"Dynamic separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183015"}},"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":"Q6831474$4439A836-1ADD-4BFD-87A8-3C4C0F14E1AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b74a3ca54a6e287d7e8384aad2205c2311311124","datavalue":{"value":{"text":"Dynamic separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831474$43674AA6-F7AD-4389-9571-633E0CCBA79E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a4393acc9ce24db03993187fbe23b05b8bcfbbc","datavalue":{"value":"10.46298/ENTICS.12297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831474$055A892A-DF6B-455E-890F-0C948334EFB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$88461049-3353-4DFC-AEE0-07D4A0C4745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"215a6f15b6577f5bb7dab2e8f95a2ff457c27f20","datavalue":{"value":{"entity-type":"item","numeric-id":6185825,"id":"Q6185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$A3970150-744D-4C11-BFAB-FEACDAC60E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$9F17FA63-FC11-442D-ACE9-5A1C1C24E286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831474$0C75BBC2-EDB4-45F3-AF8A-59B3F9E0DB7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831474$9129C75A-57A0-4085-912B-EE66AED312AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831474$8CA1D669-21AD-4515-9204-6EF624ADE7E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2b4658ba78dea6de2fff828bda6b80c0c223fb4","datavalue":{"value":"8183015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831474$897DB689-6B7D-4833-B592-5CF12C1A4E0B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$AF471AA5-D25B-4BA4-BD16-42F3B825769F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831474$40935D22-182D-48D9-A5FF-7106C3CA809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831474$1567517E-2946-499C-9668-B54315775BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831474$D86F2822-088D-4E53-BD72-983DF866F67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831474$69E0BA0A-86B5-44F4-93DB-61FC0FCA371F","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":"Q6831474$BEFFBBA2-F2E2-48BB-A1C5-DC09C08AF12D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c05d0ef6ce564cc6d72ce257c10e051d9cd4daf","datavalue":{"value":{"entity-type":"item","numeric-id":5177333,"id":"Q5177333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$84B5AFDD-7D56-47DE-80B3-FB0DB3BBC263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab67088e42c7f3c0398fcd33bc3d34a272791aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1791147,"id":"Q1791147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$FEEBF4FF-44B8-482B-AA09-0C21E6FA6C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf8423a6207d2b62d66d36a056cab45be06583e","datavalue":{"value":{"entity-type":"item","numeric-id":5155678,"id":"Q5155678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$AAA5926B-3776-484B-991A-ADE2B8A892F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$919507D6-410E-40C0-9F77-401227880F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16a3a901c59b73e252c7c2c8ed885178a406401","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$45E03382-2BF4-4039-AC24-FA29B3C86691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$F9110430-B8E0-43C9-B3A5-225BEC54A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$A102C8D4-32AD-4854-8F30-473881752D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020df9cc5924ccd3b574508c7bb8ae9b1bde3231","datavalue":{"value":{"entity-type":"item","numeric-id":5041109,"id":"Q5041109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$B4783ED9-8E5D-4000-B638-80B4E9C41B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d253cd09fdf7bfd1caa809be84864afa2d5afe","datavalue":{"value":{"entity-type":"item","numeric-id":3094179,"id":"Q3094179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$A1D43D83-8B41-45EB-B8C1-83DD21360A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$A13BDA71-F71C-4624-9588-FB2BF9936B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51744bbaabae728a8929f8609bc516657e80f106","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$E4931587-5B4F-4B50-80A1-1DF6B5E7C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76237b0e21f459410eab95a9c9af3e5568f51e4","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831474$E38D2C00-7DEA-40E2-8F22-889C501F7BDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_separation_logic"}}}}}