{"entities":{"Q801679":{"pageid":803527,"ns":120,"title":"Item:Q801679","lastrevid":64442487,"modified":"2026-04-11T19:53:47Z","type":"item","id":"Q801679","labels":{"en":{"language":"en","value":"Debugging tools for a system with automatic program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880097"}},"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":"Q801679$B00C0938-44CA-4A54-9404-A096CA3372A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08621ce914239e71e6d27315c8aa01783a5e2586","datavalue":{"value":{"text":"Debugging tools for a system with automatic program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801679$69A08FAA-0220-4618-978B-BB76B152BB31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3df8e15a7eebb2155264a9da343e31b76aba25da","datavalue":{"value":"0552.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801679$400D61BA-3626-4E2B-BC5E-FDFEF8A2C639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2600485279d84187b00d67248ed35ad14890296","datavalue":{"value":{"entity-type":"item","numeric-id":801678,"id":"Q801678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801679$8E9A6F54-63A7-49B7-AAE0-8989D1AC252A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801679$534C642D-72E6-48BB-B283-F42A069DB8B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801679$9917716A-A83E-49C6-B1C6-E8AAAA3ED687","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4e2cb4d008ee053ef8eb129f5229fd1ee9340ec","datavalue":{"value":"The article considers some issues of debugging in systems with automatic program synthesis. Algorithms are proposed or determining the additional input variables for the synthesizer of the PRIZ programming system in case of unsolvable problems. Techniques of using the debug information are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801679$8637D2EE-8423-48FF-B6C1-BAA0D98DFB3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801679$025552EF-7D18-4C58-A8BD-CB57D3052FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801679$104E6F1B-773E-4922-B092-733C217FDBAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81ecae05992aa23c742ee008991d779e62b63ff0","datavalue":{"value":"3880097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801679$2FB560DB-B767-4FFF-B5C6-4FF7B6AC6862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2bf5ac40100492406c579c8a9378145b41752d6","datavalue":{"value":"debugging in systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q801679$763677D2-5BA6-4CF7-A42A-088FB6341C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c2f5e30c48eb26344449519ef5b5431d9b732e","datavalue":{"value":"automatic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q801679$D8C28EDB-1172-4E06-BEE3-3858BDAC63E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6859d51d052dc1ee511ee43a6642e2b9ae095d1b","datavalue":{"value":"PRIZ programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q801679$FFE40B57-13DD-4BB1-B73C-5B4A7A3A818C","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":"Q801679$ABBD7B7B-F04D-4163-8C33-C99ECE58186C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31086a3920b8cc7db90b90dbd5c8d07169d64525","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c1e069d030909e4bdea685d32e41431200d74c","datavalue":{"value":{"amount":"+0.7870731949806213","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":"Q801679$556CCAE2-632B-424A-8E74-638AAECCE90F","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":"37347d643a475f32b2c5d489cb378dd824eba4ea","datavalue":{"value":{"amount":"+0.7646774053573608","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":"Q801679$21D57488-2500-4B6D-9E36-8FD26FA7E4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f861cbedf8bf8d08d317f20fab6227edb3c199","datavalue":{"value":{"entity-type":"item","numeric-id":4560348,"id":"Q4560348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76f073764715cbbf7731a9eaecc23011bacc04f","datavalue":{"value":{"amount":"+0.7357166409492493","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":"Q801679$A5C1F57F-11EB-4C9F-9A84-086101EE905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b1838745b94e0a4f2c3ed4dc83f7576f955387","datavalue":{"value":{"entity-type":"item","numeric-id":1104778,"id":"Q1104778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f6be967d9ff4e07f8a02147e261fb17b15817f","datavalue":{"value":{"amount":"+0.7357161045074463","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":"Q801679$BA815CC8-3C63-4E66-A8DA-2E5501B49BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8372e0ce72257c0230574170c78323487e6103","datavalue":{"value":{"entity-type":"item","numeric-id":1403239,"id":"Q1403239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e78bda4cd220da4fb4cf03013b5ca55471aae30","datavalue":{"value":{"amount":"+0.7280839681625366","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":"Q801679$57B26F49-02C9-43D5-8CC5-432F3D1CC587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Debugging tools for a system with automatic program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Debugging_tools_for_a_system_with_automatic_program_synthesis"}}}}}