{"entities":{"Q2848907":{"pageid":2859627,"ns":120,"title":"Item:Q2848907","lastrevid":44704107,"modified":"2025-11-25T07:28:26Z","type":"item","id":"Q2848907","labels":{"en":{"language":"en","value":"Simplifying the Verification of Quantified Array Assertions via Code Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208076"}},"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":"Q2848907$FEBE5BD6-D51F-425A-ACD3-D79BAFD20B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e191212a33614601a1e9f2d5e1a20903eb9f3b41","datavalue":{"value":{"text":"Simplifying the Verification of Quantified Array Assertions via Code Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848907$E3F06538-E2D7-4A7F-B12A-7700983F20DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a73952c189bbc524c779a81046d52129c9f4ea7","datavalue":{"value":"1394.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$7CEFE2E0-9F60-426A-BDC1-8E6F995A70F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeafdf83ddea35aefc689f4cd86624b5c9a2c59d","datavalue":{"value":"10.1007/978-3-642-38197-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$0CB967D6-8F55-4078-97B4-8D02C9473C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc663e4e1b1b01bdb807bcb364eb0ac57acb9da6","datavalue":{"value":{"entity-type":"item","numeric-id":2789047,"id":"Q2789047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848907$25EF2950-EFEC-4945-B8D5-9903AC2AAF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ecefe21c6ae876627103481238d3a51a19d6a6","datavalue":{"value":{"entity-type":"item","numeric-id":479833,"id":"Q479833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848907$AA17E5D4-47B7-45AC-BCB5-B5EF4371D072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848907$0A374237-FF23-49CB-A6FA-4938C014D5E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-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":"Q2848907$61B7C0C7-7FF7-4929-8D14-0A482FF1B30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$CD3822D4-76E3-413D-88F9-DEC8E5E7D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$2B6FD89E-7E7D-4B9C-A869-B4176B68A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$6C86B59C-C480-4D42-AAC2-1B210A8DDF68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e547399c6adaabc0754792fc4a574863a1292c","datavalue":{"value":"6208076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$970A9507-4385-4A88-8FF3-4904895A17D7","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":"Q2848907$0C493683-7132-4648-ABB8-E86C9142AD43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d96fa8ec8c870c7aaf39845e3d6f669ad71781df","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38197-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848907$70DF2FD7-8361-4D55-A83C-8191CB9CB9DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"427267cf29d87d275843104228ec43c11a46fc2e","datavalue":{"value":"W180202015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848907$9E51AFD0-CF72-4369-B699-F4C6520343F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9df28066ae318ebf603fc9d6ca566aa213e7187","datavalue":{"value":{"amount":"+0.9208547","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":"Q2848907$4198B684-4E8E-4140-BF17-4CC7CB0324BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1ce7c36cb4433e3b70369b96f6c76af9c0b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab80186a0f5b5b47d54f6bbabe7ce9c6e570c51","datavalue":{"value":{"amount":"+0.91136515","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":"Q2848907$1CDBA7D8-256B-41AE-BAB0-128925562FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9710f4030e49187b39ca798ce2f3b5a0d178205b","datavalue":{"value":{"entity-type":"item","numeric-id":3067480,"id":"Q3067480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a55d904d949cf4d172404f5083621842de9a40","datavalue":{"value":{"amount":"+0.90093803","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":"Q2848907$D7F27559-A10F-46E8-9333-8CBF6C01A2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226e2e4cd98cedf563a4980a68e2180d1fecaae4","datavalue":{"value":{"entity-type":"item","numeric-id":5302878,"id":"Q5302878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f404fd6c623e272e656dfefa85d93918ba0715a","datavalue":{"value":{"amount":"+0.8822843","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":"Q2848907$3E07CA09-96C5-49F1-A037-D8BB091466CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e86e4866d63f946a9dce0ff82cf98a3b2b8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5464711,"id":"Q5464711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf3810917264400c39804bab696383c7f13387c","datavalue":{"value":{"amount":"+0.87783164","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":"Q2848907$67E9E512-1318-46CE-968E-A3DC7B888776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d1f830652fa58533549c60b797285779e441c6","datavalue":{"value":{"entity-type":"item","numeric-id":2409744,"id":"Q2409744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32014f9a3fb7394eed9f85626cbc2906b6aea75f","datavalue":{"value":{"amount":"+0.873712","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":"Q2848907$E5EE553C-C418-4D93-8D54-4477D08AB5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5408e13c72013dbf0518d9f7816f407facd01b","datavalue":{"value":{"entity-type":"item","numeric-id":5020652,"id":"Q5020652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d947ecbb96b386c1afad7a9f0e7292e22f7868c","datavalue":{"value":{"amount":"+0.8634001","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":"Q2848907$2117513A-274E-4C9A-9CC6-01B86FD69BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bff1f56036503f0e0ca73afb75ee805643eaec","datavalue":{"value":{"amount":"+0.861739","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":"Q2848907$E0FE9441-4B62-4617-98EB-09040A570C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3462a82dacd8cb6ff6124c2238751356daafea","datavalue":{"value":{"entity-type":"item","numeric-id":784119,"id":"Q784119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9920f39a8333e6f2294f65e6c47bf9c6032c4d","datavalue":{"value":{"amount":"+0.8597446","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":"Q2848907$E8FBA231-7C96-4FC6-BF27-56724414AC25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848907"}}}}}