{"entities":{"Q2880591":{"pageid":2891311,"ns":120,"title":"Item:Q2880591","lastrevid":51447101,"modified":"2026-01-18T07:00:14Z","type":"item","id":"Q2880591","labels":{"en":{"language":"en","value":"Symbolic verification method for definite iterations over tuples of altered data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6024052"}},"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":"Q2880591$99B8805C-92C7-4C9F-AF32-987FD206D7BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c640c439d66b2f1d58a0b2b8c770206b494fcdd3","datavalue":{"value":"1249.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880591$3C6CB5C8-3485-4500-9648-70A2D7ED5C09","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":"Q2880591$74A08022-E19F-411E-B956-EDFB78C5EBDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2880591$4D8EC878-60BA-49B5-9DD9-1C7B7A7F7389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880591$E088F923-D602-4D7A-B999-2E02E698F317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880591$504D3F4A-E09B-4FE1-830B-56116A362D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"693857f38a71e5fb289147c4e6adea5adc385ccd","datavalue":{"value":"6024052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880591$AD9C54AE-0EC6-4E79-8686-726D3BAEFF9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a214e41b43d0c726c88c44d445f43728b5d896","datavalue":{"value":"hierarchical data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880591$D604FCB1-BB26-4B19-BCD4-C750CEB1CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2893fa09af7c452a3cbeeff08900cb59fb691f41","datavalue":{"value":"unaltered data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880591$8B04D170-E4A5-412B-8E31-A21C1A8C098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eb54769e4ccce156966f71ba7b1b5944933a6c","datavalue":{"value":"specification mean","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880591$1CE91F4D-AD59-467D-A871-35EB0D1813B1","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":"Q2880591$B5180D5A-BC48-48DE-8C1C-302F41AB51A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57f0839554d07d6217440d02558f68d001e532a2","datavalue":{"value":{"text":"Symbolic verification method for definite iterations over tuples of altered data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2880591$A21E5BD5-7447-4BE3-B790-F68D33625494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880591$5FE63FD9-8BA3-4615-B520-245267A8CB26","rank":"normal"}],"P1643":[{"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":"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":"Q2880591$2856C537-E209-4C39-A06E-AA5852883995","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":"1d6ec0af7dc8d519b7fa6a36ed994e97f193e22f","datavalue":{"value":{"amount":"+0.9394685626029968","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":"Q2880591$938BE475-16FC-419E-A5C4-78A02812D8B5","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":"ecd2ddebdae37598a6fe98f7928fc3462f25b033","datavalue":{"value":{"amount":"+0.9219939708709716","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":"Q2880591$ECE98FEB-2B41-4814-8EEB-2C359E8B4FAC","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":"ca4bf8c4648926983bc2af0d35a1225af5ac4154","datavalue":{"value":{"amount":"+0.8839184045791626","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":"Q2880591$A847109C-CFAE-4858-8807-E4A74F1860DB","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":"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":"Q2880591$587838CB-7716-49B6-B41F-D687AFFE1A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2880591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2880591"}}}}}