{"entities":{"Q1765236":{"pageid":1775978,"ns":120,"title":"Item:Q1765236","lastrevid":72912858,"modified":"2026-04-14T08:43:24Z","type":"item","id":"Q1765236","labels":{"en":{"language":"en","value":"Problem identification using program checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137271"}},"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":"Q1765236$5209257B-48D9-4C7A-A619-875DAC049D1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76950c8ee9e35a8f3a5d0c239498d9cda4e2d831","datavalue":{"value":{"text":"Problem identification using program checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765236$A8A4CB4B-4048-4D7B-B33E-342B1AFC5A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b2958626e8f338ca7b7ad02e9b1ed02a751925e","datavalue":{"value":"1088.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$3E04168D-915F-4715-A22D-D9FAD2EA93C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acc20603afcb5514e8b37923c5245c4554f93ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1765234,"id":"Q1765234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$5795E767-6D7D-4AE4-A451-9A2A3532A9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bd7e692ea9af5e79f4c4af75f91b34f887474de","datavalue":{"value":{"entity-type":"item","numeric-id":1765235,"id":"Q1765235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$A607827E-CE19-4E89-9B57-5E0786DBF038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$C88645F2-F5BB-47E9-A521-72F511027523","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b72aeee9429c75f6d2c214b1fe1fedeb47fc2","datavalue":{"value":{"time":"+2005-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765236$2A32311F-06AC-4925-BE88-01083C0ACED3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$46745511-845D-4115-9393-59A4FD8A1637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$7A1B8656-4EED-4F66-B6B4-AAE06B3F75FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"293632e0b23c1f9040c44ca430d70ab00a57df4b","datavalue":{"value":"2137271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$25C4F68C-B611-432F-A492-0D1A0FE27500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fb69358295dc3ae92516afe12bc51723d0d7ee","datavalue":{"value":"Program checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765236$AA298B7B-33E5-4325-B81E-53580D536091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205843c27e24778480c8b5471b24ee8279480099","datavalue":{"value":"Software repository","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765236$18618018-993C-4B6E-B00F-01FB2EF07D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b31fd880bb8f1ddabe2f648b4c8a4fc73fbccf","datavalue":{"value":"Type discrimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765236$223A4D98-A6D6-452E-9074-0BC2596755FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82731f4b8ccf9ee59ebf9585c88ce0662d0bea10","datavalue":{"value":"Search engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765236$29C09018-E909-4240-8078-D920709C5D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7e173fd1c59f68080cbfbc8a1faedd080be092","datavalue":{"value":"Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765236$56A029AB-9E94-4567-9419-0226B6B66103","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$ECB1B8C4-6905-4325-8B4E-C543F65B0688","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":"Q1765236$49606BB4-94E6-4D7B-BE5A-92C0D6B3B148","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0565d8fc53fb059d542dbb2ce9d2200314a5212e","datavalue":{"value":"https://doi.org/10.1016/j.dam.2003.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765236$01AB05A5-4A6C-46B1-82A2-73330A57A484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a59ff0ed5e143717144c7ac8e990d92e0c4ec477","datavalue":{"value":"W1989130391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$9164EA23-5FF6-4A2A-BEF6-1FBE0E8B7594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4376d9236fbf4f1235c68a2b9a656eaaf5f4bf9","datavalue":{"value":{"entity-type":"item","numeric-id":4630244,"id":"Q4630244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$DCDBA720-C20C-4F0C-87E4-B6972F58FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c36aeadcd6c00a43e7c10ff17ccee1d6c442d2","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$24FA07FE-3988-4D76-99B4-747A9819C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab61ce3d863a44242c09ccd335a8a05f0ff7118","datavalue":{"value":{"entity-type":"item","numeric-id":1577018,"id":"Q1577018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$A11BD262-FCCE-4299-B4F9-E234F0290010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87046b0823c151d74c7d4fc3b5462f569236fc37","datavalue":{"value":{"entity-type":"item","numeric-id":3871890,"id":"Q3871890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$7BBA9E4D-3C2F-4D38-8367-03BFEDF8B562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564f2be61af9348be97e3b834fa7d40b81374eb4","datavalue":{"value":{"entity-type":"item","numeric-id":4225863,"id":"Q4225863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$9A36E838-064A-439E-9D9C-CD0194678C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a18a8703b469fad99f3331359a1aff525d1bfa","datavalue":{"value":{"entity-type":"item","numeric-id":1198028,"id":"Q1198028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$4FE502D7-8E87-42B1-B145-8E9E6C785C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37318a2a1daef4be115e5993c5b4f786637fb49","datavalue":{"value":{"entity-type":"item","numeric-id":1911462,"id":"Q1911462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$D66C4894-D32D-4619-974A-8B38B0D3C21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86948ae383981e54b1af98cd1b8691bd9899e11b","datavalue":{"value":{"entity-type":"item","numeric-id":2859380,"id":"Q2859380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$69A3EDCF-4022-4D47-AA9E-E5E6B99A2A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8657ac0f006dde93a77bb3bfbfd5ec506eb18104","datavalue":{"value":{"entity-type":"item","numeric-id":4208876,"id":"Q4208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765236$C1C1149F-AA7E-4BF2-B179-6F7D2BF09FDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d85db47eed78d64a05e662170d483eafe64e099","datavalue":{"value":"10.1016/J.DAM.2003.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765236$2BB4A6B1-9672-4FB1-B7FE-595D23DC194F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33517f19a5f43e418d05b5c082dc086af086e83","datavalue":{"value":{"entity-type":"item","numeric-id":4737298,"id":"Q4737298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937808443647f495936852a9c9f6e68ee82ecb14","datavalue":{"value":{"amount":"+0.8248926997184753","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":"Q1765236$4E67F587-A737-4AB0-974F-282911CDB5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da961021e47af7ab534ac9970550e8d9619c41f5","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd87eb4fb75e472d296169074db1aa8e7c9959b4","datavalue":{"value":{"amount":"+0.6650874614715576","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":"Q1765236$E66F0AB7-0E49-4B6E-A071-0F42172A1DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd87eb4fb75e472d296169074db1aa8e7c9959b4","datavalue":{"value":{"amount":"+0.6650874614715576","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":"Q1765236$3606DB6F-E412-419C-817F-436B38FE48ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4edff1e6326ede6271c679d3038c37e5f315914","datavalue":{"value":{"entity-type":"item","numeric-id":4673816,"id":"Q4673816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfeba97c92c8263aee6dae24305ac69c55b741f1","datavalue":{"value":{"amount":"+0.6584042906761169","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":"Q1765236$466D97F5-AFB0-4685-B3C9-0C766B252710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71c59ed6f2b4d72d094fe3dce75844c06a7de9e","datavalue":{"value":{"entity-type":"item","numeric-id":2348613,"id":"Q2348613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb61ad94f132b3b76a62f29ebae545ebbbc789a","datavalue":{"value":{"amount":"+0.6475737690925598","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":"Q1765236$271554A8-D46B-42B3-890B-B0272F5CFA33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problem identification using program checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problem_identification_using_program_checking"}}}}}