{"entities":{"Q4916225":{"pageid":6945806,"ns":120,"title":"Item:Q4916225","lastrevid":40773542,"modified":"2025-04-04T15:45:54Z","type":"item","id":"Q4916225","labels":{"en":{"language":"en","value":"Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156033"}},"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":"Q4916225$44C9A10F-8E30-4F87-AD20-FAE79F3F47C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c90c378307263b218be84f82dc067f2df9c5f541","datavalue":{"value":{"text":"Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916225$B56C48D1-0E40-41F0-B551-FE913A5F8100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a904248e4e4f02782491433190bd5e482671d0bd","datavalue":{"value":"1261.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$D56918BB-13F3-4B9E-8559-31167B7AED60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73337c0dc157e2817c75b60572fa3fbda4508783","datavalue":{"value":"10.1016/S1571-0661(04)80656-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$1CB5ABA7-740A-4E14-86B9-861D5956CA73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$E7AD10AB-4F75-4070-8644-43F37BF3B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$7979DF9A-6D39-4DF2-94B0-9EF184299B20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$AAC93034-4FD0-4179-BA6B-8AA4F769DE5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916225$E30EA428-1926-49A5-BE52-4AE8501E0E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$73B9AAA4-48F7-43D4-927B-CEDAB19318FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$99CA45ED-1559-4EB5-9898-3DBFE79ABF22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75744cd56ce3403e8d84464b074026fe717199a6","datavalue":{"value":"6156033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$2B546A0B-FD87-4BFB-936A-61274285160D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$3DEFA9D8-95F5-4CCD-8441-504E5ED022AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$D28DB8C2-221E-4292-8102-81576F3D0DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$BEEF3FB7-5357-4160-B35F-4F83B35E6757","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":"Q4916225$252722C7-868B-4F96-852A-CC0040784497","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73dfedd70721a2d985e7e0b83a597926fdc2dec8","datavalue":{"value":"Q56020736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$AFB048DF-8126-4B30-86EB-0CB04F02EF46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$9ADAF166-1142-4087-B1D5-0204ED86C961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$AE1A1704-EEDA-439C-A89A-5E8266E3E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$FF874913-BDC5-4CEB-B930-192627F77C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$18015D88-248A-47CF-AF52-AB9CCC8A19DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$260FD418-03BF-45FE-AE1F-7DB4D4754067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2ce8d75bad88e1b3706bd9db93a7e7f0fc30a2","datavalue":{"value":{"entity-type":"item","numeric-id":3312162,"id":"Q3312162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$4C5B7ED4-A53B-4808-8768-451F7C99C2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$DF081482-41AF-489C-B68E-1621DA6DC6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af4446c258073d46652af17283f2fa56a3de968","datavalue":{"value":{"entity-type":"item","numeric-id":2722052,"id":"Q2722052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$D7F9356B-A852-4658-B07D-88255F23246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689e79cb9366c053465644e5ffddf982ad0107f1","datavalue":{"value":{"entity-type":"item","numeric-id":4170196,"id":"Q4170196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$C194B6F2-FC75-4E11-863F-D44423817303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$99F8B7C0-2B56-4511-AA05-1F0E0FE63058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065f4185f061cd933faaff48417f09d2b47b5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4428300,"id":"Q4428300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$6F8E17FC-54E1-43AB-817A-F558E5BEDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1007c5b91c8207d3ed3336e3c47a961d37b6339","datavalue":{"value":{"entity-type":"item","numeric-id":4417916,"id":"Q4417916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$9349EAB0-EB23-4427-9FE3-A28D759C20C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$DA868EA2-0176-4470-829F-A791E2C9CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$B75A6220-EEB8-48D0-89C3-9B6F81A17D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc30ac9d1ad9edb0b35fbd37c857707994a7d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1332638,"id":"Q1332638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$75EBE5D4-7F08-410D-BF14-319ED5118471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$7AE9A668-956D-43E5-BB64-B3054D478A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e299710355abad548b5cb01c684a2fb0f4121df","datavalue":{"value":{"entity-type":"item","numeric-id":4868260,"id":"Q4868260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$23FB3BF1-6655-4A64-B592-570B85862EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$7905FCB3-688F-42E0-88FD-5EECEB0994BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$B6B58FA8-DA97-47B7-B06F-2DE5DA3EF4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916225$ECD399C5-C3B5-414B-98DF-27BC513D5FED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f81b81c1371a067bb2d2677ef0a0379a48bbce4d","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80656-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916225$86C4A161-43F7-494B-B61C-B277662FCE26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5082ff885bd564a2992e29b46aad9f53cf8c0627","datavalue":{"value":"W1991453972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916225$0C96F706-8E5E-4A6C-8194-D96E294ADC9B","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":"cd44f151ed926aa37918b2cf720d13763f8317ce","datavalue":{"value":{"amount":"+0.8995448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$14A7C3AA-4565-40DF-AA0E-77183F101DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb743007b6943027b91a30f5c735906cb910d6b","datavalue":{"value":{"amount":"+0.89539564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$1A841575-5C45-4C68-9FE0-8151D735AC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5287ae970ea8cc1a22fd64487aab6458b768423e","datavalue":{"value":{"amount":"+0.89037704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$71FCAFAF-C997-4527-943E-A45CD8DD167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0b9c32ef14dffa0a3544b1fd302ae3602cb353","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe90098fd18801952bb0dc52a2f71409cc647a1","datavalue":{"value":{"amount":"+0.8874771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$2DFFE0B5-8120-4279-B42F-C0449CA37C08","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":"b2e8d88f5e861b171128daab656856607b645f88","datavalue":{"value":{"amount":"+0.88518786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$FD3C6475-FFF6-4348-870E-5F5610091307","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":"a7c013b8325dbbeedc4e7c57f41c10c6d3851268","datavalue":{"value":{"amount":"+0.87631917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$0E5D262F-AF49-42C5-A906-EFC2FE3F7AB1","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":"102851987a363714eda2cf6a70d03df25127ceb3","datavalue":{"value":{"amount":"+0.874756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$06C1FA82-F4D1-48C8-A0DB-A4354070D7EC","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":"f1aed37a3fad4f38c99788b8b84fc3a4746cbe11","datavalue":{"value":{"amount":"+0.8746628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916225$1FFD37BB-1D22-48F7-B67A-C68C1F77B6F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916225"}}}}}