{"entities":{"Q5452196":{"pageid":7481755,"ns":120,"title":"Item:Q5452196","lastrevid":50314157,"modified":"2026-01-13T19:37:17Z","type":"item","id":"Q5452196","labels":{"en":{"language":"en","value":"Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5252796"}},"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":"Q5452196$343FE1BF-92CA-48DE-908B-75A4D03A630C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcc643ae2f68ef6a0a8d0e99f64bc3d0e09c8aae","datavalue":{"value":{"text":"Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452196$C65E2626-12AC-48CE-8F05-2AB6FB4E10E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1032c412f5915cbc55a37f80119e7b5090a567e6","datavalue":{"value":"1133.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$B08772BC-1209-43EE-BACF-410103EC6E1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32fc00098855448647e84c0666ce929c3617ddc3","datavalue":{"value":"10.1007/978-3-540-78127-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$98BC32D7-5E2B-4480-8CF8-F50B13DAA67B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$320BFD8A-2735-45F1-A2FE-B28A2855430C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"22a2133d6ff5ba41f45d27ff340ca0b332523802","datavalue":{"value":{"entity-type":"item","numeric-id":5452170,"id":"Q5452170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$E148822A-FB1C-446E-B728-021769867C4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"676cc1446d382c56905ed0fcaec27210a6a45798","datavalue":{"value":{"time":"+2008-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452196$96A07257-B841-4EB1-86EF-EF8031475DFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$95A8E067-1B7B-49A3-AEBE-61D648FFCEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$B7652608-E2A8-4B64-9B07-843085B4BAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4149d9ffa46b40ff0bafc6377ee8ddf3c1c8a9e","datavalue":{"value":"5252796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$AE04F0BC-DFFC-4051-932E-42DBC22782AB","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":"Q5452196$C2F0BA09-7F59-41D6-91A4-6AA9E8880678","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a46dc66d9d4c365b9fda9eec0908281a251d45d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78127-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452196$9FA436E8-2E6A-4EE8-A042-40D0FD841827","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e498fef110ebb5edfb79a2e0aa70411b5785550","datavalue":{"value":"W1805056271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452196$C0EB0B0D-2A99-4047-A1B8-F5E312263506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$63A32FB0-6F4D-4B1B-BFDF-D22685193C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be6e89b1ab79158b9f17604b3428fc2a3e7f728","datavalue":{"value":{"entity-type":"item","numeric-id":4130984,"id":"Q4130984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$CC0795E0-35BE-4D3B-BD3D-5B3C62B83043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa12f97db44d0a3112edf67288fb4f359bbd6f7","datavalue":{"value":{"entity-type":"item","numeric-id":4493907,"id":"Q4493907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$7A6B58BE-4C1B-4ED4-B255-01BBE09949FC","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":"Q5452196$371F6914-0C61-4C1E-8A2F-99398743D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530a0088eab2b772913687ffac9402800499441a","datavalue":{"value":{"entity-type":"item","numeric-id":5659054,"id":"Q5659054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$3D24AE66-A3DD-4734-9C40-63EF8E26C1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1040f5d7de42f2064718e38c58ade083ef9993","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$A4C426BF-8AC2-42AD-96D5-49B4E704D138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b69785742bae8a46dab1d942229a955ccc194e3","datavalue":{"value":{"entity-type":"item","numeric-id":3949940,"id":"Q3949940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$79688C62-1468-4049-A499-EBD7E5F07574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$51817BCE-A367-48D6-AE87-F8526372FBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447080a77c9018e473151c503e22f493141efe68","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$9C0A0585-1A01-4875-9785-FA30EB23109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c3f13394696a79934f158748aed0ccfed1c632","datavalue":{"value":{"entity-type":"item","numeric-id":4436978,"id":"Q4436978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$1E9D6E44-A885-4905-A604-9D260BEFD8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205d1705864b97453d55650d290851b2a7983691","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$BE9420CA-63F9-4C6D-A1D3-5B151A71801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea9440eeacb4ef92661b796e25523ef8bbdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$83EA7D84-FFA7-455E-B881-1E2D6E7AFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5177d6f595d43943e03805458395cc26fcf8e324","datavalue":{"value":{"entity-type":"item","numeric-id":1311971,"id":"Q1311971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$34169790-62B7-465A-A7E7-199B60304425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113e2248c617fa3a080cdfb7869c81c5dffbb0c0","datavalue":{"value":{"entity-type":"item","numeric-id":1285767,"id":"Q1285767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$21BD7564-774D-461D-9351-0E156F991603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5684af8b38142d6e69111c9c627917f4592c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4517376,"id":"Q4517376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$8DB031F8-28EA-48D6-A071-D719B927E55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6413289d9ce366e9c6da364c27b4db8296f811c9","datavalue":{"value":{"entity-type":"item","numeric-id":2488048,"id":"Q2488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$FCD7C38C-0F4B-4090-982C-7E4E1A0E7F01","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":"Q5452196$4526B314-AC78-48A8-B204-A5DAAE55AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fb1bdfa35ba87ef51085756d56d2be8b5d4eac","datavalue":{"value":{"entity-type":"item","numeric-id":4808844,"id":"Q4808844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452196$DA07412A-7870-4322-9190-979C396141CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879f9f556b1fda42f6b1a724143972ac0e0c32e8","datavalue":{"value":{"entity-type":"item","numeric-id":2880591,"id":"Q2880591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a8a5d5b5f3f14def7abe757bed814fcd1efbed","datavalue":{"value":{"amount":"+0.9659058451652528","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":"Q5452196$E432532C-BE67-48DD-AF06-5244AD2F9B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38bdcb258dc5088364a39b394a36c0d5faa07f76","datavalue":{"value":{"entity-type":"item","numeric-id":3152936,"id":"Q3152936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ae374427f142241dbc5b93e9e5bb6a05f092fb","datavalue":{"value":{"amount":"+0.9205506443977356","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":"Q5452196$C444FF45-33E1-4978-860F-1381483D4A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d129f5a1eef13f405d0efba434d7fce6cdad0de","datavalue":{"value":{"entity-type":"item","numeric-id":2488048,"id":"Q2488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af63fbc6c05ee406271cbd352e9e8798233d629","datavalue":{"value":{"amount":"+0.9195376634597778","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":"Q5452196$586D51E2-2221-4E13-90D3-B06BB9589A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4018c02e7db9904c539f4028ab9c71426b90cda2","datavalue":{"value":{"entity-type":"item","numeric-id":2467973,"id":"Q2467973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449fe0d02289b520f6660a75451213c8dd5a45db","datavalue":{"value":{"amount":"+0.8678438067436218","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":"Q5452196$2F55E6A0-74FA-471F-92F9-88F6AF7D72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d6d2bd98886a33d8b12dc231aed74e0bbfbd1b","datavalue":{"value":{"entity-type":"item","numeric-id":1285767,"id":"Q1285767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2842fc0e14b7f326d93ba89e61d8cb2674b123","datavalue":{"value":{"amount":"+0.8607491254806519","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":"Q5452196$638E10A7-E6E7-482A-93A6-0DAB2EABE65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452196"}}}}}