{"entities":{"Q2463543":{"pageid":2474286,"ns":120,"title":"Item:Q2463543","lastrevid":50232710,"modified":"2026-01-13T14:36:58Z","type":"item","id":"Q2463543","labels":{"en":{"language":"en","value":"The Daikon system for dynamic detection of likely invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219756"}},"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":"Q2463543$D19AD6F8-8AF9-4FF0-9297-72A991094443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec17466f99ff80e83f5405939f2a623ce451ac0e","datavalue":{"value":{"text":"The Daikon system for dynamic detection of likely invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2463543$ABD9DE0D-6A79-46A7-8223-EEF390694555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"505d1124467ccfce002605e0445a24abdd87d4b8","datavalue":{"value":"1161.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$3142C8FD-27AA-4F39-ADF4-B36B9EB1E6B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2372019cb136d4a895c42c103d9e936ba7790eb1","datavalue":{"value":{"entity-type":"item","numeric-id":251599,"id":"Q251599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$D2692C94-9157-4CAB-A613-6904204133AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ef4d38bcab1da55c026f8fa11f1c12addd147","datavalue":{"value":{"entity-type":"item","numeric-id":2463539,"id":"Q2463539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$1ABAE329-D3F3-43CE-AD6C-63FDCE0868C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"344a60f023bc73d790d6d96c927b619fc736526d","datavalue":{"value":{"entity-type":"item","numeric-id":2463540,"id":"Q2463540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$1A48EC54-0755-4BC1-B30B-514547646787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a777d75009e1949a67f53834e32925f6854c8b","datavalue":{"value":{"entity-type":"item","numeric-id":2463541,"id":"Q2463541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$287AC380-4758-4D99-9C5E-64B3E324BFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a71d2eff15c659335f01af235d0ae519e80392","datavalue":{"value":{"entity-type":"item","numeric-id":2463542,"id":"Q2463542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$F549C8AD-FACA-4793-B9EC-EFCE22C9AC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"751ef1a0186bd6bae56feb266e8836e229c474dd","datavalue":{"value":{"entity-type":"item","numeric-id":439650,"id":"Q439650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$C0CA5B01-25ED-4848-8AAD-AF64BE1B9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d1fb45d929eb8b86f7fc43e74753eb718e37fe","datavalue":{"value":{"entity-type":"item","numeric-id":734702,"id":"Q734702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$FA07EE1F-E8CB-4220-9345-93A7364B60B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$8012EDCC-82CB-4B0F-AE4C-33768D6C3F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"314b76050ef3171781c5f6c923ad9c6a4de18f5b","datavalue":{"value":{"time":"+2007-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2463543$03B12622-B87F-49F1-B0BE-266C56D1E20B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$F6CF10A6-9B5F-4EA5-ADCE-7880F928A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$C0376E0C-7ECD-4079-8460-E7C3DE7395F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$E71B1A32-8A5D-4B0A-BC9A-E993AF2FA97A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b0d624d7f03fa762e0b05923e4da986c331450d","datavalue":{"value":"5219756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$373B799E-6F5C-4556-A701-6B14038D4E03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e0ea215d161cf87afe7276a26990db51601231","datavalue":{"value":"Daikon","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$3EFD8E19-7565-47D4-BAFD-BE9A25579E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93c9d2bc3dd342989bfa457b6a0aa4eb03f4d90","datavalue":{"value":"dynamic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$6FEDBE52-DCE1-4F66-8F96-50021AD723EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6826c2be0a27742fa28cb47804bd85286d88c7","datavalue":{"value":"dynamic invariant detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$E9FDC296-F108-42F2-A79C-2A203009D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$8B7ABA9E-B692-4439-B39A-F0DD1348648C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$EE1C1BA8-9258-4712-B8F8-F02A65672B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ee84dd159326f018a4b5204bbd793c7729885c","datavalue":{"value":"likely invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$3A98B637-C841-495C-90D6-C59DBC714AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ad06534de7f65805f904e4ba3c86967734b51","datavalue":{"value":"program understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$AB04F698-E25C-4838-BFEA-4D3104D91CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$111942E0-54B8-424A-B721-AAAEA8937FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853cd219b01d0e69f349bf0a8aab55d19e3326d6","datavalue":{"value":"specification mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463543$068D114C-F4B1-46BC-A7BC-78A74C6B4B8F","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":"Q2463543$5B6069C9-C763-4DF8-888D-68C85C92626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$5C2B9370-B43F-4382-A091-1A4568868743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b7a9a6751f539b151b295778ea319d190729e74","datavalue":{"value":{"entity-type":"item","numeric-id":13965,"id":"Q13965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$770C99BF-7504-4170-B228-92912057D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c892a7dec489f094d5c37de3901314ce53d5bea2","datavalue":{"value":{"entity-type":"item","numeric-id":16499,"id":"Q16499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$1ACC2E23-D81E-4E1A-8872-AD0142FABF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$AB2EE95F-7D26-498C-8D8C-6A67A9F7531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e7a70af68372d77ceb332fd51453a76a9091133","datavalue":{"value":{"entity-type":"item","numeric-id":19318,"id":"Q19318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463543$15A964E6-0FA2-40B4-A516-DDD8C3F3C885","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":"Q2463543$BA10AE37-46E3-47C0-ACC2-F55E21872535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87fe67f78da0c70409a7352ad4de5b7ebbfab42b","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2463543$0BC7FDE9-089D-4CF9-9007-2E4A1618F3F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36598d924e6c4c0fed36dc0bdf0eeb77349ef561","datavalue":{"value":"W2110908283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$93D86C15-0F43-43F2-8946-10A99245767D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5859bf2614307e6e48566d416529520c761dfa2b","datavalue":{"value":"10.1016/J.SCICO.2007.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463543$E7CA014A-3D49-45DA-BB74-8500A6901B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d64d9cf0d82db5f03ce6e0f8be3d72cdf79c9de","datavalue":{"value":{"entity-type":"item","numeric-id":435979,"id":"Q435979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287f75999e3670a265e0d63c0db0d049a146d3b3","datavalue":{"value":{"amount":"+0.7181726694107056","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":"Q2463543$87B3651F-C230-4918-990B-00A853F154F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60e5ca22c84012dae36b90dbe6171c5bec8e550","datavalue":{"value":{"entity-type":"item","numeric-id":1974332,"id":"Q1974332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac0630b9b0c2174cff0bfbbe6146effa2539e1d","datavalue":{"value":{"amount":"+0.6805366277694702","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":"Q2463543$0E78A815-F723-491F-91F3-0F80178BA123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05cb29722687e38e033b844a81a8a7f93581694","datavalue":{"value":{"entity-type":"item","numeric-id":5326337,"id":"Q5326337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac0630b9b0c2174cff0bfbbe6146effa2539e1d","datavalue":{"value":{"amount":"+0.6805366277694702","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":"Q2463543$D4506C32-1357-4D03-B00D-F408017EFC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725bb17ca3657881f0a98dc3d779187baeabced2","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135291e56e96254d0592679d7ebbb3eb9c6d3e19","datavalue":{"value":{"amount":"+0.675182044506073","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":"Q2463543$741EF650-3495-42D2-8A8A-8D897532468A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc917171a529180fb7bd5aa610e4496aec07f14","datavalue":{"value":{"entity-type":"item","numeric-id":1311622,"id":"Q1311622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b900f2fde458635f24b624dac1d600250abf2984","datavalue":{"value":{"amount":"+0.669563889503479","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":"Q2463543$7C7FB913-95B3-4E50-BA6B-6C0BF37E0D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2463543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2463543"}}}}}