{"entities":{"Q444487":{"pageid":446254,"ns":120,"title":"Item:Q444487","lastrevid":61864332,"modified":"2026-04-11T02:11:29Z","type":"item","id":"Q444487","labels":{"en":{"language":"en","value":"Automated debugging based on a constraint model of the program and a test case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065761"}},"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":"Q444487$743F9363-DBF3-45B5-8CE2-DC16BD0FDCB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b347c00ab9f3a7af8b668d0ed780579a9b3fbb5a","datavalue":{"value":{"text":"Automated debugging based on a constraint model of the program and a test case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444487$D5236915-22A1-46B6-A057-2417E3C38886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d15d431e244557a63797d2cb4bd983046dd540","datavalue":{"value":"1246.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444487$03395149-BF68-44B4-B36E-9203EFBD7C27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac83ec19e055e4bbd5c67e8bde25158116b7be9","datavalue":{"value":{"entity-type":"item","numeric-id":236278,"id":"Q236278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$51CA9871-E688-4A2C-9CA7-29C61CE027B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5579d84399287035db4c99330d9a9157c4c19f","datavalue":{"value":{"entity-type":"item","numeric-id":444485,"id":"Q444485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$94707F40-B755-4F3F-82A1-080703650DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc377adb516fe063306875121f9d8cbff5d1853a","datavalue":{"value":{"entity-type":"item","numeric-id":444486,"id":"Q444486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$7E7B4551-D04E-4E2F-9446-5CFB8F2CFF83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$3F56253E-17D3-42A2-9ADD-03538C538F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444487$2909C886-ED2A-4F7C-87AA-BFA437CFFEC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444487$B543CCA8-A00C-4FDD-9357-53A6E1F60464","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ba7db775cf5e44e569487f78fe2edf8ccf86769","datavalue":{"value":"6065761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444487$AA55718A-EB34-4A73-AA97-2AA77BED053D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ef07be39d8fe0a287c3b9f148a8303e965e6f1","datavalue":{"value":"automated debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q444487$F83308A5-43E1-41BA-958E-263C79F847DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7842b77dcbc80fc70bbd0743b0d5349c71f68be0","datavalue":{"value":"algorithmic debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q444487$2428B7D9-D397-4978-A887-E35B00849532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb65f47d9be43f1f700bb035c7436254f848f08","datavalue":{"value":"model-based debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q444487$96BDA0FE-FC05-4284-9263-6F45ACD2FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q444487$D4ECD157-9CDE-46E1-A9A5-87BD0B5AB796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q444487$E606BB76-F503-48EE-AC5D-23E290387712","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819305f873e76c90d91a03741ddef3564d02d474","datavalue":{"value":{"entity-type":"item","numeric-id":22143,"id":"Q22143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$BA1977B2-20BC-4BC4-ADFE-89B9DEF364D3","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":"Q444487$626E7CA5-6E0B-414A-87BA-FC426E114543","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7e431af00b687395ea832240908183084bd96dd","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q444487$ABA273D1-80F6-46AC-AFC6-5D91141F90E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3ece2dea22c76faeaf5d07e1c34a9518539b017","datavalue":{"value":"W2009080961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444487$47B7FEFA-4D80-4FA1-8536-56750CC57E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ac1ff1089d1fcffab7e581996daa024a17da6a","datavalue":{"value":{"entity-type":"item","numeric-id":1606301,"id":"Q1606301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$8D497FF6-86A4-423C-AEB1-74433EC69E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0221bf47555c0487761acfbc8c626b3b72d80d6","datavalue":{"value":{"entity-type":"item","numeric-id":2767075,"id":"Q2767075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$E957852C-9931-4D88-9806-3E546271EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510c432f0ea15ce9c9e005a3d2df987de2fae3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$B2126CA6-9ED2-48B4-A82F-7EABBFFBBFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52963aa2226f99941ab182edc50040eb510d86bf","datavalue":{"value":{"entity-type":"item","numeric-id":1859425,"id":"Q1859425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$A89BC9C5-E90C-40C7-98B2-CC71FBDF10FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515eab03ce40e04f6808988f7db48138768eb0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5316585,"id":"Q5316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$EB24DCAB-CE81-41A1-AF78-EBB92D8DE5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$C02CCADB-0B94-4E18-8861-321B5E242594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$D4926B7E-9FB5-4D11-88EF-9AF6FACC767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$BB25DA1E-9382-4436-BD3D-11CF85166FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b02bd2ec2cc3048de3fa140727689ab65b459a","datavalue":{"value":{"entity-type":"item","numeric-id":5958541,"id":"Q5958541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$9F4F9C35-B8F4-47EC-B7B4-296ED604EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1ac72f06128da1fc2318c905294d0a4d6f5204","datavalue":{"value":{"entity-type":"item","numeric-id":1395643,"id":"Q1395643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$1AA2BE62-62DB-4B06-9137-0CB456F47E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ea76ca4376fe166e18d54cdb8c14286fa514d0","datavalue":{"value":{"entity-type":"item","numeric-id":3605733,"id":"Q3605733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$72E5AF84-4150-4550-ABC8-1D2F4C093138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec774d38920a730e13d2fa0edcf0e9bc3537b760","datavalue":{"value":"10.1016/J.JLAP.2012.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444487$D17FDC55-FE43-4240-96F0-C5FDBB61D923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d45dd582455a859f1ccb113af9837b77b540586","datavalue":{"value":{"entity-type":"item","numeric-id":4808499,"id":"Q4808499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754a10c90c88188d2330d5a381d87654b92b95d6","datavalue":{"value":{"amount":"+0.8091195821762085","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":"Q444487$6AE05F1D-9471-4980-9DD1-0C6B456FB620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf63f5e24195c6fcb5de82ccf7ff1d40857049c","datavalue":{"value":{"entity-type":"item","numeric-id":3605733,"id":"Q3605733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6073d54709cd6fd9a6fe1c415de817bb2890f58e","datavalue":{"value":{"amount":"+0.7562911510467529","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":"Q444487$D08B9FC2-1492-4992-9DA3-BBD40A46A9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9738bcd13a449780c1edb0ff72a5dd957acf8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1322853,"id":"Q1322853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fbb8ecac3aa9bf04cd866148ed73a13348275e","datavalue":{"value":{"amount":"+0.7434470057487488","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":"Q444487$3B42F964-E5D9-443E-B66F-8DDC6D3926AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4ff30e3e47a69b87e136863c22561577afcfed","datavalue":{"value":{"entity-type":"item","numeric-id":2576750,"id":"Q2576750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a851dc0f9d7cf736c736ce0bd78761ba484654","datavalue":{"value":{"amount":"+0.7434130907058716","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":"Q444487$B0D9F864-8889-4066-9F69-48A1A555D350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baae1a2069a288b3a563219f9760a19f58d5939","datavalue":{"value":{"entity-type":"item","numeric-id":439714,"id":"Q439714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0805f2dbc6c17332914a13f761419b9953bf5c","datavalue":{"value":{"amount":"+0.7395117282867432","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":"Q444487$7C36C858-ECAF-4357-954F-AD3BD2A139F3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444487$02C978F2-FEB9-46B8-8F09-0E8B79DA5C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated debugging based on a constraint model of the program and a test case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_debugging_based_on_a_constraint_model_of_the_program_and_a_test_case"}}}}}