{"entities":{"Q3766813":{"pageid":5796719,"ns":120,"title":"Item:Q3766813","lastrevid":81083597,"modified":"2026-05-06T17:41:00Z","type":"item","id":"Q3766813","labels":{"en":{"language":"en","value":"Soundness and completeness of a synthesis algorithm based on example computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024750"}},"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":"Q3766813$66D32E18-B0B3-479C-8460-732D8C601723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1238297686ab8d07840b975b72073612bcd78deb","datavalue":{"value":{"text":"Soundness and completeness of a synthesis algorithm based on example computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766813$E4857B92-14B3-4718-8391-9C41640B8098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17807c4ce6db0048e0734491398e036038cbae3e","datavalue":{"value":"0629.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766813$C6CDCDB3-45AF-4F43-9ADE-1B4CC6395F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4495c115ccc5397f6c8d4a0fd8e0e2eac769f900","datavalue":{"value":"10.1145/3149.3150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766813$2A395348-14F8-41B5-9991-2A90FB71F3F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387916cbf8255cbe347c729e3df6beeaa6d7579c","datavalue":{"value":{"entity-type":"item","numeric-id":703464,"id":"Q703464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766813$B7EFC825-A411-46F3-AA4E-0A5E8E750090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766813$4482D3AD-14EA-4105-A6BC-B931C1ACC8D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3766813$0629D977-D268-4760-A769-DEB23AB3031C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766813$C4225111-2E41-45CF-9536-9C86DF1F25D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186fe249cdf27a63d18507ac8d6aec9d92097578","datavalue":{"value":"4024750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766813$95FCBAF8-2BCD-46FD-B6E9-AF0FAEF3D25E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dd648697374963137d43382091b5e7c8e0e53","datavalue":{"value":"programming by example","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766813$B9EA7813-A3B5-4879-8B6B-0687106AA368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766813$50B785BD-6816-45C0-BD3E-249D6F7CCA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766813$A2B5B19B-28D3-4F49-9B4F-15972CC26E0C","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":"Q3766813$56B36DCD-017F-4CC1-A557-D636A6A81F7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8600d81893909e37c5cc4e072a3199572a4f565e","datavalue":{"value":"https://doi.org/10.1145/3149.3150","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766813$5AE4B107-D1BC-4DF4-B68B-10DC95D54DB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d3133d471f0ec4bc305262f8e571484fb820b1b","datavalue":{"value":"W2114881313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766813$4FB6E04C-B639-4528-92EF-35751D8A78CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9065019a790f9bdf0886fc545dc798ce099bd053","datavalue":{"value":{"entity-type":"item","numeric-id":3763593,"id":"Q3763593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a4164851949c8a5cfc764796ec766132a36094","datavalue":{"value":{"amount":"+0.86434305","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":"Q3766813$6E76147C-3CD5-4FF1-8F11-A29D38951CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd57a5527789a549fb0c9bbc13052ba553d7ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4202961,"id":"Q4202961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa62c6b16aeb2b3aaba54bd149dfc39078db7e6","datavalue":{"value":{"amount":"+0.86138666","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":"Q3766813$7870A69D-9644-48C1-9486-3230169F1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e88622723b9e263c436195d2cfa3e307200c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1900220,"id":"Q1900220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0ba453800ba8e524144df572576320d8254f06","datavalue":{"value":{"amount":"+0.8475879","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":"Q3766813$BBEE3386-F516-4EF1-A060-1DF229AE1E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da54ae133285ee684666e264230488075015855e","datavalue":{"value":{"entity-type":"item","numeric-id":4288052,"id":"Q4288052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104e44e8ff68a9b58ca76ddf69c0a1e3c86b678c","datavalue":{"value":{"amount":"+0.84757864","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":"Q3766813$68AE63AC-0B3A-4801-B92A-9415410AD33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f26aee82f389d63981d6a38243b95062a9d7e6","datavalue":{"value":{"amount":"+0.83720005","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":"Q3766813$7B99997D-4D22-4018-8E6C-1DCFDD7C18F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf658730e9a48c423dda7e0d7cceebe191f0983","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17e9ad6f5b2976cb4ebe0eea1d3347e3ee5243e","datavalue":{"value":{"amount":"+0.8368067","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":"Q3766813$F4B2F0F2-4273-4E43-9EDF-602B470B8328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a365fff4fd2136a632bcb0b9b444718dfe9cb03f","datavalue":{"value":{"entity-type":"item","numeric-id":2469155,"id":"Q2469155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5438c8fabf0af2eb42021adfbe7d2b82cf035e","datavalue":{"value":{"amount":"+0.8330439","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":"Q3766813$E890D54D-1756-4A48-8AA8-A3C8E8B2746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56e63f7671fe2a5a2a294cb752aabeb2cbc7635","datavalue":{"value":{"entity-type":"item","numeric-id":1025311,"id":"Q1025311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7951b4fb20afaaeb50c0b918026f64afb43d19","datavalue":{"value":{"amount":"+0.8303857","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":"Q3766813$01B23819-1218-4EE0-831F-CEC17FB878C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739de54d54a24a71d74f9a0c8bfe93588c075e86","datavalue":{"value":{"entity-type":"item","numeric-id":3352490,"id":"Q3352490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac97ac6478d60e14d51e3fccf14382dfc83d8da","datavalue":{"value":{"amount":"+0.8266019","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":"Q3766813$D42BB223-94A4-49BA-8C56-10403F800891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness and completeness of a synthesis algorithm based on example computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness_and_completeness_of_a_synthesis_algorithm_based_on_example_computations"}}}}}