{"entities":{"Q2642983":{"pageid":2653726,"ns":120,"title":"Item:Q2642983","lastrevid":79111709,"modified":"2026-05-06T13:10:17Z","type":"item","id":"Q2642983","labels":{"en":{"language":"en","value":"Program verification with interacting analysis plugins"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187831"}},"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":"Q2642983$CBE918A4-A7C6-4475-B5B9-94C89F6E67C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb8f77d6e55d3b07dcbebbcdefa2063ea55e5ef","datavalue":{"value":{"text":"Program verification with interacting analysis plugins","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642983$97C9D501-6EE8-4642-A49E-71DFC4272018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f70647a24f5ec79325fab03a8180dec496806939","datavalue":{"value":"1125.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642983$67034F61-0758-4875-A172-D7DBEF380D6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$0E1FDF0E-B7C8-459A-B602-BF07342586CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$B7A0AFDF-F7FF-435D-BEDA-D91E8B8549B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642983$1AF439D1-0B6B-4767-9C41-9E24CD58A916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642983$4C2DDCA7-216E-4349-B3F0-E40C82B4BE03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f278e9e7ca0641aea35b4474e8e9561298c638","datavalue":{"value":"5187831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642983$9D8E3AC4-4F12-4760-8028-754F96716624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642983$D2B922E2-C9BC-4760-9346-98BF113255F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a20dfc4a8361d02631e3d55f19e8d573bbfeb14","datavalue":{"value":"Software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642983$1F4C8295-BA39-4CCD-98D9-327878F77046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6168ab4b8ec4c0b27f429a53e1acb59310ee09a6","datavalue":{"value":"Plugins","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642983$8438C63C-E2D9-488D-B470-35163E083D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61aff991dc4e5c3632cd611cacbf753d32e9c247","datavalue":{"value":"Open product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642983$265D0788-7E9F-4429-AA15-1B492AE687D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$75E15C9A-A5BF-4415-A176-EA260E895047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$B95DA93D-19FB-4E96-A5FF-34B45D02DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$F0DFF11C-E547-43E4-90C2-1133DA2C4AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$9D51E3C9-478C-45C3-B98D-5C69A5821FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$6F724EC1-FD8D-4249-A462-FD0C5712DA5D","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":"Q2642983$A76054E8-92A9-491A-9EB2-04D3AD39B6F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb09eb7cda612dd06954d059b5c78a4f19791032","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0029-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642983$440C2404-D166-4B90-AD41-09C55D7A7437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e41f8f9a1d673a1d8709a610253698f2bcdc1202","datavalue":{"value":"W1972083926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642983$08816711-1BDD-43F7-9A17-795D8402ED01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$6AE1D4E9-C291-42A6-A4D9-DB4739693036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e9e846290cee4dabd776cdd2008efe4fe65b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2723424,"id":"Q2723424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$AA7BF5D5-0585-4650-8233-C9AD9D2735FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$5D111FF8-6BD6-4EE4-AAAB-1975C05AA5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$315B1346-83EA-4213-985A-B65E4DF1DB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$8D89DBD0-131E-430C-9BAC-2FDCD36661B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$1EACE720-0CAA-4C8B-8BEE-2F4D2C8FA6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$C62D9293-D994-4D41-A779-157CC78DAA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$A78B3691-F479-4CB2-9F62-471BFCF52379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dab014f7e634d475d3901bd68460b6c8d895468","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$544CFC81-ED9F-4832-B5A7-93CBC304EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$820CCFF3-37A7-49F9-B196-937B054E68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$0D4621B5-F8CF-4046-A158-AE401F6AD1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$658C5450-49A7-4685-AF33-6161D963A667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$8C76709C-BD4C-4690-AD10-FC46E32EEB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$FC1C318E-770E-42BF-A749-E484840D68DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$6F39397D-158F-418B-A4AB-E5B86132A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$A20409F9-CB93-4337-8D3B-7ED2E0F8D38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$543D8941-212D-4884-8289-7BAC3C3765D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374029bef706a4a7bb34ae1f43e9772d20725164","datavalue":{"value":{"entity-type":"item","numeric-id":5711506,"id":"Q5711506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$9B70DBB4-A0F7-4990-A8B4-0D08AD9728FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$0F321E5D-846F-420A-A7AE-EF4E25A5A658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186c4ecbf8700f32cc81202dc28f277d034a67b5","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$008F1DCA-18FA-45B2-8DB3-7C200F24C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$F607CC9A-3FCD-4872-BAEC-A4C3E2F72DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$227149EF-0869-47FD-8AAD-DB786DC7E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2677179f2d151459259d758c6e143a81d3593917","datavalue":{"value":{"entity-type":"item","numeric-id":1884882,"id":"Q1884882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$79BD88F1-7E47-46FA-9B34-90F9A303B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01893115d15c8b27d6dde25c7a72d7981bc7bba4","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642983$8CD23A3C-028B-4457-91C7-1E54A47B5D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fee388704b583d7c2bcece028ccd1fc757e53c9","datavalue":{"value":"10.1007/S00165-007-0029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642983$833531E4-4BD8-4123-8BC3-CE8C8A4A3315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b450d14fdd9aee16fad540713fa6ff2ed4eac54f","datavalue":{"value":{"amount":"+0.93660784","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":"Q2642983$639A5901-08D8-4257-BA3A-BA5BB81B7561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36bb3b7997cdc30ca485d27ddbe8d0815f80c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2979818,"id":"Q2979818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3c9a866ca1202265c8eabc023a195ba61e5183","datavalue":{"value":{"amount":"+0.8815992","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":"Q2642983$DBD37F14-60BF-4D73-8EA5-854A041A15CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230350b84cba52e9c6913560b58f599b380a55b8","datavalue":{"value":{"amount":"+0.8755345","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":"Q2642983$6427845F-7791-42F8-8033-5E6186F887C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a415caa7777150cdab3831623e8cd91a58c6272e","datavalue":{"value":{"entity-type":"item","numeric-id":4997232,"id":"Q4997232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f155f9d648b0444b4233fc05df0259fecd58863","datavalue":{"value":{"amount":"+0.8731541","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":"Q2642983$15404764-9342-47EC-BCA1-BE4FE7EC8EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c473e8205fa82917554e05a5e55bd30ffdff26","datavalue":{"value":{"amount":"+0.8660346","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":"Q2642983$50FB6EB2-6200-4B96-95FE-9FC193814D79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification with interacting analysis plugins","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification_with_interacting_analysis_plugins"}}}}}