{"entities":{"Q40551":{"pageid":40607,"ns":120,"title":"Item:Q40551","lastrevid":105429086,"modified":"2026-10-09T10:11:14Z","type":"item","id":"Q40551","labels":{"en":{"language":"en","value":"Deutsch Schorr Waite"}},"descriptions":{"en":{"language":"en","value":"AFP entry GraphMarkingIBP"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4921e65aa8e914e7c4c8ce3022a01ffae92653d1","datavalue":{"value":"28837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40551$D88FD413-6D0B-4F8C-B678-BE9254100FC1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$D3CB4BAB-93B5-48D4-96C8-5EE0ECA65EA2","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"00ee55e0bc915bf6d1a3b451fb3a39c3c41de48b","datavalue":{"value":"https://www.isa-afp.org/entries/GraphMarkingIBP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40551$9325CD10-2A40-48D6-8013-D42F136EAB5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40551$ACC682A4-0583-4BD7-AE20-B18B2DC995D9","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dd299331532b0afcaf4fd37659c0a0fbfd1d5ce1","datavalue":{"value":{"entity-type":"item","numeric-id":40550,"id":"Q40550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$AC81EED3-68E0-4A04-9BFA-0068849BE6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$D520527F-7246-41C6-AB57-2AA757AABD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$089C53E8-3AFA-4A59-B92F-8EEEA4D6C512","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11da20f9d96cb384540e2df942e15c6d7cf5b771","datavalue":{"value":"https://isa-afp.org/entries/GraphMarkingIBP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40551$C36B5DAB-B247-46AD-A969-C94D69201A6F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e58535bbff9a4f8205212cab6c53fba3387933bb","datavalue":{"value":"Viorel Preoteasa","type":"string"},"datatype":"string"},"type":"statement","id":"Q40551$9D5D7859-B023-4539-A0A8-848CE5DECADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f5bcdbc1ab6fbccb1a72887ac2bb67ff77bf5262","datavalue":{"value":"Ralph-Johan Back","type":"string"},"datatype":"string"},"type":"statement","id":"Q40551$9DF346CC-02CC-45C6-984B-2D94B34A03D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1f2c757138577b13981d72cd1817709cc62e01b","datavalue":{"value":"The verification of the Deutsch-Schorr-Waite graph marking algorithm is used as a benchmark in many formalizations of pointer programs. The main purpose of this mechanization is to show how data refinement of invariant based programs can be used in verifying practical algorithms. The verification starts with an abstract algorithm working on a graph given by a relation next on nodes. Gradually the abstract program is refined into Deutsch-Schorr-Waite graph marking algorithm where only one bit per graph node of additional memory is used for marking.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40551$9EC59A64-E7FE-40F2-ADD1-AD2BFE1191BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$A158FC89-420D-4D18-926D-EA4D1B32E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$64BB7121-9F9C-4F34-A394-D9602AAE3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$07758975-9DE2-414A-8E9A-B0DEDE13C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$8BE3DB6B-C9E2-4B3D-8A68-4634AA546FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb2a6a154950a8c292017ec031422ff8d0bb2ba","datavalue":{"value":{"entity-type":"item","numeric-id":1413082,"id":"Q1413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$9A27D53E-3CBC-49DF-A186-143FF32285AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$5345F54E-F5C6-4125-888B-893763928119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$4E2F1701-E7F1-471C-82CE-0155E7BC9954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$8412F856-24AF-4E94-BAFC-A145C5B8D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$72F7C588-BBEB-4A07-B755-6B51FDCF58B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$84ED95CE-FD96-436E-B5D8-144D5661D3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$457DF22E-1EF6-41E1-BF0D-2E1EE501BC70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0dd9350793171b1d4c029f4c515e1e2ec3a8f1","datavalue":{"value":{"time":"+2010-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40551$B414B57F-7FB2-4312-BAFE-1207CDB03D63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c551b60bbd5f20b169eedc4af62c0f517bd827a7","datavalue":{"value":{"text":"Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40551$FCA8E31E-0AFC-4F2A-B0A8-09BEED5F9698","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$8DCF15EB-229B-4E63-9AD6-82FB1523CB60","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"dc16841655ccc6c5efa2bad0e001520236c00f45","datavalue":{"value":{"entity-type":"item","numeric-id":7361822,"id":"Q7361822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$B673DA9E-4110-460D-AD5F-9990DE4D80B8","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"0cb214ba14504ce52502380598f813a3d010fff5","datavalue":{"value":{"entity-type":"item","numeric-id":7360777,"id":"Q7360777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40551$76985D34-629E-42E5-B7FD-87E2EE257624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deutsch Schorr Waite","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deutsch_Schorr_Waite"}}}}}