{"entities":{"Q4647844":{"pageid":6677425,"ns":120,"title":"Item:Q4647844","lastrevid":41683474,"modified":"2025-05-07T04:53:58Z","type":"item","id":"Q4647844","labels":{"en":{"language":"en","value":"Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103227"}},"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":"Q4647844$41BFB5A1-8B95-420B-ADC0-1AD5CA2C5620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae4d92f658cda292e4be869fec28a4269185c9ff","datavalue":{"value":{"text":"Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647844$B48D2148-338E-468C-A642-12088E293136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b858d68dd6a83ef4f2de7d08182978b63ae6b9e","datavalue":{"value":"1372.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$A2297B6D-36FD-4B96-9EB4-0311EE29E94F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7593b19be5869cfb3ee246130889d18ecae43555","datavalue":{"value":"10.1007/978-3-642-32759-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$BC71FCC6-208D-4C0F-AF25-2FE9CEC7B7C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9322632ac971658d0e8ab3620673e04d732917b","datavalue":{"value":{"entity-type":"item","numeric-id":3003485,"id":"Q3003485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$C0108F5D-0A50-4D37-ADFB-47C690D2D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$A14A56C5-D2CF-4010-9D44-0F169EE0F016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$C73A09B1-15B0-4471-B0DA-5BDBBF0FA790","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647844$E026F504-5942-4C62-BAC5-2598EA038D88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$7FB502B0-C6D1-4B9E-80FB-0400A31AE5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$1D1E6FBF-A124-47BF-AFF8-58B02F41A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$CF651EFD-434C-45BC-B946-046926EFBDDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d8ea02cfc88baea5a2540d465c3f94674abbcbc","datavalue":{"value":"6103227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$2E5B82F0-2888-4247-B41D-E983FFFBF9FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5957851f96493d0df5b3649ec9c2dde1e47eb89","datavalue":{"value":"verification of imperative algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647844$31D46105-3A12-4A58-B0EB-038C567B5D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f512efd3689013140e4882d9f37791873e782f","datavalue":{"value":"pointer algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647844$38822EF7-E03D-4FAE-B54E-95DCA6217D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8899a1ce58a238a0a140d8c0e4aaa4bc822728","datavalue":{"value":"modular program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647844$A51FB381-F990-4F77-BA9E-FC548BD0B9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647844$044B09CF-5670-411A-9DC0-F42F48E78495","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$5AC67271-62E6-4BBC-A112-D89635257ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$518077AD-2552-47DB-A0F5-5B21E7BCB22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$65A24C1F-BF1D-465A-83B2-F2E1E6A828DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$4C9783E5-FDB7-4FD2-828F-FE9A1B5A4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$20EED49F-7794-4B11-B5D3-193B69F60122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647844$B758261D-12D6-4629-B802-362C93C54089","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":"Q4647844$2980D4F6-9E7F-4AC3-947C-32E217591635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bfbbb8677b763be4e797dee694ff6eccf5c276c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647844$6AC4CE88-99B4-4C05-8DE8-B039858EB9A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5ddbfa6d2095410ad3cd2bca368c880dc881ddf","datavalue":{"value":"W2404373436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647844$1BDBDACE-23AF-48A8-8F36-0C0DE045F29D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebba69e8c4d58cd30db744d3ff4468181332599","datavalue":{"value":{"amount":"+0.88670015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$59CCD861-8AA9-446D-AD71-88E89BA5F435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225ec6d221f9e94e9aa6d8c24361788fd78493bc","datavalue":{"value":{"entity-type":"item","numeric-id":5394591,"id":"Q5394591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55d3fb55e0460cbed5df653375a14a27c3e0962","datavalue":{"value":{"amount":"+0.8832458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$DE21D00A-6DDE-40B3-A54A-2BC09AF8A91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde8a213c1f3435d0d4bca1beeccac65ed7c81a5","datavalue":{"value":{"amount":"+0.87452996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$B83A52F3-86BB-49D6-AF28-B108A070003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da7fded39d5bc2680ca2e5fbb3d52e061fd1e60","datavalue":{"value":{"entity-type":"item","numeric-id":3522062,"id":"Q3522062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817e0bd99b3ebb7a35ef68ae679f0e2effdcdec6","datavalue":{"value":{"amount":"+0.86820245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$A9B8B35A-67FB-407A-A4D3-584BF40A5092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2427580fe696a66930f9241fa6c9f48918c2588e","datavalue":{"value":{"amount":"+0.86595106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$AAD5C75A-EDE7-415E-897B-E680FA41C55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729607214a942e4eac5526645ab553e8a430c30","datavalue":{"value":{"entity-type":"item","numeric-id":4493884,"id":"Q4493884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c3bec157acc0f24a351475fc71501c21fc3ea3","datavalue":{"value":{"amount":"+0.8605312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$C5CEB363-538A-433C-9344-340165C6C652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d14fab8f7d99e95a84bf8279e2ae86f291c09c","datavalue":{"value":{"entity-type":"item","numeric-id":2287078,"id":"Q2287078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d14748ba64e9227e26cd32c8467bb31c963b38","datavalue":{"value":{"amount":"+0.8590348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647844$27E02389-0C83-4E49-BE94-EDF46501430F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647844"}}}}}