{"entities":{"Q6535688":{"pageid":14146831,"ns":120,"title":"Item:Q6535688","lastrevid":57343848,"modified":"2026-03-30T14:05:18Z","type":"item","id":"Q6535688","labels":{"en":{"language":"en","value":"Automatic program instrumentation for automatic verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798103"}},"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":"Q6535688$CD104B94-14F2-4D1D-A8D2-C93D519F765E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b869760734e7058ef9fd2d53b87741fa79f3a57","datavalue":{"value":{"text":"Automatic program instrumentation for automatic verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535688$6946144B-314C-4E0C-A8DF-F604AAFC034E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88e245101cd98c30ed1cd232070bddb82476ea62","datavalue":{"value":"1547.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535688$439640D6-2012-4F13-8481-1D7CD15C4446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9514d549b1e44b4eafb561d51b61ead35dfcabe4","datavalue":{"value":"10.1007/978-3-031-37709-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535688$174EEB08-2839-4DA4-AB6B-F973488B5179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ede788b7c2f0664968a98a50248af415821030","datavalue":{"value":{"entity-type":"item","numeric-id":6535687,"id":"Q6535687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$356911F9-9225-4448-B176-DD64B143D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c5a618791e3c35712218b5ea3289f56e12c9ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2119111,"id":"Q2119111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$AE3FA945-1B1D-41AE-B048-911C78A8C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$AB9A3BD9-39A6-4FE9-BA4A-3C8B9B78435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"358925b6203320f30911883b8198deb849766e10","datavalue":{"value":{"entity-type":"item","numeric-id":2044182,"id":"Q2044182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$E70BCE8F-4758-4A2B-8163-29527B39317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$CF44377F-7CDB-4693-B83F-117BC666319F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535688$9E5AACF9-FACA-45AF-9997-C9AD30DEFE4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535688$E630CAAC-2D2A-4B1A-861E-3FF201BFA350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535688$06AFFE09-403F-425E-BD8A-A0D115DF4EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e96e63c55c09a14b00c7dfded7a9eed7282929","datavalue":{"value":"7798103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535688$03382540-9D08-4BFC-BBD4-BF7302AC9632","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":"Q6535688$5194631A-64DE-4EA8-8A5D-6D55E302481F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a257ff0958ba2ab18651e0ae0e647b82a1a678f","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$AF8E11D1-FD73-45F8-9BD9-5DE5FF81D633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$C8A8DE21-2FB8-44A1-9188-384B2AC52E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$BD061ABA-E6C4-44FF-A5CF-7436315A383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae9e7db1bfa350e543799b1c4534f1a0b1eb0e3","datavalue":{"value":{"entity-type":"item","numeric-id":4633555,"id":"Q4633555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$7A0590E4-E75D-42E7-B990-585F55E9DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d61789d73b4e57e1337b5fd2eca628fb8afe9","datavalue":{"value":{"entity-type":"item","numeric-id":5038461,"id":"Q5038461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$4FBCDFCB-7264-4739-807C-90524B957783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$FBF0E7A0-48E9-46B7-82B5-75B06CC0E930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02759ce8c8ae852d43a0e7634ebdc12071131b","datavalue":{"value":{"entity-type":"item","numeric-id":518394,"id":"Q518394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$BDB63E8D-2F6C-491F-9F1F-D4548EF4E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$D37EB99F-F38C-485A-B2F9-33A80E596632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$4EC2859C-7147-4BC0-872F-5A7B8CF09C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$4922A13C-CAC9-4574-9B4D-500D2B71ABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fd00c18d77c374b583976d4f75c6c0cfb56434","datavalue":{"value":{"entity-type":"item","numeric-id":4933316,"id":"Q4933316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$487A7126-5CA4-4D6D-95F8-BF706820BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc3d259cc7fac0e3bc3d0b896617a58bb7c7d08","datavalue":{"value":{"entity-type":"item","numeric-id":4645747,"id":"Q4645747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$6B02A483-9BE9-4889-9C45-71FB636E51BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e281f1a8bd81bcc02f36ccd6713a6b9fc5028154","datavalue":{"value":{"entity-type":"item","numeric-id":4508288,"id":"Q4508288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$D5EBB0C5-4B0A-4323-AB9F-65FD77CF1FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$BF2B953C-5D76-41EC-9A46-0B9D8B1420EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caae280f68c4c75b7241ece1c9cd53ba54f97d20","datavalue":{"value":{"entity-type":"item","numeric-id":5041108,"id":"Q5041108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$B0EB631E-19BB-43AD-8898-B802E4A9E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e7a69944a208912cc786a2c8236ca37bc32116","datavalue":{"value":{"entity-type":"item","numeric-id":1664399,"id":"Q1664399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$B6F89F3E-8459-4CE6-A3DC-C9247546B65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$87EDD606-CDB8-4811-8B0E-F1DE0E8203D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$DD4BA252-8B24-463D-A5CC-993EC29EF0EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ff17ec6498d24801a74812f7e63fe7518c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2848907,"id":"Q2848907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361cf2fdea76bcca8c27994dba499d28963a3a9d","datavalue":{"value":{"amount":"+0.7331010699272156","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":"Q6535688$18C01C4B-8C1F-47B7-8071-28DD32F9D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84befa268de10235a1bff93ee7556136f5b306aa","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7244d5a06af4799825c482f59436d5afc7a200d8","datavalue":{"value":{"amount":"+0.6990468502044678","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":"Q6535688$B1A03FAE-E41E-4368-A250-D5445B23E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f8a2e88c1a5f77b006bdb34e5465355f101ebe","datavalue":{"value":{"amount":"+0.6922929883003235","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":"Q6535688$CF60D78A-FCF7-47D9-95EA-492BF537DEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06f3ed5bbf8c0a988a9fda6b7cd82b38eb7507c","datavalue":{"value":{"amount":"+0.69187992811203","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":"Q6535688$CABC76D7-1765-4398-908C-CB5A18058EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0dc9970be76fe5a99e7b6754245274fd8f4cb8","datavalue":{"value":{"amount":"+0.687697172164917","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":"Q6535688$77CE3714-0885-4932-85D7-57814E51ED51","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535688$65663063-62FB-478D-8A55-72E36E033E17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535688"}}}}}