{"entities":{"Q2642987":{"pageid":2653730,"ns":120,"title":"Item:Q2642987","lastrevid":44544567,"modified":"2025-11-23T19:03:52Z","type":"item","id":"Q2642987","labels":{"en":{"language":"en","value":"Generalised multi-pattern-based verification of programs with linear linked structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187833"}},"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":"Q2642987$D6A7D60E-DB3D-43AD-96D0-F83A32E81D0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f53582f845f5ddeecc4207955253215996af9f5a","datavalue":{"value":{"text":"Generalised multi-pattern-based verification of programs with linear linked structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642987$38FE3E08-DB9D-4213-BCD7-404C352DE5F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f4a0be74914cc0fbb2fd8cecbaf63ace82bbb6c","datavalue":{"value":"1125.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$AA683006-B97F-486E-B1B3-18C342575431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c6b8ec8130ff9aedec0af96f2fb34ae07f3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1702920,"id":"Q1702920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$D883B757-2516-40D5-964E-E607FCD93AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83a6fa644848e6b3f34683d5ffdf1db158b86eb","datavalue":{"value":{"entity-type":"item","numeric-id":2642986,"id":"Q2642986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$DCAB6809-996E-4518-A78A-3F4D3E68F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$3DC78345-5E21-4201-920B-F63323286D7B","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":"Q2642987$EE18997E-61DB-4A4D-99DB-191088C92628","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":"Q2642987$24157D10-9927-4983-BFE5-9E033332685A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$6B5209FF-D9D0-4555-8191-F42830253EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$C206058B-28E0-4238-AB70-B0CF65869D54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e6fa2bace5c8f94d3c77ad6aed5b692bebeab1","datavalue":{"value":"5187833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$D623A439-90B4-43EC-BBDF-17560E48E9AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642987$133A5ED4-5883-43B5-9325-26C7F5387E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f703cf63359ecd7050cea6c21c99cfc53c4ff1b3","datavalue":{"value":"Program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642987$1EB16990-6D6D-4747-A821-CC8814191953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e749f1c47556b8816fd44d1217d7b9c09191d419","datavalue":{"value":"Dynamic linked data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642987$E0877112-2196-477F-AA30-4AAA3D8CD476","rank":"normal"}],"P1463":[{"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":"Q2642987$406E4EF7-258E-4A29-87D1-1739E7D4A311","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":"Q2642987$116FAC37-DB81-40FB-B00F-F63619758E05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f5aa6b70f398ec489fc0278b18f40c5e896dd94","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0031-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642987$597DC832-557F-411E-9FDC-E783B5D4BEF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53f6392d4c75a9403b5a7a7bf341377968c0868c","datavalue":{"value":"W2048574451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$CACC1BC4-678A-4B61-94E7-11C79619ADA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$2FE6B4A5-FF60-44EE-A6DC-C66AEC84822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$95BDEC2F-A412-4536-9E2D-57536672F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa749dd02708bfe2b979660828e6422d695da17","datavalue":{"value":{"entity-type":"item","numeric-id":2863858,"id":"Q2863858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$33B9B1AA-C0E5-46E0-B507-6668F06D17E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1040f5d7de42f2064718e38c58ade083ef9993","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$48364C60-E7CC-4608-9762-B2FA26EA8D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd8bff27d5fbec176507b9ef836e3c148f2614","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$63B17E50-680C-4452-B2B7-754904C7EE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31673880903a7f45b071aeeaa26db97b0515e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5716594,"id":"Q5716594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$E4FF77BE-C43B-4301-B68B-2E7EC5EA8A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68dfa76ffb03053cf37ab32815ad5c0fad842f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5466556,"id":"Q5466556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$1FD83851-8FBE-4FA5-9258-E95DF7DBFC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d75a9bc2fb77bae87939965f93abe70332f877","datavalue":{"value":{"entity-type":"item","numeric-id":1818078,"id":"Q1818078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$F6E19B63-1DDC-499C-A910-E96EABCC2A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02f728e7a7db53f3c813c52dbe4e8fafba4a359","datavalue":{"value":{"entity-type":"item","numeric-id":4411951,"id":"Q4411951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642987$C5585A7C-6B82-4A7C-92D6-43AD2A350893","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b45e043477bc73ff1bb674d97fe3497f6c7abeff","datavalue":{"value":"10.1007/S00165-007-0031-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642987$9E8EDAE6-EAC7-4224-8686-15A2C99AA208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babed51588151eca4da090d9aa82a91f54a056d7","datavalue":{"value":{"entity-type":"item","numeric-id":2863858,"id":"Q2863858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da451f97e6290a208aec01cfe8ee8af194c674ac","datavalue":{"value":{"amount":"+0.9594253","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":"Q2642987$E05FEF23-9420-432C-BA6C-39437DE39550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91731193b4f93b084a95ad588f670662502a94b","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695b5967acf4ef72631ad162d539bc637cab61e3","datavalue":{"value":{"amount":"+0.88018906","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":"Q2642987$3529A4D6-284A-4DC7-AAE7-564351512015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efe42f5de4f93ba6dc9404899c99f5726c3c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee52493000bc3ad05342c691b20dd30aa3de89d","datavalue":{"value":{"amount":"+0.8794781","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":"Q2642987$E9DAB794-0988-4495-ADC9-4958CCED18EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd38cc04c1f8327635eaf78239ec6ec11255359","datavalue":{"value":{"amount":"+0.87862885","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":"Q2642987$25039612-4244-46BB-9862-0ED1DD7F7D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3490f34d0d6ba2f54fad3208ae926689909c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ecb3eda490d307467998fbc29b0faa4fa1e5cb","datavalue":{"value":{"amount":"+0.8721561","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":"Q2642987$2F6E9968-0EF3-4D15-A69D-F46B05D660C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3323a207fb25c1284fa214fcaab55d7016fd0a99","datavalue":{"value":{"entity-type":"item","numeric-id":3075210,"id":"Q3075210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c68a45f29a2f9399626c105fe7cae62f3e7b8e4","datavalue":{"value":{"amount":"+0.8634834","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":"Q2642987$EFB74E53-071F-4030-945F-D613BBA0411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95cfaaa2f950beb651f642297ba31d95954c1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5497197,"id":"Q5497197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5228938c629608b14264ca9ee4e30dc4c5f24900","datavalue":{"value":{"amount":"+0.86143875","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":"Q2642987$CEF79F73-8BD7-409A-8CEB-31F1BF31447A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfa9698d0a5a745c407ae255f81bb7deaa80bae","datavalue":{"value":{"entity-type":"item","numeric-id":1311971,"id":"Q1311971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9016a1fea07636ae6b753f322f20588ba03fcfcb","datavalue":{"value":{"amount":"+0.85977304","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":"Q2642987$7BBB5680-C3C1-4CB1-98D0-AFEAD6CE4242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642987"}}}}}