{"entities":{"Q2467973":{"pageid":2478716,"ns":120,"title":"Item:Q2467973","lastrevid":50263232,"modified":"2026-01-13T16:44:58Z","type":"item","id":"Q2467973","labels":{"en":{"language":"en","value":"Verification of finite iterations over collections of variable data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5230961"}},"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":"Q2467973$ABC22EAE-6C92-4A51-A620-4CFC0334F9D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ba92fe4f2b290013d308587105a977f9ff01cbb","datavalue":{"value":{"text":"Verification of finite iterations over collections of variable data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2467973$95EEF7B1-F558-494D-A55E-D457EC49B62E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12276012af5c4f10b11209b40eeb2c359f372c90","datavalue":{"value":"1130.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$7F5E302B-9547-4087-B315-C3922FC555F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467973$50E3C7EB-63D4-4E5C-923D-F6E7E8F7E557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467973$5499BFC1-F981-450B-A6F1-DDAB0F14A6F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b80f2db475e02b6d953b62efc1e9f2803126ac8f","datavalue":{"value":{"time":"+2008-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2467973$01AE8B65-3388-43A5-A756-3C3E02CE8211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$FD436966-79AC-46CC-87E5-BEF7EAB5E135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$3BE5AA04-ED15-4C69-A49D-5B36F7EA9812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5312a598e6039d57adc3a3f7ff4701c55f387aa4","datavalue":{"value":"5230961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$59422C67-B19B-41F8-BED3-CAB0CCC0B742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2b148ea1cc4e64b1f84ceb9a0cc2469328ad3c","datavalue":{"value":"finite iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467973$1559AF2F-E5D1-482C-9B91-2D63762AF84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467973$CEBDE7DC-ABF7-4A77-90DB-B8BD92CA7987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4fdaea8ac57236868539ee507afa657cd346bd3","datavalue":{"value":"symbolic verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467973$97F0807D-3C1B-4F23-A2C5-972E6E4DBCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8421a3e31f285d6da647857a8d959edc9965a40c","datavalue":{"value":"pointer program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467973$79C605B3-D8E4-4F13-95DC-F66A778A141E","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":"Q2467973$79B463B1-0498-4356-8153-4BF5CEE0BAB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c487a797e48ee7e34496390eb89e85d7daf2d242","datavalue":{"value":"https://doi.org/10.1007/s10559-007-0055-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2467973$2B95B9D3-7116-4F09-A34C-C8B6136FCCD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b3a241319292d6f01bb9593ee3bbdfd4461d5e","datavalue":{"value":"W2034886342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$649813C9-4479-428D-9279-66B6920FD2BD","rank":"normal"}],"P223":[{"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":"Q2467973$15BB0814-E2A9-4CE7-B24F-9E386A9C763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15358d43a73fcb9797fd14b88604aff3ae5b4d46","datavalue":{"value":{"entity-type":"item","numeric-id":3038593,"id":"Q3038593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467973$A1C324A9-2DAD-40E3-A2F8-2D0769A24D8A","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":"Q2467973$493D3277-CC93-40D3-A983-E3B82A16EEED","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":"Q2467973$86AE5731-672B-4549-9C44-8A94E6D777C0","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":"Q2467973$AE4E3E3A-71CE-44F8-82F3-02AFD9B0C492","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":"Q2467973$DE1BB419-6192-4652-BC6D-404B3D38F761","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":"Q2467973$3D89721F-FFE4-4243-B991-37F0CF4D8A5A","rank":"normal"},{"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":"Q2467973$79D27BED-49B6-4ADE-BBA7-CD092972E44A","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":"Q2467973$BE7AE2B9-735B-4368-B150-17A9F1D29742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"113172810437aa76e5f26d0d92a806d4220d8717","datavalue":{"value":"10.1007/S10559-007-0055-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467973$4BF4695B-E571-46B2-8562-303CCD064B7D","rank":"normal"}],"P1643":[{"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":"79c69a818e2da2ec5f413feff520b015780b39d5","datavalue":{"value":{"amount":"+0.8831902742385864","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":"Q2467973$260ADD04-A5BA-4D85-AD0D-25390C6DD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406bfd2ba0200296a70457b3b3c22f7123ba776b","datavalue":{"value":{"entity-type":"item","numeric-id":1974308,"id":"Q1974308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c255e5c80d55ac59b901188fba99054e3f61ca4","datavalue":{"value":{"amount":"+0.8696774244308472","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":"Q2467973$B63A0C90-742F-4C90-8103-4E8D9F7E31B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57893a0a6b00fa911895bbac0c8451ab24454fc","datavalue":{"value":{"entity-type":"item","numeric-id":3804172,"id":"Q3804172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c255e5c80d55ac59b901188fba99054e3f61ca4","datavalue":{"value":{"amount":"+0.8696774244308472","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":"Q2467973$BC163897-D715-4DD7-BF7F-78851E109F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402b36d38161f701a486c77c25d32e28a7ac0455","datavalue":{"value":{"entity-type":"item","numeric-id":5452196,"id":"Q5452196"},"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":"Q2467973$90238564-E902-4A8A-BF9E-2A22BF13136C","rank":"normal"},{"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":"158d9481fc0c99c9ab2ddda46e290dcd4ce000a9","datavalue":{"value":{"amount":"+0.8654273748397827","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":"Q2467973$9B75396E-0400-44D7-B785-4DD313043DB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2467973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2467973"}}}}}